FMCAD 2021: FORMAL METHODS IN COMPUTER-AIDED DESIGN 2021
PROGRAM FOR FRIDAY, OCTOBER 22ND: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
11:00-12:15
Neta Bar Kama, Roope Kaivola
11:00-12:15
Vedad Hadžić, Roderick Bloem
13:40-14:55
Marton Hajdu, Petra Hozzová, Laura Kovacs, Andrei Voronkov
13:40-14:55
Mikolas Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds
13:40-14:55
Ankit Kumar, Panagiotis Manolios
13:40-14:55
Antti Hyvärinen, Matteo Marescotti, Natasha Sharygina
13:40-14:55
Michael Rawson, Giles Reger
15:15-16:15 Session 17