FMCAD 2021: FORMAL METHODS IN COMPUTER-AIDED DESIGN 2021
PROGRAM FOR THURSDAY, OCTOBER 21ST: TALK VIEW
Days:
previous day
next 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:00
Seny Kamara
12:05-13:20
Alexander Ivrii, Ofer Strichman
12:05-13:20
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
12:05-13:20
Petar Vukmirović, Jasmin Blanchette, Marijn Heule
12:05-13:20
Alex Ozdemir, Haoze Wu, Clark Barrett
13:40-14:55
Guy Amir, Michael Schapira, Guy Katz
13:40-14:55
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
13:40-14:55
Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis
13:40-14:55
Soham Chakraborty
15:15-16:15 Session 13