Programme

3 contenus

Affiner ma recherche

Langages, programmation & logiciel

Les preuves circulaires : une récurrence sans fin ?

Denis Kuperberg

08/10/2026

Niveau avancé

Niveau 3 : Avancé

Langages, programmation & logiciel

Faites-vous confiance à votre thermostat ?

Lélio Brun

07/06/2022

Niveau facile

Niveau 1 : Facile

Langages, programmation & logiciel

L’avènement de la synthèse de programme

Nathanaël Fijalkow

02/03/2022

Niveau intermédiaire

Niveau 2 : Intermédiaire