Veranstaltungen

09. Juli 2014 bis 24. Juli 2014 ganztags

Vienna Summer of Logic

Konferenz

Der "Vienna Summer of Logic" vom 9. bis zum 24. Juli wird von der Kurt Gödel Society organisiert. Er ist in drei Themenblocks gegliedert: Informatik (Leitung: Prof. Helmut Veith), künstliche Intelligenz (Leitung: Prof. Thomas Eiter) und mathematische Logik (Leitung: Prof. Matthias Baaz, Chair des Vienna Summer of Logic). Zahlreiche berühmte Persönlichkeiten aus der Forschung werden erwartet – unter ihnen die Turing-Preis-Gewinner Edmund Clarke und Dana Scott. Insgesamt werden 2.500 TeilnehmerInnen erwartet. In einer Logik-Olympiade werden Computerprogramme gegeneinander antreten. Drei mit jeweils 100.000 Euro dotierte Stipendien der Kurt Gödel Gesellschaft werden vergeben.

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Ja

 

Anmeldung erforderlich

Ja