FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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)
17:00
Interpolants and Interference (abstract)
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event