Arrangement
Brugervenlige formelle metoder
Bevisføreren Isabelle - I krydsfeltet mellem funktionsprogrammering, logik og matematik
IDA Conference, København V
Torsdag d. 16. maj 2024
Kl. 16:00 - 18:00
Fra 0 kr.
Hvor
IDA Conference
Kalvebod Brygge 31-33
1530 København V
Hvornår
Torsdag d. 16. maj 2024
Kl. 16:00 - 18:00
Pris
Studerende, ikke medlem af IDA
0 kr.
Firmamedlem
0 kr.
Medlem af arrangør
0 kr.
Ledig
0 kr.
IDA-medlem
0 kr.
Seniormedlem
0 kr.
Studiemedlem
0 kr.
Ikke IDA-medlem
250 kr.
Tilmeldingsfrist
Onsdag d. 15. maj 2024
Kl. 23:59
Antal pladser
50
Ledige pladser
30