Stefan Hetzl

Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner Hauptstraße 8-10
1040 Vienna, Austria
phone: +43 1 58801 104 267
email: hetzl AT logic.at
room number: DA 05 F22 (green area, 5th floor)

I am interested in proof theory, formal language theory, automated deduction, interactive theorem proving and neighbouring subjects. You can find a list of my publications on my research page.

Projects

I am, have recently been, or soon will be involved in the following projects:

ANR/FWF joint project Structural and Computational Proof Theory, see its austrian website and its french website.
ERC Advanced Grant ProofCert: Broad Spectrum Proof Certificates
Algorithmic Structuring and Compression of Proofs

Events

Conference on Intelligent Computer Mathematics (CICM) 2012, Bremen, Germany, July 9-14, 2012.
27th Annual Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012.
Concepts and Meaning - Workshop in honour of Alexander Leitsch' 60th birthday, Vienna University of Technology, May 4-5, 2012
ASL 2012 North American Annual Meeting, Madison, Wisconsin, USA, March 31-April 3, 2012.
The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Mérida, Venezuela, March 10-15, 2012.
The 6th International Conference on Language and Automata Theory and Applications (LATA), A Coruña, Spain March 5-9, 2012.

Former Affiliations

Last Change: 2012-05-01, Stefan Hetzl