BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.3.1//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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260126T110000
DTEND;TZID=Europe/Paris:20260126T130000
DTSTAMP:20260121T164100Z
CREATED:20251202T094348Z
LAST-MODIFIED:20260121T164100Z
UID:28721-1769425200-1769432400@www.loria.fr
SUMMARY:Colloquium du Loria : Laura Kovács
DESCRIPTION:The Loria is proud to announce a colloquium presentation by Laura Kovács on \nInduction and synthesis in saturation-based theorem proving.\nLaura Kovács is a professor at the Faculty of Informatics of Vienna University of Technology (Vienna\, Austria) and a leading researcher in the field of automated reasoning and symbolic computation. \nAbstract:\nProof by induction is commonplace in mathematics. logic\, formal verification\, cybersecurity\, and many more areas. This talk overviews recent progress in automating inductive reasoning in saturation-based first-order theorem proving We formalize applications of induction as new inference rules of the saturation process\, add instances of appropriate induction schemata to the search space\, and use these rules and instances immediately upon their addition for the purpose of guiding induction. We also synthesize code that satisfies a given (inductive) logical specification\, while proving the specification in a saturation-based framework. \n  \nPeople from outside the Loria must register by sending an email to Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  before January 25th.\nLes visiteurs devront se munir de leur pièce d’identité. \n——————————————————————————– \n\n\nLes membres du Loria sont fiers d’accueillir Laura Kovács\, qui présentera un exposé intitulé :  \nInduction and synthesis in saturation-based theorem proving.\nLaura Kovács\, professeure à la Faculté d’Informatique de l’Université de Technologie de Vienne (Autriche)\, est une chercheuse de premier plan dans le domaine du raisonnement automatisé et du calcul symbolique.  \nRésumé :  \nLa démonstration par induction est courante en mathématiques\, en logique\, en vérification formelle\, en cybersécurité et dans de nombreux autres domaines. Cette conférence présente les progrès récents en matière d’automatisation du raisonnement inductif dans la démonstration de théorèmes du premier ordre par saturation. Nous formalisons les applications de l’induction sous forme de nouvelles règles d’inférence du processus de saturation\, ajoutons des instances de schémas d’induction appropriés à l’espace de recherche et utilisons ces règles et instances dès leur ajout afin de guider l’induction. Nous synthétisons également du code qui satisfait une spécification logique (inductive) donnée\, tout en démontrant cette spécification dans un cadre basé sur la saturation. \n\n\nLes personnes extérieures au Loria doivent s’inscrire en envoyant un mail à Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  avant le 25 janvier.\nLes visiteurs devront se munir de leur pièce d’identité.
URL:https://www.loria.fr/event/colloquium-du-loria-laura-kovacs/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
END:VCALENDAR