PDAR-21 Program

PDAR-21 PROGRAM

Sunday, July 11th

View this program: with abstracts session overview talk overview side by side with other conferences

08:00-10:00 Session 2C: PDAR Workshop: Practical Experience

Chair:

08:00	Max Heisinger The Networked Uncertainty Principle, or How I Stopped Worrying and Love Local Tracing
08:30	Tom van Dijk Demonstrating Work-stealing with Lace and its Application in Sylvan
09:00	Muhammad Osama GPU SAT Solving
09:30	Giles Reger Hacking Shared Memory Parallelism in Vampire

10:00-10:30Break

10:30-12:00 Session 4C: PDAR Workshop: New Directions

Chair:

Anton Wijs

Location: ZoomRoom 3

10:30	Alfons Laarman Parallel Probabilistic Inference
11:00	Michael Rawson Parallel Tricks for Speedy Learned Guidance
11:30	Alex Ozdemir Constraint Solving in the Serverless Cloud

12:00-12:30Break

12:30-14:00 Session 6C: PDAR Workshop: Discussion

This will be a structured discussion session arranged around submitted discussion points. The structure will depend on the number of participants. A list of discussion points will be posted on the PDAR website before the session. If you have a discussion point you would like to raise then please contact the chairs.

Chair:

Giles Reger

Location: ZoomRoom 3

14:00-14:30Break