Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Vorlesung Einführung in die formale Logik für IMP

Mittwoch, 11-13, ESZ (RUD26), Raum 1.303

Prof. Dr. Nicole Schweikardt

Übung: Donnerstag, 15-17, ESZ (RUD26), Raum 1.303

Benjamin Hauskeller

Vorlesung Ausgewählte Kapitel der Logik: Lokalität

Dienstag, 09-11, ESZ (RUD26), Raum 1.306

Donnerstag, 09-11, ESZ (RUD26), Raum 1.306

Prof. Dr. Nicole Schweikardt

Übung: Dienstag, 11-13, ESZ (RUD26), Raum 1.306

Benjamin Scheidt

Vorlesung Automatentheorie

Dienstag, 15-17, ESZ (RUD26), Raum 1.305

Freitag, 11-13, ESZ (RUD26), Raum 1.305

Dr. André Frochaux

Übung: Freitag, 13-15, ESZ (RUD26), Raum 1.305

Dr. André Frochaux

Seminar Aktuelle Themen der Theoretischen Informatik

Mittwochs 13:30-15, Johann von Neumann-Haus (RUD25), Raum 3.408

Dr. Steffen van Bergerem, Prof. Dr. Nicole Schweikardt

Seminar Weitere Kapitel der Datenbanktheorie

Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3.408

Prof. Dr. Nicole Schweikardt