16/04 au 17/04 - Ecole Polytechnique - Journées mathématiques XUPS 2026 - Vérification formelle de preuves - 70 présentiel

Aperçu de la section

• Sélectionner la section Description de la formation

  Description de la formation
  

  Tout replier Tout déplier

  Le lien suivant permet d’accéder à la page web de ces journées, que nous compléterons avec  titres, résumés (au plus tard en février) et textes des conférences. 

  http://www.math.polytechnique.fr/xups/xups.html

  L’inscription est gratuite et obligatoire, possible sur le lien suivant :

  https://indico.math.cnrs.fr/event/15500/registrations/1469/