TGI

• Homepage
• Announcements
• Staff
• Students

Education

• Education (German only)

Research

• Research
• Publications

Misc

• Service
• Tools
• Petri Nets World
  

Teaching activities Michael Duvigneau

Teaching activities

Study Courses

WiSe 1996/97 – WiSe 2001/02 (annually)	Introduction to Studies (OE) (German only)
SoSe 1999	Theoretical Foundations of Programming (TGP) (German only)

Revision Courses

WiSe 2007/08 – WiSe 2011/12 (annually)	Formal Foundations of Informatics (FGI 2): Modelling and Analysis of Parallel and Distributed Systems (German only)
SoSe 2008 – SoSe 2011 (annually)	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only)

Exercise classes and learning support

SoSe 2003 – SoSe 2005 (annually)	Formal Foundations of Informatics (F2): Automata and Formal Languages (German only)
WiSe 2003/04	Formal Foundations of Informatics (F1): Logic (German only)
WiSe 2004/05 – WiSe 2005/06 (annually)	Formal Foundations of Informatics (F3): Computability and Complexity (German only)
SoSe 2006	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only)
WiSe 2006/07 – WiSe 2011/12 (annually)	Formal Foundations of Informatics (FGI 2): Modelling and Analysis of Parallel and Distributed Systems (German only)
SoSe 2008 – SoSe 2012 (annually)	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only)

Seminars

SoSe 2004	Programming Language Concepts (German only)
SoSe 2005	Petri Nets (German only)
SoSe 2006	Petri Nets (German only)
WiSe 2008/09	The art of writing an exposé for a final thesis (German only)

Projects

SoSe 2003	Reference Nets: Concepts, Tools and Applications (German only)
WiSe 2003/04	Agent-Oriented Software Engineering (German only) (Settler Game)
WiSe 2004/05	Agent-Oriented Software Engineering (German only) (Settler Game)
WiSe 2005/06	Agent-Oriented Software Engineering (German only) (Workflow Management)
WiSe 2006/07	Agent-Oriented Software Engineering (German only) (Workflow Management)
WiSe 2008/09	Agent-Oriented Software Engineering (German only) (Settler Game)
WiSe 2009/10	Agent-Oriented Software Engineering (German only) (Renew on OSGi)
WiSe 2011/12	Agent-Oriented Software Engineering (German only) (Collaboration Agent Platform)

Lectures

SoSe 2006	Agents and Multi-Agent Systems (German only)
SoSe 2007	Agents and Multi-Agent Systems (German only)
SoSe 2012	Agents and Multi-Agent Systems (German only)