Rust at RU #3 (regular track)

Rust meetup at the Radboud University in Nijmegen: a two-track format, a student track and a regular track.

Schedule

Plenary start:
* 17.45-18:45 Food and drinks (De Refter)
* 19.00: Introduction (Gymnasion, room EOS 1.610)

Regular track (Gymnasion, room EOS 1.610, first floor to left of central hall):
* 19.05: Welcome, Bernard van Gastel (RU)
* 19.10: Talk 1: Mathematically proving the correctness of the Rust type system and unsafe standard libraries, by Robbert Krebbers
* 19:55: break
* 20.10: Talk 2: The Network Time Protocol in Rust, by David Venhoek
* 20.35: Talk 3: GATs are stable – why is that a big deal?, by Martin Hoffmann
* 21.00ish: Drinks. The first one is on us! (Sportsbar The Yard)

This event is sponsored by Tweede golf, and iHub.

Location details
De Refter
Address: Erasmusplein 3, 6525 HT, Nijmegen
Bus stop: Erasmusgebouw (Breng lijn 10 if coming from Nijmegen CS).
Parking: Free parking at Parking P7a and P7b from 18.00. If you come earlier, you only pay a very small fee.