ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS
PROGRAM FOR FRIDAY, JUNE 2ND: TALK VIEW
Days:
previous 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
08:30-08:50
Fabian Vu, Michael Leuschel
09:10-09:30
Hao Wu, Zheng Cheng
09:30-09:50
S. Stock, F. Vu, D. Geleßus, M. Leuschel, A. Mashkoor, A. Egyed
09:50-10:20
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
12:45-13:00 CLOSING SESSION
10:30-10:45 Coffee Break
13:00-14:00 Lunch Break