{{menu|Teaching|Courses Winter Semester 2016/2017}} {{DE|Winter-LVA}} '''Note:''' To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester! '''Note:''' All lectures at the KGRC are given in English, or at least can be given in English if requested. '''Place "KGRC":''' [https://maps.google.at/maps?q=Kurt+G%C3%B6del+Research+Center+(KGRC)+for+Mathematical+Logic,+University+of+Vienna,+W%C3%A4hringer+Stra%C3%9Fe,+Wien&hl=de&ie=UTF8&sll=48.220685,16.38006&sspn=0.372851,0.617294&oq=kurt+g%C3%B6del+re&t=m&z=16 Währinger Straße 25], [[Floor plan|top floor]], lecture room 101 {{comment|'''Place "HS11":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], 2nd floor, lecture hall 11 '''Place "HS2":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], ground floor, lecture hall 2}} {{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250074&semester=2016W 250074]|VO|4.0 (6.0)|[/~vfischer/MathLogicWS2016.pdf Introduction to mathematical logic]|MLOL|[/~vfischer/ Vera Fischer]|Tue 9:00am–10:30am, Fri 9:00am–10:30am*
begins 2016‑10‑04|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250075&semester=2016W 250075]|PS|2.0 (3.0)|[/~montoyd8/teaching.html Introductory seminar on mathematical logic]|MLOL|[/~montoyd8/ Diana Carolina Montoya Amaya]|Wed 10:00am–11:30am*
begins 2016‑10‑05|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250122&semester=2016W 250122]|VO|2.0 (7.0)|[/~lzdomsky/set_theory_2_ws2016_17.pdf Reading course in mathematical logic]|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|Mon 12:20pm–1:50pm
begins 2016‑10‑10|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250073&semester=2016W 250073]|VO|3.0 (5.0)|[/~muellem3/teaching.html Introduction to theoretical computer science]|MLOI|[/~muellem3/ Moritz Müller]|Tue 12:20pm–1:50pm, Wed 4:15pm–5:45pm
begins 2016‑10‑04|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250130&semester=2016W 250130]|VO|2.0 (3.0)|[/~muellem3/teaching.html Topics in computability]|MLOV|[/~muellem3/ Moritz Müller]|Tue 3:30pm–5:30pm
begins 2016‑10‑04|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250099&semester=2016W 250099]|SE|2.0 (4.0)|[/2016/Seminar_winter.html Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm
begins 2016‑10‑03|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250098&semester=2016W 250098]|SE|2.0 (4.0)|[/2016/Research_seminar_winter.html Research seminar in mathematical logic]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm
begins 2016‑10‑03*|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250121&semester=2016W 250121]|VO|2.0 (4.0)|[/2016/Selected_topics_in_mathematical_logic_winter.html Selected topics in set theory]|MLOV|[/benjamin.miller/ Ben Miller]|Tue, Thu 2:00pm–3:00pm
begins 2016‑10‑04|KGRC|English}} {{table bottom}} * Update from previous information {{comment|* Update from previous information}} == Modules == '''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)