Name: Meet fellow proof assistant lovers!
Start: 2025-10-27T19:00:00+01:00
End: 2025-10-27T21:00:00+01:00
Location: Jeugdraad

*[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](https://leanprover-community.github.io/learn.html), Coq ([Rocq](https://rocq-prover.org/)), 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)

Willem Vanhulle

Michiel Huttener

Systems Programming Ghent

Technology

Network Security

Professional Networking

Programming Languages

Entrepreneur Networking

Operating Systems

Software Architecture

Embedded Systems

Software Development

Software Security

Compilers

Computer Security

Open Source

Linux

Computer Programming

Meet fellow proof assistant lovers!

Mathematics

Scholarly Research Outside Academia

Jeugdraad

Delen

Dit evenement is geannuleerd

Systems Programming Ghent

Meet fellow proof assistant lovers!

Systems Programming Ghent

Details

Leden zijn ook geïnteresseerd in