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, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.303

Dr. André Frochaux

Übung: Donnerstag, 15-17, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.303

Dr. André Frochaux

Vorlesung Automatentheorie

Dienstag, 15-17, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.306

Freitag, 11-13, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.306

Dr. André Frochaux

Übung: Freitag, 13-15, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.306

M.Sc. Benjamin Hauskeller

Seminar Aktuelle Themen der Theoretischen Informatik

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

M.Sc. Benjamin Scheidt