NFM 2024: 16TH NASA FORMAL METHODS SYMPOSIUM
PROGRAM FOR THURSDAY, JUNE 6TH: 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
14:30
15:00
15:30
16:00
16:30
17:00
09:00-10:00 Keynote Talk #3
10:55-11:20
Fabian Vu, Jannik Dunkelau, Michael Leuschel
11:20-11:45
Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Florin Baiduc, Nejib Ammar
11:45-12:00
Lukas Westhofen, Christian Neurohr, Danel Neider, Jean Christoph Jung
12:00-12:15
Joseph Slagel, Lauren White, Aaron Dutle, Cesar Munoz, Nicolas Crespo
14:00-14:25
G. Vazquez, A. Mavridou, M. Farrell, T. Pressburger, R. Calinescu
14:25-14:40
Andrew Schoer, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron
14:40-15:05
Tuck, Chen, Fainekos, Hoxha, Okamoto, Sastry, Seshia
16:15-16:40
John Hatcliff, Jason Belt, Robby, David Hardin
16:40-16:55
Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego
16:55-17:10 Closing Session
10:00-10:30 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break