Datalogisk Institut

Kalender

Søg i arrangementer

Arrangementstype

Fra

Til

21. nov. - 22. nov. 2022

FemTech lader teknologier mærke

Datalogisk Institut inviterer til dette års FemTech, der et initiativ særligt for kvindelige…

21. nov. 2022, kl. 14.01-16.30

MIAO Talk by Kilian Risse

Bounded depth proof for Tseitin formulas on the grid; revisited

«	november 2022					»
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	29	30

Abonnér på begivenheder

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

Kalenderarkiv

Se tidligere arrangementer