SAT 2023: 26TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
PROGRAM FOR THURSDAY, JULY 6TH: TALK VIEW
Days:
previous day
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
19:30
20:00
20:30
21:00
21:30
09:30-10:00
Randal Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn Heule
10:00-10:30
Markus Kirchweger, Tomáš Peitl, Stefan Szeider
10:30-11:00
Tereza Schwarzová, Jan Strejček, Juraj Major
11:30-12:45 Awards Ceremony
14:00-14:30
Anshujit Sharma, Matthew Burns, Michael Huang
14:30-15:00
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
15:30-16:00
Adrian Rebola Pardo
16:00-16:30
Markus Anders, Pascal Schweitzer, Mate Soos
17:00-19:00 Guided Tour / Excursion
19:30-21:30 Social Dinner