[TYPES/announce] CHOCO meeting Differential Linear Logic course - 4th to 7th April 2011, Lyon, France
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, [Apologies for multiple copies] CALL FOR PARTICIPATION CONTRIBUTED TALKS for the final meeting of the French ANR project Choco http://choco.pps.jussieu.fr/event32/ The meeting will take in place in ENS de Lyon, France from Monday 4th April to Thursday 7th April 2011. = There will invited talks, a course on differential linear logic and few sessions of contributed talks. We are pleased to announce invited talks by - Richard Blute (Ottawa, CA) - Daniel Leivant (Indiana University, USA) - Glynn Winskel (Cambridge, UK) The course on Differential Linear Logic will be made of 5 sessions of 1h30 : - Models (2 sessions) : T. Ehrhard (PPS, CNRS Paris 7) and L. Vaux (IML, Marseille) - Differential Nets Lambda-Calculus (2 sessions) : M. Pagani (LIPN, Paris 13) and P. Tranquilli (LIP, ENS de Lyon) - Uniformity and Taylor expansion (1 session) L. Regnier (IML, Marseille) More details about contents of invited talks and schedule will be added to the Choco web page when available. PRELIMINARY SCHEDULE http://tinyurl.com/6j4pp6v CONTRIBUTED TALKS = If you want to give a talk please contact me before the 18th of March. Slots will be attributed on a first asked first served basis. REGISTRATION There is no registration fee, but an informal registration (by sending me an email) is required by the 25th of March. Practical informations on how to come in ENS de Lyon and on accomodation in Lyon are available here : http://www.ens-lyon.fr/LIP/web/index.php?option=com_contentview=articleid=48Itemid=54 IMPORTANT DATES === Talk submission : March 18th Participation : March 25th Meeting : April 4th to 7th
[TYPES/announce] [Reminder] CHOCO meeting Differential Linear Logic course - 4th to 7th April 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, [Apologies for multiple copies] SECOND CALL FOR PARTICIPATION CONTRIBUTED TALKS for the final meeting of the French ANR project Choco http://choco.pps.jussieu.fr/event32/ The meeting will take in place in ENS de Lyon, France from Monday 4th April to Thursday 7th April 2011. = There will invited talks, a course on differential linear logic and few sessions of contributed talks. We are pleased to announce invited talks by - Richard Blute (Ottawa, CA) - Daniel Leivant (Indiana University, USA) - Glynn Winskel (Cambridge, UK) The course on Differential Linear Logic will be made of 5 sessions of 1h30 : - Models (2 sessions) : T. Ehrhard (PPS, CNRS Paris 7) and L. Vaux (IML, Marseille) - Differential Nets Lambda-Calculus (2 sessions) : M. Pagani (LIPN, Paris 13) and P. Tranquilli (LIP, ENS de Lyon) - Uniformity and Taylor expansion (1 session) L. Regnier (IML, Marseille) More details about contents of invited talks and schedule will be added to the Choco web page when available. PRELIMINARY SCHEDULE http://tinyurl.com/6j4pp6v CONTRIBUTED TALKS = If you want to give a talk please contact me before the 18th of March. Slots will be attributed on a first asked first served basis. REGISTRATION There is no registration fee, but an informal registration (by sending me an email) is required by the 25th of March. Practical informations on how to come in ENS de Lyon and on accomodation in Lyon are available here : http://www.ens-lyon.fr/LIP/web/index.php?option=com_contentview=articleid=48Itemid=54 IMPORTANT DATES === Talk submission : March 18th Participation : March 25th Meeting : April 4th to 7th
