Titles for some talks are not disclosed and only for internal discussions.

March 10th–11th (IRIF)

Venue:
IRIF
Université Paris Cité
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13

March 10

• 10:00 am - 11:30 am: Verification Seminar
  • Chiao / Certifying Lyapunov Stability of Black Box Nonlinear Systems via Counter-Example Guided Synthesis
• Afternoon:
  • Outline the progress in each work package (WP)
  • Discuss the integrated case study on hybrid automata learning

March 11

• 2:00 pm - 4:30 pm
  • Concretize the content of the progress in each WP
  • Find target venues and decide the timeline for the integrated case study

March 13th–14th (Verimag)

Venue:
Bâtiment IMAG
Université Grenoble Alpes
700 Av. Centrale
38400 Saint-Martin-d’Hères

March 13

• 10:00 am - 12:00 pm:
  • Review publications from the project and discuss more directions for the coming year for WP1, WP2, and WP3
• 2:15 pm - 5:00 pm
  • Review publications from the project and discuss more directions for the coming year for WP4
  • TODO list to integrate existing tools to complete WP5

March 14

• 10:00 am - 12:00 pm:
  • Draw a class diagram for sharing components between existing HA learning approaches
• 2:00 pm - 5:00 pm:
  • Live coding session by Kohei and Masaki!!!