06.06.2008

Vorträge: Moshe Y. Vardi

Im Rahmen der Kieler-Woche-Vorträge der CAU Kiel wird Prof. Dr. Dr. h.c. mult. Moshe Y. Vardi von der Rice University (Houston, Texas, USA) zwei Vorträge halten:

• Montag, 23. Juni 2008, 10:30 Uhr, Christian-Albrechts-Platz 3, Raum III:
  And Logic Begat Computer Science: When Giants Roamed the Earth
• Freitag, 27. Juni 2008, 14:15 Uhr, Ludewig-Meyn-Straße 2, Raum Ü2:
  Automated Verification = Graphs, Automata, and Logic