Workshop on Proof Theory and Rewriting

5 – 9 September, 2006, Obergurgl

The workshop takes place in the Obergurgl University Centre: (click “Brochure english”)

The workshop aims at bringing together researchers in proof theory and rewriting to facilitate the exchange of ideas between these tightly connected fields. The workshop is an informal one and has the following format:


Wednesday, September 6

Thursday, September 7

Friday, September 8

Saturday, September 9