[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

[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