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, 2014
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Sunday, July 13th, 2014
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Monday, July 14th, 2014
08:45-09:15 Session 37: VSL Opening
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | Welcome Address by the Rector (abstract) |
| 08:50 | Welcome Address by the Organizers (abstract) |
| 08:55 | VSL Opening (abstract) |
09:15-10:15 Session 38: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 09:15 | 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
Tuesday, July 15th, 2014
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:
Location: FH, Hörsaal 1
| 08:45 | FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract) |
Monday, July 14th, 2014
20:00-21:30 Session 44: VSL Opening Reception
Location: Rathaus
Tuesday, July 15th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | VSL Public Lecture: Gödel in Vienna (abstract) |
Wednesday, July 16th, 2014
08:45-10:15 Session 57: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | 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
Thursday, July 17th, 2014
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:
Location: FH, Hörsaal 1
| 08:45 | FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract) |
Wednesday, July 16th, 2014
19:00-21:30 Session 64: VSL Banquet 1
Location: Schönbrunn
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
Friday, July 18th, 2014
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 | 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 | FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Saturday, July 19th, 2014
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:
Location: FH, Hörsaal 1
| 08:45 | 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
Sunday, July 20th, 2014
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:
Location: FH, Hörsaal 1
| 08:45 | FLoC Plenary Talk: Electronic voting: how logic can help? (abstract) |
Saturday, July 19th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)
Sunday, July 20th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | 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 | 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 | 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, 2014
08:45-10:15 Session 144A: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | 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
19:00-20:00 Session 149A: VSL Public Lecture 2
Location: MB, Kuppelsaal
| 19:00 | VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract) |
16:30-19:00 Session 151A: VSL Joint Award Ceremony 2
Chair:
Location: MB, Kuppelsaal
| 16:30 | FLoC Olympic Games Award Ceremony 2 (abstract) |
| 18:00 | Lifetime Achievement Award (abstract) |
| 18:10 | Lifetime Achievement Award (abstract) |
| 18:20 | EMCL Distinguished Alumni Award (abstract) |
| 18:30 | FLoC Closing Week 2 (abstract) |
Tuesday, July 22nd, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 156: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | 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, 2014
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Thursday, July 24th, 2014
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break