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 2019
Host institution Vienna University of Technology