- Cet évènement est passé.
Séminaire « Réflexions »
The next « réflexions » seminar will be this Friday at 4:00 pm (take note of the unusual schedule)
This will be a remote talk from Emily Riehl (Johns Hopkins University) about A reintroduction to proofs
__________________________________
Le prochain séminaire « réflexions » se tiendra ce vendredi (19 juin 2026) à 16 heures (attention horaire inhabituel).
Exceptionnellement l’exposé aura lieu à distance, ce qui nous permettra d’écouter Emily Riehl (Johns Hopkins University). Son exposé a pour titre :
A reintroduction to proofs
Pour celles et ceux qui souhaiteraient assister à l’exposé ensemble depuis l’IECL-Nancy, vous pouvez retrouver une partie d’entre nous en salle 501. / The abstract and url of the talk follow. For those who wish to attend in person, there will be a diffusion in room 501 of IECL.
A reintroduction to proofs
This talk proposes a shift in the implicit foundations of mathematics from set theory and logic to dependent type theory (where the primitive notion of “type” replaces both sets and propositions). While these new foundations are more complex, we contend they make it easier for students to learn to write correct proofs and for professionals to communicate precise mathematical ideas to other humans or to a computer.
Here the “computer” refers to a computer proof assistant. This talk will advertise a Lean game I made in Fall 2025 while teaching a first year seminar course along these lines available here.
—
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/
