Dear all, I have the pleasure to announce the creation of a working group dedicated to proof assistants and their use at ENS de Lyon. Depending on the sessions, it will target audiences from novices to experts, and may involve different proof assistants: we will strive to tag talks with the approp…

**Physical location** Room MGN1 109 (1st floor, south wing) ENS de Lyon, site Monod 46 allée d’Italie, 69007 Lyon **Virtual location** https://webinaire.numerique.gouv.fr/meeting/signin/invite/70354/creator/23124/hash/9e2b65a304cf6bdfd368747aac76d56c5f59f630

Reminder: the second seminar is here: [image] Feb 23: Proof Assistant WG at ENS de Lyon Announcements Dear all, It is our pleasure to announce the second session of our working group dedicated to proof assistants and their use at ENS de Lyon, two weeks from no…

Reminder, the third seminar is here: [image] March 23: Proof Assistant WG at ENS de Lyon Announcements Dear all, It is our pleasure to announce the third session of our working group dedicated to proof assistants and their use at ENS de Lyon, next week from n…

Reminder, the fourth seminar is here: [image] April 20: Proof Assistant Seminar at ENS de Lyon Announcements Dear all, It is our pleasure to announce the fourth session of our working group dedicated to proof assistants and their use at ENS de Lyon, next week …

New proof assistant working group at ENS de Lyon

Announcements

CohenCyril April 15, 2026, 8:04am 5

Reminder, the fourth seminar is here:

Topic		Replies	Views
April 20: Proof Assistant Seminar at ENS de Lyon Announcements	0	36	April 15, 2026
Feb 23: Proof Assistant WG at ENS de Lyon Announcements	1	115	March 18, 2026
March 23: Proof Assistant WG at ENS de Lyon Announcements	0	52	March 17, 2026
Coq Working Group June 2022 Developing the Rocq Prover	4	554	May 11, 2022
Online Coq Working Group Developing the Rocq Prover	1	1057	May 5, 2020

New proof assistant working group at ENS de Lyon

Related topics