FORTHCOMING EVENTS

IARCS home > EVENTS

FSTTCS 2013, the 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science, will held in December, 2013 at IIT Guwahati. The PC chairs are Anil Seth (IIT Kanpur) and Nisheet Vishnoi (Microsoft Research, Bangalore).

Formal Methods Update 2013 will be held at IIT Delhi in July 2013.

PAST EVENTS

FSTTCS 2012, the 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science, was held in December 2012 in Hyderabad.

ATVA 2012, the Tenth International Symposium on Automated Technology for Verification and Analysis was organized in Thiruvananthapuram (Trivandrum), Kerala, in October 2012.

ICTAC 2012, the 9th International Colloquium on Theoretical Aspects of Computing 2012 was held in Bangalore in September 2012.

Formal Methods Update 2012 was held at Chennai Mathematical Institute, Chennai, in July 2012.

TECS Week 2012, the 10th TCS Excellence in Computer Science Week was held at TRDDC Pune in January 2012.

FSTTCS 2011, the 31st International Conference on Foundations of Software Technology and Theoretical Computer Science, was held in December 2011 in Mumbai.

Formal Methods Update 2011 was held at VIT University, Vellore in July 2011.

TECS Week 2011, the 9th TCS Excellence in Computer Science Week was held at TRDDC Pune in January 2011.

FSTTCS 2010, the 30th International Conference on Foundations of Software Technology and Theoretical Computer Science, was held in December 2010 in Chennai.

Formal Methods Update 2010 was held at DA-IICT, Gandhinagr in July 2010.

TECS Week 2010, the 8th TCS Excellence in Computer Science Week was held at TRDDC Pune in January 2010.

FSTTCS 2009, the 29th International Conference on Foundations of Software Technology and Theoretical Computer Science, was held in December 2009 in Kanpur.

Formal Methods Update 2009 was held at IIT Roorkee in July 2009.

TCS Excellence in Computer Science (TECS) Week 2009 was held at TRDDC, Pune in January 2009.

FSTTCS 2008, the 28th International Conference on Foundations of Software Technology and Theoretical Computer Science, was held in December, 2008 in Bangalore. FSTTCS 2008 was colocated with APLAS 2008, the Sixth Asian Symposium on Programming Languages and Systems.

There was a one day workshop after FSTTCS / APLAS 2008 on December 12 on Security and Reliability of Software Systems.

Formal Methods Update 2008 was held at TRDDC, Pune in July 2008.

TCS Excellence in Computer Science (TECS) Week 2008 was held at TRDDC, Pune in January 2008.

FSTTCS 2007, the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science took place in Delhi in December 2007.

Formal Methods Update 2007 was held at IIT, Kanpur in April 2007.

TCS Excellence in Computer Science (TECS) Week 2007 was held at TRDDC, Pune in January 2007.

FSTTCS 2006, the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science took place in Kolkata in December 2006.

SEFM 2006, the 4th IEEE International Conference on Software Engineering and Formal Methods took place in Pune in September 2006.

Formal Methods Update 2006 was held at IIT, Guwahati in July 2006.

Summer School on Algorithms, Complexity and Cryptology organized by Microsoft and IISc, May 22-June 9, 2006.

FSTTCS 2005, the 25th conference in the series, took place in Hyderabad in December 2005. A special programme was organized to mark the Silver Jubilee of the conference.

A four day workshop on Approximation Algorithms was organized at IIT Delhi on 8-11 October, 2005.

A two day workshop on Formal Methods for Design and Analysis of Software was jointly organized by Microsoft Research India, Indian Institute of Science and IARCS at Bangalore on 7-8 October, 2005.

A three day workshop, Formal Methods Update 05, was held at IIT Bombay, 18-20 July, 2005, followed by a two day meeting of the working group on Logic in Computer Science of the DST Centre for Discrete Mathematics and it Applications (CARDMATH).


Copyright (c) IARCS 2003-2014;   Last Updated: 28 Dec 2012