Institut for Datalogi

Aarhus Universitets segl
Du er her: Institut for Datalogi News & Events Arrangementer

Arrangementer

Kommende arrangementer



Past Events

The Aarhus Concurrency Workshop

30 maj
2 dage, Tirsdag 30. maj 2017, kl. 09:00 - 31. maj Peter Bøgh Auditorium, Department of Computer Science, Åbogade 34, 8200 Aarhus N.

Aarhus Concurrency Workshop on Concurrency Theory and related topics.

Talk by Philippa Gardner; Towards Trustworthy Verification of JavaScript

29 maj
Mandag 29. maj 2017, kl. 11:00 Nygaard-295

Computer Science Day 2017

19 maj
Fredag 19. maj 2017, kl. 13:15 Peter Bøgh Andersen Auditorium

Inaugural lecture by Professor Anders Møller on Automated Program Analysis for Advanced Web Applications

5 maj
Fredag 5. maj 2017, kl. 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…

PhD Defense by Bernardo M. David: A Framework For Efficient Homomorphic Universally Composable Commitments

5 maj
Fredag 5. maj 2017, kl. 13:00 Nygaard-295

Side 82 af 87

Revideret 09.03.2023
-
Marianne Dammand Iversen