Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

MADALGO Theory Seminar

3 Dec
Wednesday 3 December 2014, at 14:15 Nygaard-327

MADALGO Theory Seminar: Jesper Sindahl Nielsen, MADALGO

PhD Defense: Qiang Qu - New techniques for searching and understanding web content

3 Dec
Wednesday 3 December 2014, at 11:00

MADALGO Theory Seminar

26 Nov
Wednesday 26 November 2014, at 14:15 Building 5335, Nygaard 295

MADALGO Theory Seminar: Kasper Green Larsen, MADALGO

Talk: Bas Spitters - Formalizing mathematics in the univalent foundations

25 Nov
Tuesday 25 November 2014, at 14:15 Nygaard-295, Aabogade 34, 8200 Aarhus N

We have been formalizing mathematics in type theory for many years. Although great progress has been made, there were still a number of issues that…

Logic and Semantics talk: Robbert Krebbers - Formalizing C in Coq

17 Nov
Monday 17 November 2014, at 14:00 Nygaard-295, Aabogade 34, 8200 Aarhus N

 

Abstract:

In my PhD project I am developing a formal semantics of a significant  fragment of the C programming language as described by the C11…

Page 133 of 173.

Revised 17.04.2023
-
Marianne Dammand Iversen