SAT 2023: 26TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
PROGRAM FOR WEDNESDAY, JULY 5TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
09:15-09:30 Opening Remarks
09:30-09:50
Neng-Fa Zhou, Ruiwei Wang, Roland Yap
09:50-10:20
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
10:20-10:50
Andrew Haberlandt, Harrison Green, Marijn Heule
14:50-15:20
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
16:00-16:30
Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann
16:30-17:00
Dror Fried, Alexander Nadel, Yogev Shalmon
17:00-17:30
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
17:45-19:00 Welcome Reception