Section: Partnerships and Cooperations

European Initiatives

Cooperation with TU Wien, Austria

Participants : Pascal Fontaine, Stephan Merz.

This project started in 2012 and fosters bilateral cooperation with the team headed by Prof. Alexander Leitsch at TU Vienna. It focuses on aspects of proof production and proof compression in automated reasoning. It is headed by Bruno Woltzenlogel Paleo of TU Wien, who was formerly a post-doctoral researcher in VeriDis until March 2011, and Pascal Fontaine. The project is funded by the Amadeus Programme of the Partenariat Hubert Curien and the Österreichischer Austausch Dienst.

A first workshop of one week took place in Vienna in spring, and gathered around 15 people, including Pascal Fontaine and Stephan Merz as well as a student from TU Graz. A second one-week workshop was organized in Nancy in the fall, with 12 participants including 5 researchers from Vienna, and one student from Univ. Paul Sabatier, Toulouse. The web page gives more information on this project.