[TYPES] FSTTCS05

[S. P. Suresh]

Dear Listserv coordinator,

Please post the following Call for Papers.
Any queries may be sent to fsttcs at 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/

----------------------------------------------------------------


-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: cfp.txt
Url: http://lists.seas.upenn.edu/pipermail/types-list/attachments/20050511/662c8a60/cfp-0001.txt