IPRA 2022 PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:15 Session 91K
09:00 | TBA (Invited Talk) |
10:00 | First-Order Interpolation Derived from Propositional Interpolation (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 94M
11:00 | TBA (Invited Talk) |
12:00 | Interpolation via Finitely Subdirectly Irreducible Algebras (abstract) |
12:15 | When iota Meets lambda (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 96M
14:00 | TBA (Invited Talk) |
15:00 | Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification (abstract) |
15:15 | Interpolants and Interference (abstract) |
15:30-16:00Coffee Break
16:00-17:00 Session 97M
16:00 | Application of Interpolation in Networks (abstract) PRESENTER: H. Jerome Keisler |
18:00-19:30Workshop Dinner (at the Technion) - Paid event