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:7003@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20190620T110000
DTEND;TZID=Europe/Paris:20190620T123000
DTSTAMP:20241120T202646Z
URL:https://www.i2m.univ-amu.fr/evenements/charles-grellois-sur-la-termina
 ison-des-programmes-probabilistes-recursifs-dordre-superieur/
SUMMARY:Charles Grellois (LIS\, LIRICA team\, Aix-Marseille Université): S
 ur la terminaison des programmes probabilistes récursifs d'ordre supérie
 ur
DESCRIPTION:Charles Grellois: Au cours des vingt dernières années\, il y 
 a eu beaucoup de progrès sur le model-checking des programmes probabilist
 es et des programmes fonctionnels\, mais le model-checking des programmes 
 qui sont à la fois fonctionnels et probabilistes n'a pas reçu d'intérê
 t\, alors que de tels programmes commencent à émerger dans des langages 
 de programmation comme Church ou Anglican. Nous avons donc travaillé sur 
 ce problème\, et avons introduit les schémas de récursion d'ordre supé
 rieur probabilistes (PHORS) pour modéliser les programmes fonctionnels pr
 obabilistes. On peut également voir les PHORS comme des généralisations
  des chaînes de Markov récursives d'Etessami et de Yannakakis. Nous avon
 s\, dans cette première approche\, considéré le problème de la termina
 ison probabiliste\, qui équivaut à la question de l'accessibilité proba
 biliste. Nous avons montré que la question est indécidable dès l'ordre 
 2. Nous avons donné une caractérisation de la terminaison à l'aide de p
 oints fixes\, et développé une méthode adéquate (mais peut-être incom
 plète) pour calculer de façon approximée la probabilité de terminaison
  d'un PHORS d'ordre 2.\nCe travail a été réalisé par Naoki Kobayashi\,
  Ugo Dal Lago et Charles Grellois.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Charles_Grellois.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20190331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR