VSL 2014: VIENNA SUMMER OF LOGIC 2014
SMT PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th, 2014

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

09:00-10:15 Session 64E: Welcome and Invited Talk
Chair:
Philipp Rümmer
Location: FH, Seminarraum 104
09:00
Philipp Rümmer
Welcome (abstract)
09:15
Clark Barrett
SMT: Where do we go from here? (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 66AT: Program Analysis and Sets
Chair:
Pascal Fontaine
Location: FH, Seminarraum 104
10:45
Daniel J. Fremont and Sanjit A. Seshia
Speeding Up SMT-Based Quantitative Program Analysis (abstract)
11:15
Hristina Palikareva and Cristian Cadar
Multi-solver Support in Symbolic Execution (abstract)
11:45
Mats Carlsson, Olga Grinchtein and Justin Pearson
Protocol log analysis with constraint programming (abstract)
12:15
Edmund Soon Lee Lam and Iliano Cervesato
Reasoning About Set Comprehensions (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AU: Arrays and Polymorphism
Chair:
Clark Barrett
Location: FH, Seminarraum 104
14:30
Juergen Christ and Jochen Hoenicke
Weakly Equivalent Arrays (abstract)
15:00
Francesco Alberti, Silvio Ghilardi and Natasha Sharygina
Decision Procedures for Flat Array Properties (abstract)
15:30
Richard Bonichon, David Déharbe and Cláudia Tavares
Extending SMT-LIB v2 with lambda-terms and polymorphism (abstract)
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)
16:30-18:00 Session 80M: Discussions on demand
Chair:
Christoph M. Wintersteiger
Location: FH, Seminarraum 104
Friday, July 18th, 2014

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

09:15-10:15 Session 88F: Invited Talk
Chair:
Christoph M. Wintersteiger
Location: FH, Seminarraum 104
09:15
Guillaume Melquiond
Automating the verification of floating-point algorithms (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
10:45-13:00 Session 90AW: Arithmetic
Chair:
Martin Brain
Location: FH, Seminarraum 104
10:45
Tim King, Clark Barrett and Cesare Tinelli
Leveraging Linear and Mixed Integer Programming for SMT (abstract)
11:15
To Van Khanh, Vu Xuan Tung and Mizuhito Ogawa
raSAT: SMT for Polynomial Inequality (abstract)
11:45
Marek Kosta, Thomas Sturm and Andreas Dolzmann
Better Answers to Real Questions (abstract)
12:15
Konstantin Korovin, Marek Kosta and Thomas Sturm
Towards Conflict-Driven Learning for Virtual Substitution (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AW: SMT-COMP and SMT-EVAL Presentations
Chair:
Philipp Rümmer
Location: FH, Seminarraum 104
16:00-16:30Coffee Break
16:30-18:00 Session 99AT: SMT-LIB Discussion and Business Meeting
Chair:
Cesare Tinelli
Location: FH, Seminarraum 104