Arrangementer

25 jun

Tirsdag 25. juni 2019, kl. 09:30 Lille Auitorium (building 5510/room 104), INCUBA, Åbogade 15, 8200 Aarhus N

Title: Constructive Cryptography (and more)

Abstract:

This interactive presentation consists of several parts, including:

1) A simple…

20 jun

Torsdag 20. juni 2019, kl. 10:00 Nygaard-295 (5335-295), Department of Computer Science, Åbogade 34, 8200 Aarhus N

Title: Logical Foundations of Cyber-Physical Systems

Abstract: Logical foundations of cyber-physical systems (CPS) study systems that combine cyber…

27 maj

3 dage, Mandag 27. maj 2019, kl. 09:30 - 29. maj Peter Bøgh Andersen Auditorium (build. 5335, room 016), Finlandsgade 23, 8200 Aarhus N

From May 27 to May 29, 2019, Department of Computer Science at Aarhus University invites you to a workshop on Theory and Practice of Blockchains 2019…

24 maj

Fredag 24. maj 2019, kl. 14:15 5335-016 (Peter Bøgh Andersen Aud)

10 minutes to introduce your research. This is the concept of The Computer Science Day which takes place in 5335-016 Peter Bøgh Auditorium, on Friday…

24 maj

Fredag 24. maj 2019, kl. 14:00 Department of Computer Science, Nygaard building, room 295 (5335-295)

Institut for Datalogi

Kommende arrangementer

Introduction to Constructive Cryptography by Professor Ueli Maurer from ETH Zürich

Talk by Prof. Andre Platzer (CMU): Logical Foundations of Cyber-Physical Systems

Workshop: Theory and Practice of Blockchains 2019

Qualification exam: PhD student Anke van Oosterhout