[TYPES/announce] PLACES'10: call for papers

2009-12-16 Thread Kohei Honda
, University of Glasgow Joshua Guttman, The MITRE Corporation and Worcester Polytechnic Institute Kohei Honda (chair), Queen Mary, University of London Alan Mycroft (chair), University of Cambridge Hanne Riis Nielson, The Technical University of Denmark John Reppy, University of Chicago Konstantinos

[TYPES/announce] PLACES'10: deadline extension

2010-01-14 Thread Kohei Honda
Speakers William Cook, Jayadev Misra (University of Texas, Austin) Program Committee Alastair Beresford, University of Cambridge Marco Carbone, IT University of Copenhagen Simon Gay, University of Glasgow Joshua Guttman, The MITRE Corporation and Worcester Polytechnic Institute Kohei Honda (chair

[TYPES/announce] PLACES'10: call for participation

2010-03-10 Thread Kohei Honda
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION PLACES'10 Programming Language Approaches to Concurrency and communication-cEntric Software