[TYPES/announce] Call for Papers: ICLA 2017 Indian Conference on Logic and Its Applications

Bombay) Benedikt Loewe (University of Hamburg, University of Amsterdam) Gopalan Nadathur (University of Minnesota) Satyadev Nandakumar (IIT Kanpur) Alessandra Palmigiano (TU Delft) Prakash Panangaden (McGill University, Montreal) Sanjiva Prasad (IIT Delhi) Co-chair R Ramanujam (IMSc, Chennai

[TYPES/announce] Second and final Call for Papers: ICLA 2017 Indian Conference on Logic and Its Applications

Loewe (University of Hamburg, University of Amsterdam) Gopalan Nadathur (University of Minnesota) Satyadev Nandakumar (IIT Kanpur) Alessandra Palmigiano (TU Delft) Prakash Panangaden (McGill University, Montreal) Sanjiva Prasad (IIT Delhi) Co-chair R Ramanujam (IMSc, Chennai) Christian Retore

[TYPES/announce] Brief announcement re: FSTTCS 2007

, Thomas Reps , Salil Vadhan , and Andrew Yao . Two satellite workshops are also being planned, one each on 11 December and 15 December respectively. V. Arvind and Sanjiva Prasad PC Co-chairs, FST TCS 2007

[TYPES/announce] Call for Participation FST TCS 2007

://www.fsttcs.org http://www.iitd.ac.in/~sanjiva/FSTTCS2007/fsttcs.html IARCS, the Indian Association for Research in Computing Science, invites you to participate in the 27th annual conference on Foundations of Software Technology and Theoretical Computer Science (FST TCS 2007) in New Delhi. The FSTTCS

[TYPES/announce] Final Call for participation

New Delhi, India December 12-14, 2007 http://www.fsttcs.org http://www.cse.iitd.ac.in/~sanjiva/FSTTCS2007/fsttcs.html IARCS, the Indian Association for Research in Computing Science, invites you to participate in the 27th annual