VSL 2014: VIENNA SUMMER OF LOGIC 2014
HCVS PROGRAM
Thursday, July 17th, 2014

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

09:00-10:15 Session 64A: Opening + Invited Talk 1
Location: FH, Seminarraum 134A
09:00
Daniel Kröning
Invited talk: Proof and Refutations for Horn-clause Encodings of Reachability Problems (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 66AL: Technical Session
Location: FH, Seminarraum 134A
10:45
T.B.A
Please consult the program at http://vsl2014.at/hcvs (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 75AL: Invited Talk (joint with VPT)
Location: FH, Seminarraum 134A
14:30
Michael Leuschel
Invited talk: Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools (abstract)
15:30-16:00 Session 78C: Technical Session
Location: FH, Seminarraum 134A
15:30
T.B.A
Please consult the program at http://vsl2014.at/hcvs (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 80E: Technical Session + Discussion
Location: FH, Seminarraum 134A
16:30
T.B.A
Please consult the program at http://vsl2014.at/hcvs (abstract)
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter