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:9000@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260220T110000
DTEND;TZID=Europe/Paris:20260220T120000
DTSTAMP:20260219T164351Z
URL:https://www.i2m.univ-amu.fr/evenements/seminaire-rauzy-8/
SUMMARY:Richard MANDEL (Max Planck Institute for Software Systems à Kaiser
 slautern\, Allemagne): Un théorème de Boone-Higman pour le problème dio
 phantien
DESCRIPTION:Richard MANDEL: Pour un groupe G finiment engendré\, le célè
 bre théorème de Boone-Higman établit l'équivalence entre la décidabil
 ité de son problème du mot\, et l'existence d'un plongement de G dans un
  sous-groupe simple d'un groupe de présentation finie. Chose frappante\, 
 ceci fournit une caractérisation entièrement algébrique d'une propriét
 é algorithmique. Une question se pose donc naturellement : pour quels aut
 res problèmes algorithmiques peut-on trouver une telle caractérisation? 
 Sacerdote a donné une réponse partielle en étendant ce résultat à que
 lques autres problèmes de décision (par exemple le problème d'appartena
 nce à un sous-groupe). Nous démontrons une extension à une classe de pr
 oblèmes encore plus large\, comprenant notamment le problème diophantien
 . (Travail en commun avec Francesco Matucci.)
CATEGORIES:Séminaire,Rauzy
LOCATION:Saint-Charles - FRUMAM  (2ème étage)\, 3 Place Victor Hugo\, Mar
 seille\, 13003\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3 Place Victor Hugo\, Marse
 ille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=Saint-Charles - FRUMAM  (
 2ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR