CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
PDAR-21 ON SUNDAY, JULY 11TH

View: session overviewtalk overviewside by side with other conferences

08:00-10:00 Session 2C: PDAR Workshop: Practical Experience
Location: ZoomRoom 3
08:00
The Networked Uncertainty Principle, or How I Stopped Worrying and Love Local Tracing
08:30
Demonstrating Work-stealing with Lace and its Application in Sylvan
09:00
GPU SAT Solving
09:30
Hacking Shared Memory Parallelism in Vampire
10:00-10:30Break
10:30-12:00 Session 4C: PDAR Workshop: New Directions
Chair:
Location: ZoomRoom 3
10:30
Parallel Probabilistic Inference
11:00
Parallel Tricks for Speedy Learned Guidance
11:30
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.

Location: ZoomRoom 3
14:00-14:30Break