Dear Listserv coordinator, Please post the following Call for Papers. Any queries may be sent to fsttcs@imsc.res.in. Thanks and best regards, S.P. Suresh for FST&TCS 2005 ---------------------------------------------------------------- The 25th Conference on Foundations of Software Technology and Theoretical Computer Science - FST&TCS 2005 December 15--18, 2005, Hyderabad, INDIA Call for Papers * Important dates: Submission deadline: Abstracts: 17 June 2005 Paper: 24 June 2005 Notification: 19 August 2005 Final Version due: 16 September 2005 * Satellite Workshops: December 12--14, 2005. Algorithms for Networks: coordinated by Amit Kumar (IIT, Delhi) and Aravind Srinivasan (Maryland, USA) Software verification: coordinated by P. Madhusudan (Urbana, USA) and Sriram Rajamani (Microsoft, USA) * Confirmed invited Speakers: Manindra Agrawal, Tom Henzinger, Igor Walukiewicz. * For details see: http://www.fsttcs.org/ ----------------------------------------------------------------