De agenda voor juni staat klaar! Deze maand staat in het teken van miniatuur terrain bouwen, projecten en een talk over bewijsbare software. Lees verder voor meer informatie! (English below)

Afbeelding: Unsplash

4 juni - TTRPG miniatuur terrain bouwen

Speel jij TTRPGs, en wil je de belevenis nog echter maken met terrain voor op tafel? We hebben allerlei tools om miniatuur terrein te maken. Van 3D printers tot een lasersnijder, piepschuimsnijder, en nog veel meer. Kom met ons terrain maken voor D&D, Call of Cthulhu, of welke TTRPG jij ook graag speelt!

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.

11 juni - Projectavond

Een avond vol mogelijkheden om aan je projecten te werken. Neem je project mee waar je aan werkt, of begin met iets nieuws. Er is ruimte voor programmeren, knutselen, solderen of wat jij maar wilt maken. De lasersnijder en 3D-printers staan klaar!

18 juni - Talk: Provable Software: A Practical Journey Through Formal Methods

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.

25 juni - Projectavond

Sluit de maand af met een gezellige projectavond. Deel je voortgang met anderen, vraag om advies, of help mee met andermans projecten. Creativiteit en samenwerking staan centraal.

Programme for June!

Image: Unsplash

June 4 – TTRPG Miniature Terrain Building

Do you play TTRPGs, and do you want to spice up the table with terrain? We have loads of tools for creating miniature terrain. From 3D printers to a lasercutter, foam cutters, and much more. Join us in making terrain for D&D, Call of Cthulhu, or any other fun TTRPG you like to play!

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.

June 11 – Project Night

An evening full of opportunities to work on your projects. Bring your current project or start something new. There’s room for programming, crafting, soldering, or whatever you want to create. The laser cutter and 3D printers are ready!

June 18 – Talk: Provable Software: A Practical Journey Through Formal Methods

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.

June 25 – Project Night

Close out the month with a cozy project night. Share your progress with others, ask for advice, or help with other people’s projects. Creativity and collaboration are central.