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.
Schedule:
- 19:00-20:00: dinner near Vrijdagsmarkt
- 20:00-21:00: presentations and discussions
The meeting room is close to the restaurant neighborhood of Gent. If you want to present, there is a beamer as well.
(Credits picture: Utrecht University)
Events in Gent, BE
Mathematics
Programming Languages
Computer Programming
Open Source
Scholarly Research Outside Academia