[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Due to a number of requests, we are extending the submission
deadlines for PLAN-X. Please note the revised dates below.]
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
CALL FOR PARTICIPATION
PLAN-X 2009
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
2nd CALL FOR PARTICIPATION
PLAN-X 2009
.
ORGANIZERS / PROGRAMME COMMITTEE
Gerald Baumgartner (Louisiana State University, Louisiana, USA)
Gavin Bierman (Microsoft Research, UK)
Kei Davis (Los Alamos National Laboratory, New Mexico, USA)
Zoltan Horvath (University Eotvos Lorand of Sciences, Budapest, Hungary)
Jaakko Jarvi (Texas AM
* Gavin Bierman, Microsoft Research, UK
* Robert Hirschfeld, University of Potsdam, Germany