Datalogisk Institut

Kalender

Søg i arrangementer

Arrangementstype

Fra

Til

13. marts - 30. april 2025

MSc Defences Spring 2025

See the list of MSc defences at DIKU this spring. The list will be updated continuously.

24. marts - 28. marts 2025

Conference: AI4Quantum - Accelerating Quantum Computing with AI

Join the AI4Quantum conference by Novo Nordisk Foundation Science Cluster, with the goal of solving…

27. marts - 28. marts 2025

Nordic Pre-CHI Event 2025

Join us for this year’s Nordic Pre-CHI Event.

28. marts 2025, kl. 14.15-15.15

COPLAS talk: Dmitriy Traytel: Binding-aware datatypes and inductive predicates in Isabelle/HOL

On 28 March, COPLAS will host a talk by Dmitriy Traytel titled 'Binding-aware datatypes and…

«	februar 2025					»
M	T	O	T	F	L	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28

Abonnér på begivenheder

Du kan abonnere på DIKUs begivenheder via RSS Feed. Klik her>>

Kalenderarkiv

Se tidligere arrangementer