en | de

Research Seminar in Logic and Learning: CL/TCS

master program

SE2  WS 2022/2023  703319

Schedule

date chair speaker   remarks / reports
05.10   Cezary Kaliszyk  organization and scheduling (PDF)
19.10   René Thiemann Cezary Kaliszyk (PDF,ABS), Albert Nössig (PDF,ABS)
9.11   Aart Middeldorp Liao Zhang (PDF,ABS), Manuel Eberl (PDF,ABS)
16.11   Stanisław Purgał Jonas Schöpf (PDF,ABS), Christina Kohl (PDF,ABS)
23.11   Manuel Eberl Filip Bartek (PDF,ABS)
30.11   Dohan Kim Aart Middeldorp (PDF,ABS), Fabian Mitterwallner (PDF,ABS)
14.12   Jonas Schöpf René Thiemann (PDF,ABS), Dohan Kim (PDF,ABS)
11.01   Christina Kohl Fabian Schaub (PDF, Report)