Ozan Kahramanogullari | 21 Nov 19:06 2005
Picon

ICCL Autumn Workshop - Deep Inference and Proof Theory

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 Bruennler (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
(Continue reading)


Gmane