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.

La session se composera de deux exposés de 14h à 16h15 et d’une discussion générale de 16h30 à 17h30.

Programme :

— 14h-15h — exposé de Baptiste Mélès (Archives Henri-Poincaré, CNRS) : La linguistique des assistants à la démonstration

La 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.

— 15h15-16h15 — exposé de Philippe de Groote (Loria) : Discours et démonstrations

Dans 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.

— 16h30-17h30 — discussion générale

Le 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).

Les organisateurs pour cette année sont Alexandre Afgoustidis (IECL), Alain Genestier (IECL), Yacin Hamami (AHP) et Sophie Tourret (LORIA).

Vous trouverez plus d’informations sur le séminaire sur le site https://reflexions-ul.github.io/

——————————

The 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.

The 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.

Program (for the abstracts see the French version above):

— 2:00–3:00 p.m. — talk by Baptiste Mélès (Archives Henri-Poincaré, CNRS): La linguistique des assistants à la démonstration

— 3:15–4:15 p.m. — talk by Philippe de Groote (Loria): Discours et démonstrations

— 4:30–5:30 p.m. — general discussion