FMCAD 2020: FORMAL METHODS IN COMPUTER AIDED DESIGN
PROGRAM FOR THURSDAY, SEPTEMBER 24TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
17:00-17:15
Vincent Liew, Paul Beame, Jakob Nordstrom, Jan Elffers, Jo Devriendt
17:15-17:30
Alexander Nadel
17:45-18:00
Andrew Reynolds, Andres Noetzli, Clark Barrett, Cesare Tinelli
18:00-18:05
Yizhak Elboher, Guy Katz, Justin Gottschlich
18:10-18:15
Thomas Pani, Georg Weissenbacher, Florian Zuleger
18:15-18:20
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza
18:25-18:30
Aalok Thakkar, Kedar Namjoshi, Richard Trefler
18:35-18:40
Claudia Cauli
19:10-19:25
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
19:40-19:55
Pamina Georgiou, Bernhard Gleiss, Laura Kovacs
19:55-20:05
Daniela Kaufmann, Mathias Fleury, Armin Biere
20:05-21:00 Awards and Business meeting
19:00-19:10 Coffee Break