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
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) |
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
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-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) |