Informatik-Kolloquium SoSe2018

Fr, 22.06.2018: The Reverse Kakeya Problem

Prof. Dr. Otfried Cheong, KAIST, (eingeladen von Prof. Dr. Mulzer)

Takustr. 9, Raum 053, 14:15 bis ca. 15:45

Di, 10.07.2018: Automated Reasoning in the 3-Valued Logic RM3, and the 4-Valued Logic FDE

Geoff Sutcliffe, University of Miami, (eingeladen von Christoph Benzmüller)

Takustr. 9, Raum 006, 11:00 bis ca. 13:00

Abstrakt siehe Ankündigung im CMS

Vorlage

Fr, xx.xx.2017: Titel

Vortragende/r, Herkunftsorganisation, (eingeladen von Einladende/r)

Takustr. 9, Raum xx, 14:15 bis ca. 15:45

Zusammenfassung

Kolloquium in anderen Semestern

Nächstes Semester

Frühere Semester

Kommentare