FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PDAR 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 120G: Parallel algorithms
Chair:
Alfons Laarman
Location: Ullmann 303
09:00
Peter Lammich
Isabelle LLVM Parallel (abstract)
09:45
Anton Wijs
A Linear Parallel Algorithm to Compute Strong and Branching Bisimilarity (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 125K: Parallel SAT solving
Chair:
Alfons Laarman
Location: Ullmann 303
11:00
Mate Soos
Leveraging GPUs for Parallel SAT Solving (abstract)
11:45
Max Heisinger
Dealing With Uncertainty Between Peers and Having the Best of Times With Distributed Systems (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 127K: Parallel Theorem Proving & SAT solving
Chair:
Anton Wijs
Location: Ullmann 303
14:00
Julie Cailler
Goéland : A Concurrent Tableau-Based Theorem Prover (abstract)
14:45
Max Bannach
Structural Parameter Based Parallel Algorithms for Partially Weighted MaxSAT (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 131I: Solver diversification & Discussion
Chair:
Anton Wijs
Location: Ullmann 303
16:00
Markus Iser
Beyond Portfolios of Stable Solvers (abstract)
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event