ICCL Autumn Workshop - Deep Inference and Proof Theory

Ozan Kahramanogullari <ozan-jNDFPZUTrfTw9Zu3TmXbXSJk02hg1TJes0AfqQuZ5sE@public.gmane.org> Mon, 21 Nov 2005 19:06:04 +0100 (MET)

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<Pine.GSO.4.61.0511211856050.12813@gkws0.informatik.uni-leipzig.de>

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-jNDFPZUTrfTw9Zu3TmXbXSJk02hg1TJes0AfqQuZ5sE@public.gmane.org

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