VSL 2014: VIENNA SUMMER OF LOGIC 2014
KINAR PROGRAM
Thursday, July 17th, 2014
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Matthias Baaz
Location: MB, Kuppelsaal
16:30
Kurt Gödel Research Prize Fellowships Program
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
Floc Olympic Games
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
Helmut Veith
FLoC Closing Week 1 (abstract)
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter