Amphithéâtre Gilles Kahn
Sessions
- Session 2B (May 30 09:30-11:00) The Rodin Workshop session I
- Session 3B (May 30 11:30-13:00) The Rodin Workshop session II
- Session 5 (May 30 14:00-15:30) The Rodin Workshop session shared with IVOIRE Workshop
- Session 6B (May 30 15:45-17:30) The IVOIRE Worskhop
- Session 8 (May 31 09:00-09:30) OPENING SESSION
- Session 9 (May 31 09:30-10:30) Keynote Talk 1
- Session 10 (May 31 11:00-13:00) Proof and Model Engineering
- Session 11 (May 31 14:00-16:00) Security and Theory
- Session 12 (May 31 16:30-17:30) Keynote Talk 2
- Session 13 (Jun 01 09:00-11:00) ABZ 2023 Case Study AMAN
- Session 14 (Jun 01 11:30-12:30) Keynote Talk 3
- Session 15 (Jun 01 14:00-15:30) Modelling I
- Session 16 (Jun 01 16:00-17:00) Keynote Talk 4
- Session 18 (Jun 02 08:30-10:30) Validation
- Session 20 (Jun 02 11:45-12:45) Doctoral Session II
- Session 21 (Jun 02 12:45-13:00) CLOSING SESSION