Arrangementer

Kommende arrangementer

Past Events

20 feb

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

1 feb

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

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…

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…

19 jan

Torsdag 19. januar 2017, kl. 09:30 Peter Bøgh Andersen Auditorium

Prepare your company for the future: Participate in Brainnovation Day at January 19th and gain insight on how businesses combine with IT research for…

Revideret 09.03.2023

Marianne Dammand Iversen

Institut for Datalogi

Arrangementer

Kommende arrangementer

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

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

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

Talk by Maria Christakis on Guiding program analyzers toward unsafe executions

Brainnovation Day: “Smart Products - IoT and Big Data"