BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221010
DTEND;VALUE=DATE:20221013
DTSTAMP:20260406T120328
CREATED:20220711T152612Z
LAST-MODIFIED:20220711T152612Z
UID:16395-1665360000-1665619199@www.loria.fr
SUMMARY:Journées du GT Calculabilités 2022
DESCRIPTION:Les journées du groupe de travail Calculabilités auront lieu au Loria du 10 au 12 octobre 2022\, en salle C005. \nCes journées ont pour but de rassembler des chercheurs de France et d’ailleurs autour de la notion de calculabilité au sens très large du terme. Cela inclut notamment : \n\nCalculabilité classique (réductions\, degrés\, méthodes de priorité\, etc.)\nAutres modèles de calculs : modèles géométriques (pavages\, machines à signaux)\, modèles algébriques (Abstract State Machines)\, modèles dynamiques et distribués (automates cellulaires\, protocoles de population\, tas de sable\, etc)\, calcul à temps continu\, calcul à temps ordinal\, calcul sur les structures infinies (réels\, ordres)\nApplications et interactions de la calculabilité avec les domaines suivants: mathématiques constructives/calculables\, cryptologie\, virologie\, théorie de l’information et de l’aléatoire (complexité de Kolmogorov)\, complexité algorithmique\, théorie des modèles\, théorie de la preuve et mathématiques à rebours\, théorie des ensembles (modèles intérieurs\, forcing\, théorie descriptive\, détermination)\, théorie des domaines.\n\nPlus d’informations sur gtc2022.sciencesconf.org
URL:https://www.loria.fr/event/journees-du-gt-calculabilites-2022/
LOCATION:C005
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR