VSL 2014: VIENNA SUMMER OF LOGIC 2014

WST ON FRIDAY, JULY 18TH: TALK VIEW

Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
08:45-09:15
Fairness for Infinite-State Systems
Byron Cook, Heidy Khlaaf, Nir Piterman
09:15-09:45
Reducing Deadlock and Livelock Freedom to Termination
Byron Cook, Stephen Magill, Matthew Parkinson, Thomas Stroeder
09:45-10:15
Specifying and verifying liveness properties of QLOCK in CafeOBJ
Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
10:45-11:15
Automating Elementary Interpretations
Harald Zankl, Sarah Winkler, Aart Middeldorp
11:15-11:45
A Satisfiability Encoding of Dependency Pair Techniques for Maximal Completion
Haruhiko Sato, Sarah Winkler
11:45-12:15
Automated SAT Encoding for Termination Proofs with Semantic Labelling and Unlabelling
Alexander Bau, René Thiemann, Johannes Waldmann
12:15-12:45
A Solution to Endrullis-08 and Similar Problems
Alfons Geser
12:45-13:00
Discussion
Everyone
14:30-15:00
On the derivational complexity of Kachinuki orderings
Dieter Hofbauer
15:00-15:30
Kurth's Criterion H Revisited
Alfons Geser
15:30-16:00
Another Proof for the Recursive Path Ordering
Nachum Dershowitz
16:30-17:30
Discussion and Business Meeting
Everyone
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program