Rust Amsterdam Meetup @ Terraform

We're having another Rust Developer Meetup and this time we're being hosted by Terraform in their Amsterdam office on the Overtoom. This meetup is open to anybody who has an interest in the Rust programming language.
We are planning to have two presentation at the moment.
Doors open at 18.30.
19:00 - 19:30 First talk: Hypersynthetic - HTML templating library 🖨️ by Aleksandr Kovalev
19:30 - 20:00 Break for pizza & beverages
20:00 - 20:30 Second talk: Proving your Rust code correct by Xavier Denis
The venue, plus pizza and beverages will be provided by Terraform.

Terraform is automating on-site construction with robotics and software. Their mission is to make construction software-defined and autonomous. They're working towards a future where beautiful, bespoke buildings are built within a single day with minimal labor. And, they're using rust 😉