IARCS home > EVENTS
FORTHCOMING EVENTS
TCS Excellence in Computer Science (TECS) Week 2009 will be held at TRDDC, Pune, 5-9 January 2009 ...
PAST EVENTS
FSTTCS 2008, the 28th International Conference on Foundations of Software Technology and Theoretical Computer Science, was held on from December 9-11 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 July 17-19, 2008 ...
TCS Excellence in Computer Science (TECS) Week 2008 was held at TRDDC, Pune, 7-11 January 2008 ...
FSTTCS 2007, the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science took place in Delhi on December 12-15, 2007 ...
Formal Methods Update 2007 was held at IIT, Kanpur on April 12-15, 2006 ...
TCS Excellence in Computer Science (TECS) Week 2007 was held at TRDDC, Pune, January 3-7 January 2007 ...
FSTTCS 2006, the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science took place in Kolkata on December 11-16, 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 on July 3-6, 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. 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) ...