Past Events

• GRAPHITE 2012: 
  March 31 - 1 April 2012, First Workshop on GRAPH Inspection and Traversal Engineering, Tallinn, Estonia

• Experiences with ISO26262: 
  28 - 30 March, 2012, IQPC International Conference, Munich, Germany
  
  
• Steinbeis-Tag 2011:
  September 30, Haus der Wirtschaft, Stuttgart, Germany

• SPIN 2011:
  18th International SPIN Workshop on Model Checking Software, July 13 - 14, 2011, Cliff Lodge, Snowbird, Utah, USA.

• 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 2010:
  17th International SPIN Workshop on Model Checking of Software, September 27 - 29, 2010, Enschede, The Netherlands.
  
  
• 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, Berlin, Germany.
  
  
• 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
  
  
• Industrietag 2005
  • Press Bulletin
  • Südkurier