Lectures

  • <a href="t3://page?uid=5799">Functional programming</a> (winter term 2011/2012)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=21540&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Functional programming</a> (summer term 2009)

Exercise courses

  • <a href="t3://page?uid=5799">Functional programming</a> (winter term 2011/2012)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=36431&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Compiling functional, logical, and object-oriented languages</a> (summer term 2011)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=23283&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Foundations of compiler construction</a> (winter term 2009/2010)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=21540&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Functional programming</a> (summer term 2009)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=19182&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Foundations of compiler construction</a> (winter term 2008/2009)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=16654&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Compiling functional, logical, and object-oriented languages</a> (summer term 2008)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=11967">Foundations of compiler construction</a> (winter term 2007/2008)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=10605">Compiling functional, logical, and object-oriented languages</a> (summer term 2007)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=8144">Foundations of compiler construction</a> (winter term 2006/2007)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=6862">Compiling functional, logical, and object-oriented languages</a> (summer term 2006)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/12164">Theoretical computer science 1</a> (winter term 2005/2006)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/12095">Foundations of compiler construction</a> (winter term 2005/2006)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/11367">Compiling functional, logical, and object-oriented languages</a> (summer term 2005)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/10608">Foundations of compiler construction</a> (winter term 2004/2005)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/8307">Foundations of compiler construction</a> (winter term 2003/2004)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/7100">Compiling functional, logical, and object-oriented languages</a> (summer term 2003)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/5462">Foundations of compiler construction</a> (winter term 2002/2003)

Seminars

  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=48956&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Algorithm Development in functional programming languages</a> (summer term 2012)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=23273&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Concepts of functional programming languages</a> (winter term 2009/2010)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=19151&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Concepts of functional programming languages</a> (winter term 2008/2009)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=16602&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Algebraic structures in computer science</a> (summer term 2008)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=11658">Concepts of functional programming languages</a> (winter term 2007/2008)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=11658">Algebraic structures in computer science</a> (summer term 2007)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=9757">Semantics of programming and specification languages</a> (winter term 2006/2007)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=9752">Models and formal methods for user interaction</a> (winter term 2006/2007)
  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&amp;search=2&amp;veranstaltung.veranstid=7673">Discrete structures for formal models</a> (summer term 2006)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/12099">Program analysis and optimisation</a> (winter term 2005/2006)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/10654">Rule-based systems</a> (winter term 2004/2005)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/9671">Compiling functional, logical, and object-oriented languages</a> (summer term 2004)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/8285">Logic for formal models</a> (winter term 2003/2004)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/7026">New concepts of user guidance and GUI-specification</a> (summer term 2003)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/5441">Program analysis and optimisation</a> (winter term 2002/2003)
  • Program transformation (winter term 2001/2002)

Proseminars

  • <a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&amp;status=init&amp;vmfile=no&amp;publishid=19681&amp;moduleCall=webInfo&amp;publishConfFile=webInfo&amp;publishSubDir=veranstaltung">Mathematical and structural foundations of computer science</a> (winter term 2008/2009)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/11366">Mathematical and structural foundations of computer science</a> (summer term 2005)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/9672">Mathematical and structural foundations of computer science</a> (summer term 2004)
  • <a href="http://www.informatik.uni-ulm.de/epin/pw/7028">Functional programming</a> (summer term 2003)

Practical works

  • Michael Staud: <i>Implementation of a compiler from Prolog to C++</i> (August 2006)
  • Jürgen Werner: <i>Implementation of a library for graphs</i> (February 2003)

Diploma theses

  • Michael Stahl: <i>Porting the Ultra Program Transformation System from Gofer to Haskell</i> (September 2006)
  • Markus Diesterheft: <i>Modellierung und heuristische Verfahren zur optimierten Kommissionierung</i> (May 2006)
  • Klaus Göckelmann: <i>Entwurf und Entwicklung eines Compilers für die "Testing and Test Control Notation Version 3"</i> (November 2005)
  • Carola Langwald: <i>Beschreibung der Semantik von Aktivitätsdiagrammen der UML Version 2.0 durch Petri-Netze</i> (October 2005)
  • Ralf Gerlich: <i>Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation</i> (July 2005)
  • Jürgen Werner: <i>Relational calculi for the semantics of programming languages and program development</i> (November 2004)