Type Theory and Rust

Hey everyone!

Before the scorching heat of summer burns us to a crisp (which makes for little willingness to attend events like this one), let's do one final meetup at Braiins.

This time, we will have the following talk:- Dawid Kubiś - Introduction Type Theory in the context of Rust

Just like all previous times, refreshments will be provided :)

The event will be held both online and in-person.

Rust meetup - Type Theory (public)

Wednesday, June 26 · 6:00 – 8:00pm
Time zone: Europe/Prague

Google Meet joining info
Video call link: https://meet.google.com/mrr-bayy-dmo

Or dial: ‪(CZ) +420 234 610 147‬ PIN: ‪281 387 477‬
#More phone numbers: https://tel.meet/mrr-bayy-dmo?pin=8777910031763