IFM 2020: INTEGRATED FORMAL METHODS
PROGRAM FOR THURSDAY, NOVEMBER 19TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
10:30-10:50
Andreas Humenberger, Laura Kovacs, Nikolaj Bjorner
10:50-11:10
Safouan Taha, Lina Ye, Burkhart Wolff
11:10-11:30
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
13:00-13:20
Sanjeevan Sritharan, Thai Son Hoang
13:20-13:40
Guillaume Dupont, Yamine Ait Ameur, Marc Pantel, Neeraj Singh