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 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@xxxxxxxxxxxxxxxx

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