PROGRAM FOR TUESDAY, JANUARY 12TH: SESSION VIEW
Days:
next day
all days
View: with abstractstalk overview
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
17:05-17:15
Session 2
Breakout (CET time)
17:15-18:15
Session 3A
SAT Solving (CET Time)
18:15-18:30
Session 4
Breakout (CET time)
18:30-19:30
Session 5A
SAT and Proofs (CET Time)