PROGRAM FOR WEDNESDAY, SEPTEMBER 23RD: SESSION VIEW
Days:
previous day
next day
all days
View: with abstractstalk overview
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
17:00-18:00
Session 8
Verification and Neural Networks
18:00-18:55
Session 9
Applied Verification
19:05-20:00
Session 10
Invited Talk II: Orna Kupferman
20:00-20:30
Session 11
HWMCC
18:55-19:05 Coffee Break