Aarhus University Seal / Aarhus Universitets segl

Previous talks



Fri 01 Nov
15:15-16:00 | Building 5510-104 (INCUBA Lille Aud.)
CS Colloquium - Magnus Madsen: What you should know about declarative programming
Inaugural lecture
Fri 04 Oct
15:15-16:00 | Building 5510-104 (INCUBA lille Aud.)
CS Colloquium - Andreas Pavlogiannis:The challenge of program verification (and a bit of biology)
Is my program bug-free? Can it leak sensitive information? Can it take forever to run?
Fri 06 Sep
15:15-16:00 | Building 5510-104 (INCUBA lille Aud.)
CS Colloquium - Kristoffer Arnsfelt Hansen
Fri 24 May
14:15-16:00 | 5335-016 (Peter Bøgh Andersen Aud)
Computer Science Day 2019
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 May 24.
Fri 10 May
15:15-16:00 | Building 5510, room 104 (Incuba Lille Aud)
CS Colloquium - Bas Spitters: Modern Type Theory and Secure Blockchains
Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger libraries and address new areas of computer science.
Fri 26 Apr
15:15-16:00 | Building 5510, room 104 (Incuba Lille Aud)
CS Colloquium - Claudio Orlandi: Zero-Knowledge Proofs and Their Applications in Modern Cryptography
Suppose I claim I can taste the difference between Carlsberg and Tuborg. If you don't believe me, you could pour some beer in a glass and see if I can guess correctly which brand you chose. If we repeat the process enough times, you will eventually be persuaded that I can actually taste the difference.
Fri 15 Mar
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Davide Mottin:Are smart devices really smart? An algorithmic road towards smartness
OK Google, I would like to visit a city like Aarhus". A seemingly simple question like this finds only disappointing answers from modern smart devices.
Fri 22 Feb
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Kasper Green Larsen: In Pursuit of Optimality
What would you rather compute with a paper and pencil, 3'593'103 + 1'502'348 or 3'593'103 x 1'502'348? Most sane people would prefer adding the two numbers. But why?
Fri 07 Dec
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Martin Møller: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
I would like to invite you to celebrate a 25 year old high-impact paper from Department of Computer Science, AU. To my knowledge, the paper is probably the most ever cited single research result paper written by a single author, a then PhD student, from the Department of Computer Science, AU. It has been cited 3500+ times over the last 25 years, with an increasing frequency, this year to date alone 250+ citations. The paper also shows that the Department of Computer Science was an early mover in the hyped area of Machine Learning, since the topic of the paper is on algorithms for supervised learning. I have asked the author to give a talk based on the paper, and I have also asked him to talk about what his research result has been/is used for today through some examples. The talk will be followed by a little reception, as a warm up to the Katrinebjerg Christmas Lunch, taking place later the same day. See you at the talk! Kaj Grønbæk, Head of Department, Professor.
Fri 16 Nov
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart?
The digital society, including our personal life, depends increasingly on software. Software errors are annoying, hinder productivity, screw up our security, and even lead to loss of lives in the case of safety-critical systems. Why is not all software formally verified?

Showing results 1 to 10 of 17

1 2 Next