Conferences and workshops

IARCS home > ACTIVITIES > Conferences

FSTTCS

IARCS runs the hugely successful and the longest running conference in computer science in India; FSTTCS. 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

ICLA, the Indian Conference on Logic and its Applications, is held once in two years  ...

ATVA 2017, the Fifteenth International Symposium on Automated Technology for Verification and Analysis was organized by IARCS in Pune in October 2017  ...

POPL 2015, the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, partly sponsored by IARCS, was held in Mumbai in January 2015  ...

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

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 Meetings are organized annually  ...

ISLA, the Indian School on Logic and its Applications, is held once in two years  ...

The Second Indian SAT+SMT School was organized as a part of the Mysore Park Workshop series  ...

TECS Week, TCS Excellence in Computer Science Week was organized annually by TRDDC Pune from 2006–2012 with support from IARCS.

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.




Copyright (c) IARCS 2003-2024;   Last Updated: 09 Dec 2017