Invited Speakers
Georg Gottlob
(Vienna University of Technology, Austria)
Title:
Hypergraph Transversals: Complexity and Applications
Yuri Gurevich
(Microsoft Research, Redmond, USA)
Title:
Abstract State Machines: An Overview of the Project