BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6130@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220303T110000
DTEND;TZID=Europe/Paris:20220303T123000
DTSTAMP:20241120T200918Z
URL:https://www.i2m.univ-amu.fr/evenements/automates-implicites-en-%ce%bb-
 calcul-type/
SUMMARY:Lê Thành Dũng Nguyễn (IRISA\, Rennes): Automates implicites en
  λ-calcul typé
DESCRIPTION:Lê Thành Dũng Nguyễn: La correspondance preuves-programmes
  fait intervenir des langages de programmation totaux\, qui ne sont donc p
 as Turing-complets. Quels prédicats ou quelles fonctions peut-on définir
  par des termes d'un type idoine (pensez à « string -&gt\; bool ») dans
  de tels langages ? Le domaine de la complexité implicite (*) a montré q
 ue des classes de complexité intéressantes pouvaient être caractérisé
 es ainsi. De tels résultats s'appuient sur des systèmes de types délib
 érément conçus dans cette optique\, et souvent inspirés de la logique 
 linéaire.\n\n(*) Voir https://tel.archives-ouvertes.fr/tel-02978986\n\nDa
 ns le travail présenté ici\, nous portons notre attention sur des λ-cal
 culs typés (certains étant linéaires ou affines) introduits pour des ra
 isons initiales sans rapport avec la complexité implicite. Nous prétendo
 ns que des liens avec divers modèles de calcul à états finis (autrement
  dit\, des automates) émergent alors plus naturellement dans ce contexte 
 qu'avec la théorie de la complexité algorithmique.\n\nEn particulier\, c
 et exposé se concentrera sur les transducteurs\, c'est-à-dire les automa
 tes pouvant produire un mot en sortie\, qui sont un objet d'étude central
  des informaticien⋅ne⋅s d'à côté (équipe MoVe du LIS). Si le temps
  permet\, je pourrai mentionner également :\n\n 	une caractérisation des
  langages sans étoile au moyen du λ-calcul non commutatif (planaire) \;\
 n 	quelques pistes pour éclaircir de vieilles questions sur le λ-calcul 
 simplement typé \;\n 	les outils sémantiques mis en œuvre pour obtenir 
 ces résultats\, et leur lien avec la théorie catégorique des automates.
 \n\nCe travail est une collaboration avec Pierre Pradic (Lecturer à Swans
 ea University)\, et on pourra trouver un résumé un peu plus technique de
  nos recherches à l'adresse suivante : https://cs-web.swan.ac.uk/~pierrep
 radic/smp-abstract.pdf
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20211031T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR