Please note that this newsitem has been archived, and may contain outdated information or links.
4 October 2023, LLAMA seminar, Stefan Zetzsche
Speaker: Stefan Zetzsche (Amazon Web Services)
Title: The Dafny Programming Language and Static Verifier
Date: Wednesday 4 October 2023
Time: 16:00-17:00
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online
For more information, see
https://events.illc.uva.nl/llama/#talk-zetzsche-2023
or contact Tobias Kappé at t.kappe at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.