PROGRAM FOR THURSDAY, SEPTEMBER 24TH: SESSION VIEW
Days:
previous day
all days
View: with abstractstalk overview
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
17:00-18:00
Session 12
SAT / SMT
18:00-19:00
Session 13
Student Forum
19:10-20:05
Session 14
Theory and theorem proving
20:05-21:00
Session 15
Awards and Business meeting
19:00-19:10 Coffee Break