PR 2010   

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: