FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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)
18:00-19:30Workshop Dinner (at the Technion) - Paid event