VSL 2014: VIENNA SUMMER OF LOGIC 2014
PAS 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 64C: Opening + Invited Talk by Viorica Sofronie-Stokkermans
Location: FH, Seminarraum 138A
09:00
Hierarchical reasoning and quantifier elimination for the verification of parametric reactive and hybrid systems (abstract)
10:15-10:45Coffee Break
10:45-12:30 Session 66AN: Automated Debugging
Location: FH, Seminarraum 138A
10:45
An Attempt to Formalize Popper's Logic of Scientific Discovery (abstract)
11:30
A Model Theory for R-calculus without Cut (abstract)
12:00
RCK: A Software Toolkit for R-calculus (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AM: Invited Talk by Bruno Buchberger
Location: FH, Seminarraum 138A
14:30
The Theorema Approach to Mathematics (abstract)
15:00
A note on real quantifier elimination by virtual term substitution of unbounded degree (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
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)
16:30-18:30 Session 80G: Program Analysis
Location: FH, Seminarraum 138A
16:30
Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis (abstract)
17:00
Confluence of Pattern-Based Calculi with Finitary Matching (abstract)
17:30
The Verification of Conversion Algorithms between Finite Automata (abstract)
18:00
Source code profiling and classification for automated detection of logical errors (abstract)
Friday, July 18th, 2014

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

09:15-10:15 Session 88D: Invited Talk by Hoon Hong
Location: FH, Seminarraum 138A
09:15
Test-Input Generation using Computational Real Algebraic Geometry (abstract)
Thursday, July 17th, 2014

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

Friday, July 18th, 2014

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

10:15-10:45Coffee Break
10:45-12:45 Session 90AL: Symbolic Computation
Location: FH, Seminarraum 138A
10:45
Synthesis of Algorithms on Sets Represented as Monotone Lists (abstract)
11:15
New predicate transformer for symbolic modeling (abstract)
11:45
VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (abstract)
12:15
Symbolic Problem Solving With Bidirectional Executable Representations (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AN: Invited Talk by Michael Rusinowitch
Location: FH, Seminarraum 138A
14:30
Automated verification of security protocols and services (abstract)
15:30
Building explicit induction schemas for cyclic induction reasoning (abstract)
16:00-16:30Coffee Break
16:30-18:10 Session 99AM: Program Verification
Location: FH, Seminarraum 138A
16:30
A hybrid path constraint solver combined with meta-heuristic search (abstract)
17:00
Automatic App Testing of LTL Properties (abstract)
17:30
Programming Language Aggregation with Applications in Equivalence Checking (abstract)