Olivier Rioul: Stages LIESSE

Stage LIESSE

Logique, calculabilité, typage

N.B.: Ces descriptif et programme sont donnés à titre indicatif et peuvent évoluer.

Table des matières

Nouveautés
Informations générales
Synopsis
Programme
Documents /ou/ Actes
Bilan

Nouveautés

13 mai 2024 : arrêt des inscriptions. 15 inscrits.
2 mai 2024 : déjà 12 inscrits. Nous vous attendons plus nombreux !
24 avril 2024 : inscriptions ouvertes sur le site liesse.minesparis.psl.eu
8 avril 2024 : création de cette fiche.

Informations générales

Thème : Logique, calculabilité, typage
Date : jeudi 16 mai 2024
Type de stage : Cours
Auditoire attendu : les professeurs de mathématiques supérieures et spéciales, en mathématiques, physique, chimie, informatique et sciences de l'ingénieur.

Sont également invités, plus généralement, les enseignants ou enseignants-chercheurs intéressés de l'enseignement secondaire ou supérieur
(inscription libre mais obligatoire, voir ci-dessous).
Lieu : Télécom Paris, 19, place Marguerite Perey, 91120 Palaiseau (comment venir?).

Les exposés et pauses ont lieu en amphithéatre n° 5. Les buffets et cocktails de clôture ont lieu dans le grand hall.
Volume horaire et programmation : voir ci-dessous
Responsable pédagogique : David Madore, maître de conférences à Télécom Paris.
Contact : liesse@telecom-paris.fr
Intervenants : David Madore
Page Web de présentation : www.telecom-paris.fr/liesse/ [maintenue par Télécom Paris]
Seuil d'ouverture / Numerus clausus : 5 / ∞
Inscription (libre mais obligatoire) : de préférence en ligne sur le site liesse.minesparis.psl.eu

Synopsis

Ce stage présentera le contenu du cours Logique et Fondements de l'Informatique (INF110) créé en 2023–2024 à Télécom Paris en lien avec la filière MPI des classes préparatoires. Après un mot sur le contexte du cours et les choix pédagogiques, nous parlerons de calculabilité de Church-Turing et de la correspondance de Curry-Howard entre logique intuitionniste et le typage du λ-calcul ; si le temps le permet, nous dirons aussi un mot sur la réalisabilité propositionnelle.

Mots-clés : calculabilité, machines de Turing, lambda-calcul, logique intuitionniste, typage, correspondance de Curry-Howard

Programme

16 mai 2024 matin
- 9h30 - 10h00 Accueil et présentation [Directeur / responsable]
- 10h00 - 12h00 Introduction et calculabilité
16 mai 2024 après-midi
- 14h00 - 16h00 Logique et typage
- 16h30 Fin de séminaire

Actes /ou/ Documents

ensemble des transparents du cours INF110

Bilan d'évaluation

A venir : la synthèse des avis recueillis à la fin du stage (note sur 20 dans chaque catégorie), avec quelques commentaires écrits par les stagiaires.

non disponibles pour l'instant

dernière modification 24-avr-2024