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.

 

BeskrivelseLink kopieret

.
 

Praktisk InfoLink kopieret

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

Arrangementsnr.

353709


Arrangør

IDA IT


Medarrangører

IDA Matematik