IPRA PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:05-10:25 Session 121
Location: Ullmann 203
| 09:05 | Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems (abstract)  |
| 10:05 | Interpolation via Finitely Subdirectly Irreducible Algebras (abstract) PRESENTER: Wesley Fussner |
10:30-11:00Coffee Break
11:00-12:20 Session 125S
Location: Ullmann 203
| 11:00 | Interpolation and Completeness in the Modal Mu-Calculus (abstract) |
| 12:00 | When iota Meets lambda (abstract) PRESENTER: Michal Zawidzki |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:20 Session 127S
Location: Ullmann 203
| 14:00 | Interpolants and Transformational Proof Systems (abstract) |
| 15:00 | Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification (abstract) PRESENTER: Philipp Wendler |
15:30-16:00Coffee Break
16:00-17:20 Session 131P
Location: Ullmann 203
| 16:00 | Application of Interpolation in Networks (abstract) PRESENTER: H. Jerome Keisler |
| 17:00 | Interpolants and Interference (abstract) |
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event