Subject: ICCL Autumn Workshop - Deep Inference and Proof Theory
Newsgroups: gmane.science.mathematics.frogs
Date: 2005-11-21 18:06:04 GMT (2 years, 24 weeks, 1 day, 10 hours and 20 minutes ago)
Dear All, We are organizing a small workshop on proof theory and deep inference in Dresden on December 15-16. The people who have so far agreed to participate are as follows: * Kai Brueünnler (Bern) * Alessio Guglielmi (Bath) * Robert Hein (TU Dresden) * Francois Lamarche (LORIA) * Ozan Kahramanogullari (TU Dresden) * Richard McKinley (Bath) * Lutz Strassburger (Saarbruecken) * Phiniki Stouppa (Bern) We kindly invite anyone who is interested and apologize for the short notice. Let us know if you are interested by sending an email to ozan@... Please distribute this message to other potentially interested people. The workshops web-page is http://www.wv.inf.tu-dresden.de/~ozan/workshop.html. Ciao, Ozan