Courses Summer Semester 2016

(Diese Seite gibt es auch auf Deutsch.)

Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

Note: Information on this page is tentative and subject to change without notice!

Place "KGRC": Währinger Straße 25, top floor, lecture room 101

Place "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 11

Place "HS2": Oskar-Morgenstern-Platz 1, 1090 Wien, ground floor, lecture hall 2

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250085VO2.0 (3.0)Basic concepts of mathematical logicMLOMoritz MüllerMon 9:45am–11:15am
begins 2016‑03‑07
250086UE1.0 (2.0)Tutorials "Basic concepts of mathematical logic"MLOVera FischerMon 11:30am–12:15pm
begins 2016‑03‑07
250087VO3.0 (5.0)Axiomatic set theory 1MLOMVera Fischersee preparatory meetingKGRCEnglish
250088PS2.0 (3.0)Introductory seminar: "Axiomatic set theory 1"MLOMMarlene Koelbingsee preparatory meetingKGRCEnglish
250089PJ+SE2.0 (4.0)Project seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2016‑03‑02
250090VO2.0 (4.0)Selected topics in mathematical logicMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
begins 2016‑03‑01
250091SE2.0 (4.0)Research Seminar (Mathematical logic)MLOVSy-David FriedmanThu 4:00pm–6:00pm
begins 2016‑03‑03
250092VO2.0 (3.0)Model theoryMLOVMoritz Müllersee preparatory meetingKGRCEnglish

Preparatory meeting

The times and begin dates for VO Axiomatic set theory 1, PS Introductory seminar: "Axiomatic set theory 1", and VO Model theory will be fixed in a preparatory meeting on 2016-03-01, 12:00pm at the KGRC in the lecture room 101.

Course details

Selected topics in mathematical logic

Time: Tue, Thu 2:00pm–3:00pm
starts 2016‑03‑01
Place: KGRC

Subject matters will be announced later.

Project seminar (mathematical logic)

Time: Mon, Wed 2:00pm–3:00pm
starts 2016‑03‑02
Place: KGRC

In this project seminar, students give talks about advanced topics in mathematical logic. This seminar is intended mainly for students writing their diploma, master or PhD thesis at the KGRC.

Research Seminar

Time: Thu 4:00pm–6:00pm
starts 2016‑03‑03
Place: KGRC

This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.


MLOL - Mathematische Logik (mathematical logic)

MLOM - Axiomatische Mengenlehre (axiomatic set theory)

MLOI - Theoretische Informatik (theoretical computer science)

MLOS - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2016-01-29, 04:20.