VSL 2014: VIENNA SUMMER OF LOGIC 2014

VSL PROGRAM

Days: Saturday, July 12th Sunday, July 13th Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th Saturday, July 19th Sunday, July 20th Monday, July 21st Tuesday, July 22nd Wednesday, July 23rd Thursday, July 24th

Saturday, July 12th
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Sunday, July 13th
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Monday, July 14th
08:45-09:15 Session 37: VSL Opening
Chair: Agata Ciabattoni
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Sabine Seidler
Welcome Address by the Rector (abstract)
08:50
Matthias Baaz, Thomas Eiter and Helmut Veith
Welcome Address by the Organizers (abstract)
08:55
Dana Scott
VSL Opening (abstract)
09:15-10:15 Session 38: VSL Keynote Talk
Chair: Georg Gottlob
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
09:15
Christos Papadimitriou
VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
20:00-21:30 Session 44: VSL Opening Reception
Location: Rathaus
Tuesday, July 15th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Chair: Moshe Vardi
Location: FH, Hörsaal 1
08:45
Orna Kupfermann
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
18:00-19:00 Session 54: SIGLOG Meeting (joint with FLoC)
Location: FH, Hörsaal 5
19:00-20:00 Session 56A: VSL Public Lecture 1
Location: MB, Kuppelsaal
19:00
Karl Sigmund
VSL Public Lecture: Gödel in Vienna (abstract)
Wednesday, July 16th
08:45-10:15 Session 57: VSL Keynote Talk
Chair: Matthias Baaz
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Alex Wilkie
VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
19:00-21:30 Session 64: VSL Banquet 1
Location: Schönbrunn
Thursday, July 17th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Chair: Moshe Vardi
Location: FH, Hörsaal 1
08:45
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel and Andrei Voronkov
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
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
Friday, July 18th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-18:00 Session 87D: FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (joint with 9 other meetings)
Location: EI, Foyer
09:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia and Andreas Steigmiller
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (abstract)
09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
David Cok, David Deharbe and Tjark Weber
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Saturday, July 19th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Chair: Helmut Veith
Location: FH, Hörsaal 1
08:45
Fahiem Bacchus, Armin Biere, Byron Cook, Joel Ouaknine, Karem Sakallah and Mirek Truszczynski
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)
Sunday, July 20th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Chair: Andrei Voronkov
Location: FH, Hörsaal 1
08:45
Véronique Cortier
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)
10:15-10:45Coffee Break
10:15-18:00 Session 126A: FLoC Olympic Games Big Screen: CASC Automated Theorem Proving System Competition (CASC-J7) (joint with 9 other meetings)
Location: FH, 2nd floor
10:15
Geoff Sutcliffe
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7) (abstract)
10:15-18:00 Session 126B: FLoC Olympic Games Big Screen: Termination Competition (termComp) (joint with 9 other meetings)
Location: FH, 2nd floor
10:15
Jürgen Giesl, Stefan von der Krone, Frederic Mesnard, Albert Rubio, René Thiemann and Johannes Waldmann
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014) (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 129G: FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (joint with 9 other meetings)
Location: FH, Hörsaal 2
14:30
Francesco Calimeri, Martin Gebser, Marco Maratea and Francesco Ricca
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (abstract)
16:00-16:30Coffee Break
19:00-21:30 Session 142: VSL Banquet 2
Location: Schönbrunn
Monday, July 21st
08:45-10:15 Session 144A: VSL Keynote Talk
Chair: Thomas Eiter
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Franz Baader
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
16:30-19:00 Session 151A: VSL Joint Award Ceremony 2
Chair: Helmut Veith
Location: MB, Kuppelsaal
16:30
Floc Olympic Games
FLoC Olympic Games Award Ceremony 2 (abstract)
18:00
Werner Depauli-Schimanovich
Lifetime Achievement Award (abstract)
18:10
Mingyi Zhang
Lifetime Achievement Award (abstract)
18:20
European Masters Program In Computational Logic
EMCL Distinguished Alumni Award (abstract)
18:30
Helmut Veith
FLoC Closing Week 2 (abstract)
19:00-20:00 Session 149A: VSL Public Lecture 2
Location: MB, Kuppelsaal
19:00
Friedrich Stadler
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)
Tuesday, July 22nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 156: VSL Keynote Talk
Chair: Helmut Veith
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Edmund Clarke
VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
18:00-19:00 Session 157: SIGLOG Meeting (joint with FLoC)
Location: FH, Hörsaal 8
Wednesday, July 23rd
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Thursday, July 24th
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Disclaimer | Powered by EasyChair Smart Program