Events

Future Events

Mon 10 Dec
15:00-17:00 | Nygaard-295 (5335-295). Åbogade 34, 8200 Aarhus N
Qualification Exam: PhD student Troels Rasmussen
Wed 12 Dec
13:00-15:00 | Nygaard-395 (5335-395). Åbogade 34, 8200 Aarhus N
PhD defense by Morten Krogh-Jespersen: Towards Modular Reasoning for Stateful and Concurrent Programs

Past Events

Fri 07 Dec
18:00-02:00 | Nygaard -1 (5335), Finlandsgade 21, 8200 Aarhus N
Department Christmas Party
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.
Wed 05 Dec
14:00-12:00 | Study Café, Bush Building (5343), Åbogade, 8200 Aarhus N
Festival of light - First year project by IT Product Development students
Wed 21 Nov
13:00-15:00 | Nygaard-395 (5335-395) Åbogade 34, 8200 Aarhus N
Qualification exam: PhD student Benjamin B. Nielsen
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 5 of 511

1 2 3 4 5 6 7 8 9 10 Next

5005 / i36