{{menu|Teaching|Courses Summer Semester 2016}}
{{comment|
<nowiki>
<!--
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'], ["\(","\)"] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
-->
</nowiki>}}
{{DE|,Sommer-LVA}}

'''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":''' [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&amp;hl=de&amp;ie=UTF8&amp;sll=48.220685,16.38006&amp;sspn=0.372851,0.617294&amp;oq=kurt+g%C3%B6del+re&amp;t=m&amp;z=16 Währinger Straße 25], [[Floor plan|top floor]], lecture room 101

'''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=250085&amp;semester=2016S 250085]|VO|2.0 (3.0)|[/~muellem3/teaching.html Basic concepts of mathematical logic]|MLO|[/~muellem3/ Moritz Müller]|Mon 9:45am–11:15am<br/>begins 2016&#8209;03&#8209;07|HS11|German}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250086&amp;semester=2016S 250086]|UE|1.0 (2.0)|Tutorials "Basic concepts of mathematical logic"|MLO|[/~vfischer/ Vera Fischer]|Mon 11:30am–12:15pm<br/>begins 2016&#8209;03&#8209;07|HS2|German}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250087&amp;semester=2016S 250087]|VO|3.0 (5.0)|Axiomatic set theory&nbsp;1|MLOM|[/~vfischer/ Vera Fischer]|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250088&amp;semester=2016S 250088]|PS|2.0 (3.0)|Introductory seminar: "Axiomatic set theory&nbsp;1"|MLOM|Marlene Koelbing|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250089&amp;semester=2016S 250089]|PJ+SE|2.0 (4.0)|[#Seminar_Mathematische Project seminar (mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>begins 2016&#8209;03&#8209;02|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250090&amp;semester=2016S 250090]|VO|2.0 (4.0)|[#AK Selected topics in mathematical logic]|MLOV|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm<br/>begins 2016&#8209;03&#8209;01|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250091&amp;semester=2016S 250091]|SE|2.0 (4.0)|[#Forschungsseminar Research Seminar (Mathematical logic)]|MLOV|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm<br/>begins 2016&#8209;03&#8209;03|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250092&amp;semester=2016S 250092]|VO|2.0 (3.0)|[/~muellem3/teaching.html Model theory]|MLOV|[/~muellem3/ Moritz Müller]|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table bottom}}

== <a name="prep_meeting"></a>Preparatory meeting ==

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

== Course details ==

=== <a name="AK"></a>Selected topics in mathematical logic ===

Time: Tue, Thu 2:00pm–3:00pm<br/>
starts 2016&#8209;03&#8209;01<br/>
Place: KGRC

''Subject matters will be announced later.''

=== <a name="Seminar_Mathematische"></a>Project seminar (mathematical logic) ===

Time: Mon, Wed 2:00pm–3:00pm<br/>
starts 2016&#8209;03&#8209;02<br/>
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.

=== <a name="Forschungsseminar"></a>Research Seminar ===

Time: Thu 4:00pm–6:00pm<br/>
starts 2016&#8209;03&#8209;03<br/>
Place: KGRC

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

== <a name="Modules"></a>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)