[TYPES/announce] CiE 2010 - Call for Participation and Informal Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal June 30 to July 4, 2010 http://www.cie2010.uac

[TYPES/announce] SOS `10 call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This workshop should be of interest to those members of the types mailing list who are interested in operational semantics. ** SOS `1

[TYPES/announce] ICE 2010: Final call for papers (Submission deadline extended)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [- Apologies for cross-postings -] 3rd Interaction and Concurrency Experience ICE 2010: Guaranteed Interactions Satellite workshop of DisCoTec 2010 10th of June 2010