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

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

09:00-10:30 Session 92E: Parallel algorithms
09:00
Peter Lammich
Refinement of Parallel Algorithms down to LLVM (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 95G: Parallel SAT solving
11:00
Kuldeep Meel
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving (abstract)
11:45
Max Heisinger
Dealing With Uncertainty Between Peers and Having the Best of Times With Distributed Systems
12:30-14:00Lunch Break
14:00-15:30 Session 97G: Parallel Theorem Proving & SAT solving
14:00
Julie Cailler
Goéland : A Concurrent Tableau-Based Theorem Prover (abstract)
14:45
Max Bannach
On the Parallel Parameterized Complexity of MaxSAT Variants (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 98G: Solver diversification & Discussion
18:00-19:30Workshop Dinner (at the Technion) - Paid event