[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 Automa

[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 http://www.fots.ua.ac.be/events/grabats2008

[TYPES/announce] Paper on Types for Conversations

2008-05-05 Thread Hugo Torres Vieira
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to announce the availability of the technical report version of our paper on conversation types, "Typing Conversations in the Conversation Calculus" Luis Caires and