full screen background image

General information

Project Title
Non classical proofs: theory, applications and tools

Project leader
Agata Ciabattoni

Funding organization
FWF Der Wissenschaftsfonds

Project type
START Prize

Duration
December 2011 – November 2017

Host institution
Vienna University of Technology