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

InformatikKolloquiumWiSe2018

Frühere Semester

InformatikKolloquiumWiSe2017
InformatikKolloquiumSoSe2017
InformatikKolloquiumWiSe2016
InformatikKolloquiumSoSe2016
InformatikKolloquiumWiSe2015
InformatikKolloquiumSoSe2015
InformatikKolloquiumWiSe2014
InformatikKolloquiumSoSe2014
InformatikKolloquiumSoSe2011
InformatikKolloquiumWiSe2010
InformatikKolloquiumSoSe2010
InformatikKolloquiumWiSe2009
InformatikKolloquiumSoSe2009
InformatikKolloquiumSoSe2008
InformatikKolloquiumWiSe2008
InformatikKolloquiumSoSe2007
InformatikKolloquiumWiSe2006
InformatikKolloquiumSoSe2006
InformatikKolloquiumWiSe2005
InformatikKolloquiumSoSe2005

---

Kommentare