![]() |
Room Phone Fax Mail |
Talks & Travels
- International Conference on Software Engineering - May 10-18, 2008, Leipzig
- Computer Aided Verification - July 3-7, 2007, Berlin
- SEUH - Software Engineering im Unterricht der Hochschulen - February 22-23, 2007, Stuttgart
- Verification, Model Checking and Abstract Interpretation - January 14-16, 2007, Nizza
- AVACS Projekttreffen - 25. - 29. September 2006, Oldenburg
- 2nd German Verification Day - 31. August, 2006, Bonn
- STRESS 2006 - 17. - 23. Mai 2006, Dortmund
Teaching
- Softwarepraktikum Summer Term 2008
- Seminar Advanced Topics in Software Engineering, Winter Term 2007/2008
- Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2007/2008
- Softwarepraktikum, Summer Term 2007
- Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2006/2007
- Sichere Systeme, Winter Term 2006/2007
- Software Lab, Summer Term 2006

