[TYPES/announce] workshop on Curry Howard for Concurrency - 28-30 June, Lyon, France

. --- Application form for a participant at the Choco meeting, Lyon, june 28-30, 2010. Name, surname: Position: Institution (University, lab, etc.): Email address: Arrival and departure dates: Means of transport (and, if possible, requested schedule): --- -- Emmanuel

[TYPES/announce] LI2012: first announcement

-mrs.fr/ [2] http://iml.univ-mrs.fr/geocal06/ [3] http://li2012.univ-mrs.fr/ -- Emmanuel Beffara and Lionel Vaux Institut de Mathématiques de Luminy

[TYPES/announce] Logic and Interaction week - call for contribution and participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Residential session on LOGIC AND INTERACTION CIRM, Marseille, France Monday February 6 -