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
Alessandro Gianola
TBA (Invited Talk)
10:00
Matthias Baaz and Anela Lolic
First-Order Interpolation Derived from Propositional Interpolation (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 94M
11:00
Bahareh Afshari
TBA (Invited Talk)
12:00
Wesley Fussner and George Metcalfe
Interpolation via Finitely Subdirectly Irreducible Algebras (abstract)
12:15
Andrzej Indrzejczak and Michal Zawidzki
When iota Meets lambda (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 96M
14:00
Ken McMillan
TBA (Invited Talk)
15:00
Dirk Beyer, Nian-Ze Lee and Philipp Wendler
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification (abstract)
15:15
Adrian Rebola Pardo
Interpolants and Interference (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 97M
16:00
H. Jerome Keisler and Jeffrey M. Keisler
Application of Interpolation in Networks (abstract)
PRESENTER: H. Jerome Keisler
17:00-17:30 Session 99: Discussion
18:00-19:30Workshop Dinner (at the Technion) - Paid event