WST PROGRAM
Days: Wednesday, July 18th Thursday, July 19th
Wednesday, July 18th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 124Q: Invited talk
Chair:
Location: Blavatnik Seminar Room 4
| 09:00 | Termination Checking and Invariant Synthesis for Affine Programs (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 126Q: Program termination and orderings (I)
Chair:
Location: Blavatnik Seminar Room 4
| 11:00 | Procedure-Modular Termination Analysis (abstract)   |
| 11:30 | GPO: A Path Ordering for Graphs (abstract) |
| 12:00 | Objective and Subjective Specifications (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 127Q: Program termination and orderings (II)
Chair:
Location: Blavatnik Seminar Room 4
| 14:00 | Comparing on Strings: Semantic Kachinuki Order (abstract) |
| 14:30 | Embracing Infinity - Termination of String Rewriting by Almost Linear Weight Functions (abstract) |
| 15:00 | Well-founded models in proofs of termination (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 129P: Termination Competition (report and short talks)
Chair:
Location: Blavatnik Seminar Room 4
19:15-21:30 Workshops dinner at Magdalen College
Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).
Location: Magdalen College
Thursday, July 19th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 130J: Invited talk
Chair:
Location: Blavatnik Seminar Room 4
| 09:00 | Towards a Unified Method for Termination (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 132J: Complexity
Chair:
Location: Blavatnik Seminar Room 4
| 11:00 | Complexity Analysis for Bitvector Programs (abstract) |
| 11:30 | A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving (abstract) |
| 12:00 | Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 134I: Complexity / Applications
Chair:
Location: Blavatnik Seminar Room 4
| 14:00 | Control-Flow Refinement via Partial Evaluation (abstract) |
| 14:30 | Verification of Rewriting-based Query Optimizers (abstract) |
| 15:00 | TTT2 with Termination Templates for Teaching (abstract) |
15:30-16:00Coffee Break
16:00-17:00 Session 136H: Higher-Order
Chair:
Location: Blavatnik Seminar Room 4
| 16:00 | Termination of Lambda-Pi modulo rewriting using the size-change principle (abstract) |
| 16:30 | Improving Static Dependency Pairs for Higher-Order Rewriting (abstract) |