FMCAD 2020: FORMAL METHODS IN COMPUTER AIDED DESIGN
PROGRAM FOR WEDNESDAY, SEPTEMBER 23RD: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
17:00-17:15
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
17:15-17:30
Wu, Ozdemir, Zeljić, Julian, Irfan, Gopinath, Fouladi, Katz, Pasareanu, Barrett
17:30-17:45
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
17:45-18:00
Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
18:00-18:15
Lauren Pick, Grigory Fedyukovich, Aarti Gupta
18:15-18:30
Lahiri, Lal, Nutz, Gopinath, Levin, Kumar, Deisinger, Bansal, Lichtenberg
18:30-18:40
Vasileios Klimis, George Parisis, Bernhard Reus
18:40-18:55
Cook, Doebel, Kroening, Manthey, Pohlack, Polgreen, Tautschnig, Wieczorkiewicz
19:05-19:35
Orna Kupferman
20:00-20:30 HWMCC
18:55-19:05 Coffee Break