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 now. The working group will be hybrid, see the locations at the bottom of the mail. Detailed schedule for Feb 23rd, 2026 with talks from Quent…

FYI [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 now. The working group will be hybr…

Feb 23: Proof Assistant WG at ENS de Lyon

Announcements

CohenCyril March 18, 2026, 2:50pm 2

FYI

Topic		Replies	Views
New proof assistant working group at ENS de Lyon Announcements	3	254	March 17, 2026
March 23: Proof Assistant WG at ENS de Lyon Announcements	0	48	March 17, 2026
Proof Assistants SE Announcements	1	938	March 16, 2022
RocqPL call for presentation Announcements cfp	1	102	October 24, 2025
Rocqshop 2025 call for presentations Announcements	2	165	July 15, 2025

Feb 23: Proof Assistant WG at ENS de Lyon

Related topics