Stefan Hetzl
 |
Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner Hauptstraße 8-10 1040 Vienna, Austria email: stefan.hetzl AT tuwien.ac.at phone: +43 1 58801 104 262 room number: DA 05 B09 (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.
Research Projects
- WWTF Vienna Research Group: Structure and Expressivity
- Algorithmic Structuring and Compression of Proofs
Events
- Vienna Summer of Logic, Vienna, Austria, July 9-24, 2014.
- Logic Colloquium 2013, Évora, Portugal, July 22-27, 2013.
- Collegium Logicum 2012: Structural Proof Theory, École Polytechnique, Palaiseau, France, November 15-16, 2012.
- Computer Science Logic (CSL) 2012, Fontainebleau, France, September 3-6, 2012.
- Concepts and Meaning - Workshop in honour of Alexander Leitsch' 60th birthday, Vienna University of Technology, May 4-5, 2012
Former Affiliations
-
Parsifal Team
INRIA Saclay - Île-de-France / École Polytechnique -
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot -
Theory and Logic Group, Institute of Computer Languages
Vienna University of Technology
| Last Change: 2012-04-03, Stefan Hetzl |
|