HSCC'17: HSCC'17: 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK)
PROGRAM FOR TUESDAY, APRIL 18TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
10:55-11:20
Joel Ouaknine, Joao Sousa Pinto, James Worrell
11:20-11:45
Shoukry, Nuzzo, Sangiovanni-Vincentelli, Seshia, Pappas, Tabuada
14:20-14:45
L. Laurenti, A. Abate, L. Bortolussi, M. Kwiatkowska, L. Cardelli, M. Ceska
14:45-15:00
Nima Roohi, Yu Wang, Matthew West, Geir Dullerud, Mahesh Viswanathan
16:15-16:40
David Angeli, Matthew Philippe, Nikolaos Athanasopoulos, Raphaƫl Jungers
17:30-20:00 Demos + Posters Cocktail (shared CPSWeek event)
10:00-10:30 Coffee Break
12:10-13:30 Lunch Break
15:20-15:50 Coffee Break