Better Synthesis for Underspecified Quantitative Systems

BisoUS (ANR-22-CE48-0012 ) © 2023

Project meeting

Date and time

09/11/2023 09:00 09/11/2023 12:00

Localisation

INRIA Rennes / IRISA

  • Address :

    Campus de Beaulieu IRISA/Inria Rennes

    263 avenue du Général Leclerc
    35 042 RENNES cedex
    Entrée par le Bâtiment 12 F IRISA/Inria, allée Jean Perrin

  • Room :
  • Additional access informations -> link