Time-Aware Proof ASsistants (TAPAS)
  • Jobs
  • Partners
  • Posts
Partners

January 6, 2025

Laboratoire Informatique, Signaux et Systèmes de Sophia Antipolis (i3s)

  • Unit : UMR Université Côte d’Azur / CNRS
  • Team : Kairos team (Inria / i3S)
  • PI : Frédéric Mallet (Project Leader)
  • Members : Julien Deantoni, Marie-Agnes Peraldi-Frati
    © Time-Aware Proof ASsistants (TAPAS) 2025