ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS
PROGRAM FOR TUESDAY, MAY 30TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

8:30
9:00
9:30
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
20:30
21:00
21:30
22:00
22:30
23:00
08:30-09:00 Registration for tutorials and workshops
09:30-09:45
Guillaume Verdier, Laurent Voisin, Idir Ait-Saddoune
09:45-10:15
Peter Riviere, Neeraj Singh, Yamine Ait-Ameur, Guillaume Dupont
10:15-11:00
Jean-Raymond Abrial, Dominique Cansell
11:50-12:10
Son Hoang, D. Dghaym, Colin Snook, D. Dghaym, Michael Butler
13:30-15:30
Alcino Cunha, Nuno Macedo
14:30-14:35
Atif Mashkoor
15:45-16:15
Sebastian Stock
16:15-16:45
Jean-Pierre Jacquot
17:15-17:30
Atif Mashkoor
11:00-11:30 Coffee Break
13:00-14:00 Lunch Break
15:30-15:45 Coffee Break
20:00-23:00 Dinner in Nancy at the Grand Café Foy, 1 Place Stanislas