Scala
λ
C++
F#
λ
Π
λ
Coq
Erlang
Λ
Π
λ
C++
ML
Idris
Φ
Ψ
Ψ
Δ

Events

Events about topics in systems programming, taking place near Ghent (Belgium). Subscribe to new events through our Atom news feed.

Upcoming Events

Date Title Description
Thursday, 2025-07-17 Solving puzzles with Lean Solve logical puzzles with the Lean theorem prover.
Monday, 2025-06-23 Connect and Unwind Come relax, share ideas, and enjoy some drinks in a friendly atmosphere.

Past Events

Date Title Description
Wednesday, 2025-06-04 Grow smarter with embedded Rust Create your own smart plant pot with a Pico microcontroller, Rust and Embassy.
Tuesday, 2025-04-01 Functional Programming Explore the principles and applications of functional programming in modern software development.
Tuesday, 2025-01-21 Tech talks Introduce your favorite systems programming side-project to colleagues.
Wednesday, 2024-12-18 Launch event Meet and greet systems programmers in a cozy bar near the city center.