Arrangementer

Mon 25 Mar
11:00-12:00 | 5335-295 Nygaard Møderum
Special talk by Valerio Terragni on Challenges and Achievements in Testing Concurrent Programs
Thu 28 Mar
13:00-15:00 | Ada-333 (5342-333) Åbogade 34, 8200 Aarhus N
PhD defense by Sabine Oechsner: Constructions and Proof Techniques for Secure Computation
Sat 30 Mar
11:00-16:00 | Department of Computer Science, Library (building 5335), Finlandsgade 21, 8200 Aarhus N.
IDI open 2019
Mon 01 Apr
13:30-14:30 | Nygaard-395 (5335-395). Åbogade 34, 8200 Aarhus N
Theory Seminar - Sean Chester: Triad Enumeration at Trillion-Scale using a Single Commodity Machine
A /triangle/, in the context of undirected graphs or social networks, is a set of 3 vertices that are all connected to each other. A /triad/ is the analogue for directed graphs and has 7 unique forms (up to isomorphism).
Thu 04 Apr
11:00-12:00 | 5335-327 Nygaard Møderum
Special talk by Grigory Fedyukovich on Synthesizing Proofs for Program Verification
Fri 05 Apr
12:00-15:00 | Katrinebjerg
Aarhus University Digital Innovation Festival
Want to hear what top digital researchers and industry specialists are working on?
Fri 05 Apr
14:00-12:00 | Department of Computer Science, Åbogade 34, 8200 Aarhus N
AU Hack 2019
Fri 12 Apr
11:15-15:00 | Department of Computer Science, Nygaard bygningen (5335), Finlandsgade 21, 8200 Aarhus N
Kdag 2019 - Career fair for IT students
Fri 26 Apr
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Claudio Orlandi
Mon 27 May
09:30-17:00 | Peter Bøgh Andersen Auditorium (build. 5335, room 016), Finlandsgade 23, 8200 Aarhus N
Workshop: Theory and Practice of Blockchains 2019
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 (TPBC19) bringing together researchers working on the theory and implementation of blockchains.