Institut for Datalogi

Aarhus Universitets segl
Du er her: Institut for Datalogi Arrangementer

Arrangementer

Kommende arrangementer



Past Events

Qualifying exam: PhD student Kristoffer Just Andersen

22 feb
Onsdag 22. februar 2017, kl. 12:30 Nygaard-297

PhD Defense by Henrik Korsgaard on "Toward Place-Centric Computing: Making Place With Technology Together"

20 feb
Mandag 20. februar 2017, kl. 12:30 Ada-333

PhD defense by Kenneth Sejdenfaden Bøgh on Parallel Algorithms for Skyline and Skycube Computation on Multicore CPUs and GPUs

1 feb
Onsdag 1. februar 2017, kl. 12:30 Ada-333

Talk by Chaya Ganesh on Efficient Zero-Knowledge Proof of Algebraic and Non-Algebraic Statements with Applications to Privacy Preserving Credentials

30 jan
Mandag 30. januar 2017, kl. 14:00 Ada-333

Speaker: Chaya Ganesh (New York University)

Title: Efficient Zero-Knowledge Proof of Algebraic and Non-Algebraic Statements with Applications to…

Talk by Maria Christakis on Guiding program analyzers toward unsafe executions

23 jan
Mandag 23. januar 2017, kl. 13:00 Nygaard-295

Abstract:

Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when…

Side 87 af 89

Revideret 09.03.2023
-
Marianne Dammand Iversen