Seminar mit Bachelorarbeit

Current Projects

TTT2 for Teaching
contact:   Christian Sternagel
student:   Jonas Schöpf
initial presentation:   06.06.17

Nonreach
contact:   Christian Sternagel
student:   Florian Messner
initial presentation:   16.05.17

Unification in OCaml
contact:   Cezary Kaliszyk
student:   Sebastian Waldhart
initial presentation:   28.03.17

General Game Playing and Logic
contact:   Cezary Kaliszyk
student:   Etienne Bertin
initial presentation:   06.12.16

Automation of SMB Administration
contact:   Georg Moser
student:   Clemens Böhler
initial presentation:   22.11.16

Automating Rewrite Strategies
contact:   Aart Middeldorp
student:   Fabian Mitterwallner
initial presentation:   25.10.16