[TYPES/announce] CfPart: IM-PCS and FoRMA, Manchester, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Appologies for potential cross-postings of this adverts * Please feel free to distribute to the interested colleagues

[TYPES/announce] LATA 2011: call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for participation 5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2011) Tarragona, Spain, May 26-31, 2011 http://grammars.grlmc.com/LATA2011/

[TYPES/announce] RDP 2011 - Second Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] * *** Federated Conference on Rewriting, Deduction, and Programming *** ***

[TYPES/announce] Fourth workshop réalisabilité à Chambéry, June 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is the official announcement for the fourth workshop Réalisabilité à Chambéry. This year's workshop will take place during week 24: from Tuesday the 14th of June to Friday the 17th