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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230109T140000
DTEND;TZID=Europe/Paris:20230109T153000
DTSTAMP:20260405T175722
CREATED:20230103T155657Z
LAST-MODIFIED:20230103T155710Z
UID:17408-1673272800-1673278200@www.loria.fr
SUMMARY:Soutenance HDR : Mathieu Hoyrup (Mocqua)
DESCRIPTION:Mathieu Hoyrup (Mocqua) will defend his « Habilitation à Diriger des Recherches »\, on Monday\, 9th January at 2pm in room C005. \nHis presentation will be in English and is entitled « Topological Aspects of Representations in Computable Analysis ». \nRapporteur(e)s :\n– Olivier Bournez\, LIX\, École Polytechnique\n– Vasco Brattka\, Universität der Bundeswehr München\n– Elvira Mayordomo\, Universidad de Zagaroza\n\nExaminateurs :\n– Julien Cervelle\, LACL\, Université Paris-Créteil Est\n– Olivier Finkel\, Institut de Mathématiques de Jussieu-Paris Rive Gauche\n– Emmanuel Jeandel\, LORIA\, Université de Lorraine\n\n\nTitre : Aspects Topologiques des Représentations en Analyse Calculable\nRésumé : L’analyse calculable permet de formaliser le traitement algorithmique d’objets mathématiques infinis. La théorie repose sur une représentation symbolique des objets\, dont le choix détermine les capacités de calcul de la machine\, notamment sa difficulté à résoudre chaque problème donné. La friction entre le caractère discret du calcul et la nature continue des objets est capturée par la topologie\, qui exprime l’idée d’approximation finie d’objets infinis.\nNous étudions en profondeur les multiples interactions entre calcul et topologie\, cherchant à analyser l’information qui peut être extraite algorithmiquement d’une représentation. Je me penche plus particulièrement sur la comparaison entre deux représentations d’une même famille d’objets\, sur les liens détaillés entre complexité algorithmique et topologique des problèmes\, ainsi que sur les relations entre représentations finies et infinies.\n\nTitle : Topological Aspects of Representations in Computable Analysis\nAbstract : Computable analysis provides a formalization of algorithmic computations over infinite mathematical objects. The central notion of this theory is the symbolic representation of objects\, which determines the computation power of the machine\, and has a direct impact on the difficulty to solve any given problem. The friction between the discrete nature of computations and the continuous nature of mathematical objects is captured by topology\, which expresses the idea of finite approximations of infinite objects.\nWe thoroughly study the multiple interactions between computations and topology\, analysing the information that can be algorithmically extracted from a representation. In particular\, we focus on the comparison between two representations of a single family of objects\, on the precise relationship between algorithmic and topological complexity of problems\, and on the relationship between finite and infinite representations.
URL:https://www.loria.fr/event/soutenance-hdr-mathieu-hoyrup-mocqua/
LOCATION:C005
CATEGORIES:HDR
END:VEVENT
END:VCALENDAR