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&status=init&vmfile=no&publishid=21540&moduleCall=webInfo&publishConfFile=webInfo&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&status=init&vmfile=no&publishid=36431&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Compiling functional, logical, and object-oriented languages</a> (summer term 2011)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=23283&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Foundations of compiler construction</a> (winter term 2009/2010)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=21540&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Functional programming</a> (summer term 2009)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19182&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Foundations of compiler construction</a> (winter term 2008/2009)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=16654&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Compiling functional, logical, and object-oriented languages</a> (summer term 2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11967">Foundations of compiler construction</a> (winter term 2007/2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&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&search=2&veranstaltung.veranstid=8144">Foundations of compiler construction</a> (winter term 2006/2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&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&status=init&vmfile=no&publishid=48956&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Algorithm Development in functional programming languages</a> (summer term 2012)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=23273&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Concepts of functional programming languages</a> (winter term 2009/2010)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19151&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Concepts of functional programming languages</a> (winter term 2008/2009)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=16602&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Algebraic structures in computer science</a> (summer term 2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11658">Concepts of functional programming languages</a> (winter term 2007/2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11658">Algebraic structures in computer science</a> (summer term 2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&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&search=2&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&search=2&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&status=init&vmfile=no&publishid=19681&moduleCall=webInfo&publishConfFile=webInfo&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: Implementation of a compiler from Prolog to C++ (August 2006)
Jürgen Werner: Implementation of a library for graphs (February 2003)

Diploma theses

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