[TYPES/announce] World Congress and School of Universal Logic, Lisbon 2010

2009-09-23 Thread N. Raja
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The third edition of the World Congress and School on Universal Logic will happen April 18-25, 2010 in Lisbon, Portugal. There will be: 10 invited speakers, among them: Hartry Field, Yuri

[TYPES/announce] PEPM'10 - Final CFP (Submission: 6 Oct 09, Notification: 29 Oct 09)

2009-09-23 Thread Janis Voigtlaender
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program