[TYPES/announce] Call for papers -- 11th Workshop on Formal Techniques for Java-like Programs, Genova, Italy

2009-02-10 Thread Anindya Banerjee
COMMITTEE Elvira Albert, Complutense University of Madrid, Spain Anindya Banerjee, IMDEA Software, Spain (chair) Mike Barnett, Microsoft Research, Redmond, USA John Boyland, University of Wisconsin-Milwaukee, USA Patrice Chalin, Concordia University, Canada Dino Distefano, Queen Mary University

[TYPES/announce] Second Call for papers -- 11th Workshop on Formal Techniques for Java-like Programs, Genova, Italy

2009-03-04 Thread Anindya Banerjee
on the quality of submissions received we intend to invite selected papers for a special journal issue as a follow-up to the workshop, as has been done for some previous FTfJP workshops. PROGRAM COMMITTEE Elvira Albert, Complutense University of Madrid, Spain Anindya Banerjee, IMDEA Software, Spain

[TYPES/announce] Second Call for Papers: PLAS 2010, Toronto, Canada

2010-02-08 Thread Anindya Banerjee
participants and be available in the ACM Digital Library. PROGRAM COMMITTEE Anindya Banerjee (IMDEA Software) (co-chair) Gilles Barthe (IMDEA Software) Avik Chaudhuri (University of Maryland) Veronique Cortier (LORIA, CNRS) Brendan Eich (Mozilla Corporation) Ulfar Erlingsson (Microsoft Research