FSTTCS 2011 will have two co-located workshops: a pre-conference workshop (Dec 10-11, 2011) on Finite and Algorithmic Model Theory (FAMT) and a post-conference workshop (Dec 15-16, 2011) on Breakthroughs in Theoretical Computer Science (BTCS) . There will also be an algorithmic contest, with prizes to be won!
In addition to the above events, a third workshop on Recent Advances in Data Structures is scheduled immediately after FSTTCS 2011 in Institute of Mathematical Sciences, Chennai. For further information on this workshop, please visit the workshop's website . Note that Chennai is a two-hour flight hop away, with direct flights from Mumbai, and around 24 hours away by train. There are several flight and train connections between Mumbai and Chennai every day of the week.
The FAMT workshop is intended to introduce the audience to important tools, techniques and results in finite model theory and algorithmic model theory, and elucidate some of their connections to other areas of computer science. The workshop will consist of half a day of introductory lectures covering basic concepts in logic and model theory. This will be followed by one and a half days of talks by invited experts who will cover more advanced topics. The workshop will be held in auditorium LCH 11 on the first floor of the Lecture Hall Complex opposite KReSIT building (map). For more information about this workshop, please visit the workshop website .
The BTCS workshop is intended to disseminate and discuss major advances in theoretical computer science to a target audience of advanced students and researchers interested in theoretical computer science. The two day event will consist of around 9 talks by prominent researchers on breakthroughs in their area of expertise with ample time for discussion and future directions. The BTCS workshop will be held in auditorium LCH 11 on the first floor of the Lecture Hall Complex opposite KReSIT building (map). For more information about this workshop, please visit the worshop website.