2nd Workshop on Proof Theory and Rewriting 2010

28 – 31 March 2010, Obergurgl

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:

• presentations in English about recent work or work in progress
• no proceedings
• lots of time for discussions and social activities (e.g. skiing)