Conferences and workshops

IARCS home > ACTIVITIES > Conferences

FSTTCS

IARCS runs the hugely successful and the longest running conference in computer science in India; FSTTCS. The FSTTCS conference has completed 32 years. Since its inception in 1981, the conference (held in the month of December) has helped in nurturing and creating an environment for exchange of ideas amongst the research community in the country, by attracting top scientists around the world to the conference.

Other conferences

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

ICLA 2011, the 4th Indian Conference on Logic and its Applications, was held in New Delhi in January, 2011  ...

IPEC 2010, the International Symposium on Parameterized and Exact Computation, was colocated with FSTTCS 2010 in December, 2010  ...

APLAS 2008, the Sixth Asian Symposium on Programming Languages and Systems, was colocated with FSTTCS 2008 in December, 2008  ...

QIP 2008, the Eleventh Workshop on Quantum Information Processing, took place in Delhi in December, 2007  ...

ISAAC 2006, the 17th International Symposium on Algorithms and Computation took place at Kolkata in December 2006  ...

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

Research workshops

In addition to satellite workshops arranged before and after FSTTCS, IARCS also organizes workshops and update meetings on specialized topics.

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

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

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.

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.

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

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

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

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

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

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

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

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

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