Subject: deep inference meeting
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-05-23 17:18:06 GMT (50 weeks, 4 days, 9 hours and 31 minutes ago)
Hi Frogs, The next "deep inference meeting" will be held on June 21st, 2007 in Palaiseau (30min from Paris). The webpage is here: http://www.lix.polytechnique.fr/~lutz/orgs/INFERmeetingJune2007.html Of course, everybody is invited to participate. If you want to contribute a talk, please let me know. Best wishes, Lutz