Teaching

Current teaching offers can be found on our new web page (link).

Continuous

Summer Term 2016

Winter Term 2015/2016

Summer Term 2015

Winter Term 2014/2015

Winter Term 2013/2014

Summer Term 2013

  • Proseminar: Ontologien & Co. (in German)
  • Lecture: Softwaremodellierung mit formalen Methoden (in German)
  • Lecture: Model Checking (in English)

Winter Term 2012/2013

Summer Term 2012

Winter Term 2011/2012

Summer Term 2011

Winter Term 2010/2011

Summer Term 2010

Winter Term 2009/2010

Summer Term 2010

Winter Term 2009/2010

Summer Term 2009

Winter Term 2008/2009

Summer Term 2009

Winter Term 2008/2009

Summer Term 2008

Winter Term 2007/2008Summer Term 2007 Winter Term 2006/2007Summer Term 2006Winter Term 2005/2006 Summer Term 2005 Winter Term 2004/2005
  • Lecture Formal Methods I (in German)
  • Lecture Formal Methods II (in German)

Imprint | Webmaster | Recent changes: 06.02.2017