Department of Computer Science – Staff

Events

Future Events

Friday 4 September 2026, at 14:15 INCUBA Lille Aud., building 5510-104, Aabogade 15, 8200 Aarhus N

Title

Type theory, in and around computer science

Abstract

This talk concerns my work on type theory, a family of statically typed functional…

Monday 14 September 2026, at 21:30 4 Nordre RinggadeAarhus, 8000

Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.

Past Events

Monday 29 May 2017, at 11:00 Nygaard-295

Friday 19 May 2017, at 13:15 Peter Bøgh Andersen Auditorium

Friday 5 May 2017, at 14:15 Peter Bøgh Auditorium, Department of Computer Science, Åbogade 34, 8200 Aarhus N

Abstract:

Web applications constitute a substantial part of modern software. JavaScript is the main programming language of the web, although…

Friday 5 May 2017, at 13:00 Nygaard-295

Thursday 27 April 2017, at 13:00 Nygaard-297

Page 116 of 192

Previous
1
…
115
116
117
…
192
Next

Revised 23.09.2025