Maybe this website is out of date.
Please visit the current version
Chair for Software Engineering
- Quovadis 2010:
First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, May 03, 2010, Cape Town, South Africa.
- SPIN 2009:
16th International SPIN Workshop on Model Checking of Software, June 26 - 28, 2009, Grenoble, France.
- MES 2009:
The international conference "Middle East Simulation 2009", June 11 - 14, 2009, Konstanz, Germany.
- FMICS 2008:
13th International Workshop on Formal Methods for Industrial Critical Systems, September 15-16, 2008, L’Aquila, Italy.
- SPIN 2008: 15th International SPIN Workshop on Model Checking of Software, August 10-12, 2008, Los Angeles, USA.
- ICSE 2008: 30th International Conference on Software Engineering, May 10-18, 2008, Leipzig, Germany.
- FMICS 2007: 12th International Workshop on Formal Methods for Industrial Critical Systems, July 1-2, 2007,
- SPIN 2007: 14th Workshop on Model Checking Software. Will be held July 1-3, 2007, co-located with CAV 2007 in Berlin, Germany.
Our Work has been presented at the SOQUA 2006 workshop held
jointly with SIGSOFT/FSE in Portland, Oregon, in November 2006.
ICCP 2006: 2nd International Conference on Intelligent Computer
Communication and Processing, 1 - 2 September, 2006
MOCHART IV: 4th International Workshop on Model
checking and Artificial Intelligence (Satellite workshop of ECAI 2006), Riva del Garda, 29 August 2006
Dagstuhl Seminar 06172 on Directed Model Checking
SPIN 2006: 13th International SPIN Workshop on Model Checking of Software
SPIN 2005: 12th International SPIN Workshop on Model
Checking of Software