© Münze Österreich AG
To us, Vienna is known as a city of logic. But to many visitors, Vienna is better known as a city of music. And so, on Thursday evening the first of two VSL Joint Award Ceremony took place accompanied by the world premiere of Tribute to Kurt Gödel by Michael F.P. Huber and performed by the excellent Adamas String Quartet.
This VSL Joint Award Ceremony brought together the ceremonies of the Kurt Gödel Research Prize Fellowships (organized by the Kurt Gödel Society with support from the John Templeton Foundation) and part one of the 1st FLoC Olympic Games. Winners were awarded one of the prestigious Kurt Gödel medals. Last but not least, Moshe Vardi’s birthday was celebrated with a surprise FLoC-styled birthday cake. Congratulations to everyone!
The second VSL Joint Award Ceremony will take place on Monday July 21, 16:30–19:00 in Main Building, Kuppelsaal.
Kurt Gödel Research Prize Fellowships
-
- World premiere of “Tribute to Kurt Gödel” performed by Adamas string quartet
-
- Dana Scott awarding Marcin Sabok in the Logical Foundations of Mathematics category
-
- Dana Scott awarding Matteo Mio in the Logical Foundations of Computer Science category
-
- Dana Scott awarding Gianluigi Greco in the Logical Foundations of Artificial Intelligence category
-
- Winners of the the 2014 Kurt Goedel Research Prize Fellowships Competition
FLoC Olympic Games
-
- Winners of the 3rd Confluence Competition (CoCo 2014)
-
- Winners of the Configurable SAT Solver Challenge (CSSC 2014)
-
- Winners of the Ninth Max-SAT Evaluation (Max-SAT 2014)
-
- Winners of QBF Gallery 2014
-
- Winners of SAT Competition 2014 (SAT-COMP 2014)
Vardi Fest
-
- Moshe Vardi’s birthday cake
-
- Happy Birthday!
All photos © VSL 2014 / Photography: Nadja Meister