Colloquium for Prof. Dr. Jan Peleska
Colloquium for Prof. Dr. JanPeleska On the occasion of the Festschrift dedicated to Prof. Dr. JanPeleska, a colloquium is organized to honor his contributions and achievements in applicable formal methods [...] Systems" Short break Former PhD Students and Habilitands Musical accompaniment by JJFK Quartet: JanPeleska (g), Jan-Olaf Rodt(b), Friedemann Bartels (d), Kai Thomsen (p) Dinner: 6:30 pm at Restaurant "Zum