News

FWF “Joint Project” accepted (December 6, 2010)

In its last assembly on December 1, the FWF Board accepted the FWF joint project “Structural and Computational Proof Theory” between Austria and France. The Austrian part of the proposal was coordinated by Priv.-Doz. Dr. Georg Moser. The project is about bringing together different aspects and developments in structural proof theory, namely deep inference, the Curry-Howard isomorphism, term rewriting, and Hilbert’s epsilon-calculus.

More information can be found at the dedicated project page.