[TYPES/announce] ICALP 2008: Call for Participation

2008-05-05 Thread Luca Aceto
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ___ CALL FOR PARTICIPATION - ICALP'08 35th International Colloquium on

[TYPES/announce] GPCE'08: Final Call for Papers

2008-05-05 Thread Emir Pasalic
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers Seventh International Conference on Generative Programming and Component Engineering (GPCE 2008) October 19-23, 2008

[TYPES/announce] Graph-Based Tools Contest: Call for Cases

2008-05-05 Thread Arend Rensink
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Graph-Based Tools Contest: Call for Cases = 12-13 September, Leicester, UK Satellite workshop of ICGT 2008