5-daagse workshop waarin wiskundigen kennis kunnen maken met 'proof assistents'.

Deze workshop is bedoeld om geïnteresseerde wiskundigen kennis te laten maken met de theorie en praktijk van ‘proof assistents’, en om de samenwerking tussen dergelijke wiskundigen en huidige gebruikers hiervan te stimuleren. Het zal een mix van tutorials en plenaire lezingen bevatten, met hands-on sessies van de Lean proof-assistent waar beginners samen met experts aan formaliseringsprojecten zullen werken.

Who knows?
Het Lorentz Center is een workshopcentrum waar internationale wetenschappelijke bijeenkomsten worden gehouden. De workshops kennen een interactieve sfeer en hoge wetenschappelijke kwaliteit. Het doel is om verschillende disciplines en ideeën bij elkaar te brengen en diversiteit in wetenschappelijk niveau, gender, cultuur en geografie te stimuleren.

Terrein: Wiskunde
Locatie: Lorentz Center @Oort, 3rd floor of the Oort building, Niels Bohrweg 2, 2333 CA Leiden
Website