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