Events

Past Events

Wed 20 Nov: 14:00-15:00 | Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N
Talk by Visiting Researcher Tjerand Silde: Electronic voting using lattice-based commitments and verifiable encryption
Fri 15 Nov: 17:00-17:00 | INCUBA, Katrinebjerg Åbogade 15, 8200 Aarhus
AARHUS HACK
Thu 14 Nov: 13:00-15:00 | Building 5342, room 333, ADA-333, Åbogade 34, 8200 Aarhus N
PhD defense by Lau Skorstengaard on Formal Reasoning about Capability Machines
Wed 13 Nov: 13:00-15:00 | Building 5335, room 295, Finlandsgade 21, 8200 Aarhus N
PhD defense by Kristoffer Just Arndal Andersen on Automatic Program Verification
Thu 07 Nov: 16:00-18:00 | Coffee Lounge, Hopper Building, 2nd floor (5346-242)
ALICE Hangout
Come and hang out with 'ALICE'

Showing results 1 to 5 of 598

Comments on content:

Revised 05.11.2019