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
-
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot -
Parsifal Team
INRIA Saclay - Île-de-France
Laboratoire d'Informatique de l'École Polytechnique
| Last Change: 2012-05-01, Stefan Hetzl |
|


