BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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:20260403T140000
DTEND;TZID=Europe/Paris:20260403T173000
DTSTAMP:20260608T193253
CREATED:20260403T092819Z
LAST-MODIFIED:20260403T095601Z
UID:29187-1775224800-1775237400@www.loria.fr
SUMMARY:Séminaire « Réflexions »
DESCRIPTION:La prochaine session du séminaire « Réflexions » se tiendra le vendredi 3 avril 2026\, de 14h à 17h30\, dans la salle de réunion 2 au rez-de-chaussée du bâtiment des Archives Henri Poincaré\, 91 avenue de la Libération\, à Nancy. \nLa session se composera de deux exposés de 14h à 16h15 et d’une discussion générale de 16h30 à 17h30. \nProgramme :\n— 14h-15h — exposé de Baptiste Mélès (Archives Henri-Poincaré\, CNRS) : La linguistique des assistants à la démonstration \nLa linguistique ne semble rien avoir à nous apprendre sur les démonstrations formelles des assistants à la démonstration : ne connaît-on pas d’entrée de jeu en toute transparence tous les constituants de ce langage — à savoir son alphabet\, son lexique\, sa syntaxe et sa sémantique ? L’approche linguistique nous permettra pourtant de révéler quelques constituants cachés de ces langages formels : on distinguera dans l’alphabet une graphétique et une graphématique\, on montrera la structuration différentielle du lexique\, on étudiera la morphologie sous la syntaxe\, et on mettra au jour la pragmatique qui recouvre la sémantique : autant de caractéristiques qui rapprochent ces langages formels des langues humaines. \n— 15h15-16h15 — exposé de Philippe de Groote (Loria) : Discours et démonstrations \nDans cet exposé\, nous nous pencherons sur la structure linguistique des « mathématiques naturelles »\, c’est-à-dire les mathématiques telles qu’exprimées par les mathématiciens et mathématiciennes dans leurs écrits scientifiques. Nous nous pencherons plus particulièrement sur le cas des démonstrations mathématiques et expliquerons pourquoi celles-ci doivent être considérées comme des discours. Nous montrerons à l’aide de quelques exemples comment l’étude de la structure discursive des démonstrations peut suggérer de nouvelles manières de formaliser celles-ci. \n— 16h30-17h30 — discussion générale \nLe séminaire Réflexions est organisé conjointement par les Archives Henri Poincaré\, l’Institut Élie Cartan de Lorraine et le Loria (laboratoire lorrain de recherche en informatique et ses applications). \nLes organisateurs pour cette année sont Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (LORIA). \nVous trouverez plus d’informations sur le séminaire sur le site https://reflexions-ul.github.io/ \n—————————— \n  \nThe next session of the Réflexions seminar will be held on Friday\, April 3\, 2026\, from 2:00 p.m. to 5:30 p.m.\, in meeting room 2 on the ground floor of the Archives Henri Poincaré building\, 91 avenue de la Libération\, 54001 Nancy. \nThe session will consist of two talks from 2:00 p.m. to 4:15 p.m. and a general discussion from 4:30 p.m. to 5:30 p.m. \nProgram (for the abstracts see the French version above): \n— 2:00–3:00 p.m. — talk by Baptiste Mélès (Archives Henri-Poincaré\, CNRS): La linguistique des assistants à la démonstration \n— 3:15–4:15 p.m. — talk by Philippe de Groote (Loria): Discours et démonstrations \n— 4:30–5:30 p.m. — general discussion \n 
URL:https://www.loria.fr/event/seminaire_reflexions_04_26/
LOCATION:Archives Henri Poincaré
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR