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 is in its 28th year. 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.
FSTTCS 2008 starts on 9 December 2008. The conference is being hosted at IISc, Bangalore. ...
Other conferences
APLAS 2008, the Sixth Asian Symposium on Programming Languages and Systems, is 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 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 on 7-11 January 2008. ...
Formal Methods Update 2007 was held at IIT, Kanpur on April 12-15, 2007 ...
TECS Week 2007, the 5th TCS Excellence in Computer Science Week was held at TRDDC Pune on 3–7 January 2007. ...
Formal Methods Update 2006 was held at IIT, Guwahati on July 3-6, 2006 ...
TECS Week 2006, the 4th TCS Excellence in Computer Science Week was held at TRDDC Pune on 3–7 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) ...