[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
___
CALL FOR PARTICIPATION - ICALP'08
35th International Colloquium on
Automa
[ 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
[ 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
[ 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