Klagenfurt
Alpen-Adria-Universitaet Klagenfurt
46. Jahrestagung, Gesellschaft für Informatik e.V. (GI), Klagenfurt/Österreich
INFORMATIK 2016 > _Tag der Informatik
Tag der Informatik

28.9.2016, HS A

9:00-10:30h: Keynotes I - Joint INFORMATIK, KI and MATES 2016 Session

Begrüßung durch die Tagungsleitung

Moderation: Prof. Dr. Gerhard Friedrich, AAU Klagenfurt

From model checking to equilibrium checking
Prof. Dr. Michael Wooldridge, University of Oxford

Artificial Intelligence at the Gates of Dawn?
Prof. Dr. Thomas Eiter, Technische Universität Wien

11:00-12:30h: Keynotes II

Moderation: Prof. Dr. Martin Pinzger, AAU Klagenfurt

Security demands and attempts in the new digital world
Dr. Hanns-Thomas Kopf, Atos

Software verstehen, zerstören, schützen mit automatischen Software-Modellen
Prof. Dr. Andreas Zeller, Universität des Saarlandes

14:00-15:30h: Akademische Stunde

  • Grußworte der Tagungsorganisatoren und des GI-Präsidenten
  • Verleihung des GI-Dissertationspreises und Vortrag der Preisträgerin / des Preisträgers
  • Vorstellung und Ansprachen der Junior Fellows 2016
  • Verleihung des Fraunhofer ICT Dissertation Award

16:00-17:30h: Keynotes III

Moderation: Prof. Dr.Dr.h.c. Heinrich C. Mayr, AAU Klagenfurt

Forschung ohne Informatik – geht das?
Prof. Dr. Andreas Reuter, HITS, EML und Universität Heidelberg

IoT, Industrie 4.0 und Big Data: Herausforderungen für die Informatik und GI
Prof. Dr. Peter Liggesmeyer, Technische Universität Kaiserslautern

ab 19:00: Festbankett am Wörthersee

Gala Dinner, Vorstellung der GI Fellows 2016 und weiteres Programm.