FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
DSV PROGRAM
Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120A: SAT/SMT Solving
Location: Ullmann 300
09:00
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis (abstract)
09:45
Democratizing SAT Solving (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 125B: Model Checking (I)
Location: Ullmann 300
11:00
Eldarica and TriCera: towards an open verification framework (abstract)
11:45
C2C-trans as a design methodology for software verification tools (abstract)
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 127B: Model Checking (II) and Synthesis
Location: Ullmann 300
14:00
Solving Constrained Horn Clauses Lazily and Incrementally (abstract)
14:45
Interaction Models vs. Formal Models: Synthesis Co-Design (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 131B: Industrial Use of Formal Methods
Location: Ullmann 300
16:00
Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges (abstract)
16:45
Achieving Verified Cloud Authorization (abstract)
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event