| Titel | Vortragende(r) | Vortrag am | Betreuer |
| Alternative BDD-Synthese | Anastasija Eifer | 31.10.2002 | Marcus Größer |
| Improving the variable order of BDDs is NP-complete | Miro Mathyl | 07.11.2002 | Marcus Größer |
| Linear Sifting of Decision Diagrams | Christiane Tunak | 14.11.2002 | Marcus Größer |
| Blockwise Variable Orderings for SBDDs | Jasmin Grigull | 21.11.2002 | Marcus Größer |
| Heuristic Minimization of BDDs with don't-cares | Lars Grube | 28.11.2002 | Frank Ciesinski |
| Variable Orderings for OBDDs with Sim. Annealing | Markus Engel, Tobias Blechmann | 05.12.2002 | Marcus Größer |
| A symbolic algorithm for the Maximum Flow in 0,1-networks | Gregor Pardella | 12.12.2002 | Marcus Größer |
| MTBDDs and their applications | Juliane Wernecke, Bianca Kricke | 19.12.2002 | Frank Ciesinski |
| Timing analysis of combinatorial circuits | Daniel Schumacher | 09.01.2003 | Frank Ciesinski |
| Verification of artihmetic functions using BMDs | Stefan Oedenkoven, Christoph Salthammer | 16.01.2003 | Frank Ciesinski |
| Edge valued BDDs | Dagmar de Haan, Yvonne Christ | 23.01.2003 | Frank Ciesinski |
| Multiterminal BDDs | Alexander Goth | 30.01.2003 | Marcus Größer |
| Two Level Logic Minimization | Christian Preilowski | 06.02.2003 | Marcus Größer |
| JJS - A BDD tool | Sascha Klüppelholz, Jörn Ossowski | 13.02.2003 | Marcus Größer |