[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all, The French ANR project CHoCo <http://choco.pps.jussieu.fr> is organizing a small workshop on the topic of Curry-Howard for Concurrency, from Mon 28th to Wed 30th June, in Lyon. The programme consists in four invited speakers: - Kohei Honda (Queen Mary, London) - Andrzej Murawski (Oxford) - Julian Rathke (Southampton) - Paweł Sobociński (Southampton) plus several talks by members of the project. All details, including a complete programme and practical information, will appear progressively on the web page of the event: http://choco.pps.jussieu.fr/event25/ If you want to attend the event, please send an email to chocoparty.2...@gmail.com with your name, affiliation, email address, arrival and departure dates. A limited number of fundings is available to cover your travel and accomodation expenses. Please fill in the form below if you want to apply. We will let you know whether we can support all or part of your visit in Lyon. We will handle applications received before june the 18th, after that we cannot guarantee anything. ----------------------- 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 Beffara