Software Engineering Events in Leiden
This is the widest category on Brainberg, because software engineering itself spans a huge range of events: language user groups (Python, Rust, Go, TypeScript, Kotlin, Elixir, Ruby, Zig), framework communities (React, Svelte, Next.js, Vue, Laravel, Django, NixOS), backend architecture tracks, testing and QA tracks (ISTQB certification courses, mutation testing, test-automation workshops), refactoring and DDD circles, hackathons, and the long tail of "thoughtful engineering" meetups that don't fit neatly under any specific stack.
This page narrows the Leiden calendar to Software Engineering events. It's a subset of Netherlands's wider tech-event schedule, useful when you want something specific to go to in the city this month.
Upcoming tech events in Leiden, Netherlands.
Upcoming Software Engineering events in Leiden
Project night @ Space Leiden
Leiden, 🇳🇱 Netherlands
Space Leiden is a makerspace and hackerspace in the Leiden Lammenschans area. We aim to provide a place where everyone can work, meet, create, experiment, and socialize with like-minded people. It’s a blend of a makerspace, hackerspace, and bar—a community hub with tools, 3D printers, lasercutters, servers, and honeypots for tinkering, hacking, and exploring.
We provide equipment that’s too big, too expensive, or too specialized to have at home—so you can build, break, and learn without limits.
Not familiar with us yet? Drop by, and we’ll be happy to give you a tour and help you get oriented. Have any questions beforehand? You can reach us via Discord or on our social media channels.
Leiden.dev • Talks & Social Drinks
Leiden, 🇳🇱 Netherlands
June edition
Our monthly meetup. Talk details to be announced.
Doors open at 19:00
Talks start at 19:30
đź“… Thursday, 18 June 2026 đź•’ 19:00 - 22:00
📍 Café De Keyzer, Kaiserstraat 2-4, Leiden (city center)
❣️ Upstairs
Talk: provable software: a practical journey through formal methods
Leiden, 🇳🇱 Netherlands
(Dutch below)
Formal verification provides mathematical guarantees about software behavior that go beyond conventional testing and static analysis. This presentation introduces a collection of modern verification tools covering distributed systems, cryptographic protocols, verified compilation, and proof-oriented programming.
Topics include system specification with TLA+; symbolic protocol verification using Tamarin Prover, ProVerif, and Scyther; compiler correctness with CompCert; and verified software development through F* and KaRaMeL. The presentation discusses verification models, proof strategies, guarantees offered by each framework, and the practical trade-offs involved in adopting formal methods in production environments.
In addition to the workshop, there’s also space to work on your other projects. Within Space Leiden you’ll find a large area with workstations where you can continue working on your project alone or together with others. There’s also a woodworking room equipped for those who want to get more hands‑on. Of course, the 3D printer and laser cutter are also ready for use.
Not familiar with us yet? Drop by, and we’ll be happy to give you a tour and help you get oriented. Have any questions beforehand? You can reach us via Discord or on our social media channels.
**
Formele verificatie biedt wiskundige garanties over softwaregedrag die verder gaan dan conventionele tests en statische analyse. Deze presentatie introduceert een verzameling moderne verificatietools voor gedistribueerde systemen, cryptografische protocollen, geverifieerde compilatie en proof-oriented programmeren.
Onderwerpen zijn onder andere systeemspecificatie met TLA+; symbolische protocolverificatie met Tamarin Prover, ProVerif en Scyther; compilercorrectheid met CompCert; en geverifieerde softwareontwikkeling via F* en KaRaMeL. De presentatie behandelt verificatiemodellen, bewijsstrategieën, de garanties die elk framework biedt, en de praktische afwegingen bij het toepassen van formele methoden in productieomgevingen.
Naast de workshop is er ook ruimte om aan je andere projecten te werken. Binnen Space Leiden is er onder meer een grote ruimte met werkplekken om alleen of samen met anderen verder te werken aan je project. Ook is er een houtbewerking lokaal met apparatuur voor als je meer praktisch aan de slag wilt gaan. Uiteraard staan de 3D printer en lasersnijder ook klaar voor gebruik.
Nog niet bekend bij ons? Kom gezellig langs en we leiden je graag rond om je wegwijs te maken. Heb je (vooraf) vragen? Je kunt ons bereiken via Discord en de socials.