Collège de France

  • menu
  • FR
  • EN
  • Logiques de programmes : quand la machine raisonne sur ses logiciels Présentation
  • 04 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 04 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
  • 11 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 11 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
  • 18 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 18 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
  • 25 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 25 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
  • 01 avril 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 01 avril 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
  • 08 avril 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 08 avril 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
  • 15 avril 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
  • 15 avril 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy