Meet fellow proof assistant lovers!
Details
[Proof assistants are tools mathematicians or engineers use to verify correctness of proofs or implementions.]
Let's get together with everyone who uses proof assistants in the area, students, researchers or engineers. We can discuss our work or learning process with systems like Isabelle, Lean, Coq (Rocq), Idris, HOL, Isabelle, Agda, ... or many others.
In case there is interest, I booked a meeting room with beamer at 19h close to the restaurant neighborhood of Gent where we could also do some short presentations.
(Credits picture: Utrecht University)
Events in Gent, BE
Mathematics
Programming Languages
Computer Programming
Open Source
Scholarly Research Outside Academia