VSL 2014: VIENNA SUMMER OF LOGIC 2014
WST PROGRAM

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

Thursday, July 17th, 2014

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

08:45-10:15 Session 62B: Non-Termination
Location: FH, Seminarraum 101B
08:45
Non-termination of Dalvik bytecode via compilation to CLP (abstract)
09:15
Geometric Series as Nontermination Arguments for Linear Lasso Programs (abstract)
09:45
Non-termination using Regular Languages (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 66AI: Invited Talk and Imperative Programs
Location: FH, Seminarraum 101B
10:45
Termination of Biological Programs (abstract)
11:45
On Improving Termination Preservability of Transformations from Procedural Programs into Rewrite Systems by Using Loop Invariants (abstract)
12:15
Automatic Termination Analysis for GPU Kernels (abstract)
12:45
Discussion (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AI: Ranking Functions and Complexity
Location: FH, Seminarraum 101B
14:30
To Infinity... and Beyond! (abstract)
15:00
Real-world loops are easy to predict : a case study (abstract)
15:30
Type Introduction for Runtime Complexity Analysis (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:00 Session 80C: New Frontiers
Location: FH, Seminarraum 101B
16:30
Ordering Networks (abstract)
17:00
Discussion (abstract)
Friday, July 18th, 2014

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

08:45-10:15 Session 86E: Fairness and Liveness
Location: FH, Seminarraum 101B
08:45
Fairness for Infinite-State Systems (abstract)
09:15
Reducing Deadlock and Livelock Freedom to Termination (abstract)
09:45
Specifying and verifying liveness properties of QLOCK in CafeOBJ (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-13:00 Session 90AH: SAT Encodings and Semantic Labelling
Location: FH, Seminarraum 101B
10:45
Automating Elementary Interpretations (abstract)
11:15
A Satisfiability Encoding of Dependency Pair Techniques for Maximal Completion (abstract)
11:45
Automated SAT Encoding for Termination Proofs with Semantic Labelling and Unlabelling (abstract)
12:15
A Solution to Endrullis-08 and Similar Problems (abstract)
12:45
Discussion (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AI: Term Rewriting Revisited
Location: FH, Seminarraum 101B
14:30
On the derivational complexity of Kachinuki orderings (abstract)
15:00
Kurth's Criterion H Revisited (abstract)
15:30
Another Proof for the Recursive Path Ordering (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AH: Discussion and Business Meeting
Location: FH, Seminarraum 101B
16:30
Discussion and Business Meeting (abstract)