PROGRAM FOR TUESDAY, SEPTEMBER 22ND: 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 4
Hardware Verification
18:00-18:55
Session 5
Software verification
19:05-20:00
Session 6
Invited talk I: Peter Schrammel
20:00-20:55
Session 7
Software verification + learning
18:55-19:05 Coffee Break