News & Events
News
Mogens Nielsen: a modern Janus
2009.09.16 |
On October 3 and 4, at the occasion of his 60th birthday, Professor Mogens Nielsen was celebrated by his former students and his colleagues, locally, nationally and internationally. Mogens Nielsen is the second PhD of the Department of Computer Science at Aarhus University, in 1976. Since then, he has led a double career: one is local and…
Results of the study environment analysis
2009.09.04 | Alle, Featured
A new analysis of the study environment at the Department of Computer Science shows that the majority of the students are satisfied with their education and the overall study environment. However, the analysis also shows that the department can make some important improvements by focusing on a range of specific areas in the future.
Results of the study environment analysis (copy 1)
2009.09.04 | Alle, Featured
A new analysis of the study environment at the Department of Computer Science shows that the majority of the students are satisfied with their education and the overall study environment. However, the analysis also shows that the department can make some important improvements by focusing on a range of specific areas in the future.
Events
- Fri Sep 04
- 14:00-15:00 | DI-5510.103 (IT-huset Store Aud)
Friday lecture talk: Peter Aksel Nielsen, Aalborg UniversitetSoftware process improvement: practice and researchSoftware process improvement has become a primary focus in systems development research in the later years. The interest among software companies can largely be attributed to the advancement of maturity models like Capability Maturity Model, CMM, that is also being promoted as a requirement for…
- Tue Sep 08
- 14:15-16:15 | DI-5510.104 (IT-huset Lille Aud)
[PL Seminar] Talk: Harry PiersonTime and Place: Tuesday, 8th Sep. 2009, 14:15(sharp) to 16:00 in IT-Huset's small auditoriumSpeaker: Harry PiersonTalk #1: Pumping Iron: Dynamic Languageson .NET As you may know, Microsoft is developing IronPython and IronRuby, .NET implementations of the popular open-source programming languages Python and Ruby. While it's clear that Microsoft…
- Mon Sep 14
- 13:15-14:15 | DI-Ada-018
[PL Seminar] Talk: Fritz HengleinTitle: Generic discrimination and lazy productsfor filter-map-product queriesTime and place: 14.9.09, 13:15-14:00 in Ada-018Speaker: Fritz Henglein, DIKUAbstract:We introduce the notion of equivalence discriminator, which par-titions a list of values according toa user-speci?ed equivalence relation onkeys the values are associated with, while…
- Tue Sep 15
- 13:15-16:15 | DAIMI Calendar
PhD defense Rune ThorbekCand. Scient. Rune Thorbek forsvarer tirsdag d.15. september kl. 13.15 sin ph.d.-afhandling med titlen: ”Linear Integer Secret Sharing” ved et offentligt forsvar i Ada 333, Datalogisk Institut, Aarhus Universitet.Rune Thorbek har gennemført ph.d.-studiet ved Datalogisk Institut ved Aarhus Universitet. Kryptologi omhandler klassisk to parter, som…
- Wed Sep 16
- 14:15-15:00 | Turing 014
MADALGO seminar, Mohammad Ali Abam, Aarhus UniversityTitle: Geometric Spanners for Weighted Point SetsSpeaker: Mohammad Ali Abam, MADALGO, Aarhus UniversityAbstract:Let (S, d) be a finite metric space, where each element p ? S has a non-negative weight wt(p). We study t-spanners for the set S with respect to the following weighted distance function d?:d?(p, q) = 0 if p = q,dw(p,q) = wt(p) + d(p, q)…
- Wed Sep 16
- 15:00-15:30 | DI-Turing-014
[PL Seminar] Talk: Michael AchenbachTime and place: 16.9.09, 15:00-15:30 in Turing-014Speaker: Michael AchenbachTitle:Engineering Abstractions in Model Checking and TestingAbstract:Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks…
- Wed Sep 16
- 15:30-16:30 | DI-Turing-014
[PL Seminar] Talk: Markus DegenTitle: Tracking Linear and Affine Resources with Java(X)Speaker: Markus Degen, Albert-Ludwigs-Universität FreiburgTime and place: 16.9.09, 15:30-16:15 in Turing-014.Abstract:Java(X) is a framework for type refinement. It extends Java’s typelanguage with annotations drawn from an algebra X and structuralsubtyping in terms of the annotations. Each…
- Wed Sep 23
- 16:00-17:00 | DI-Turing-014
[PL Seminar] Talk: Markus DegenTitle: True Lies: Lazy Contracts for Lazy Languages - Faithfulness is Better than LazinessSpeaker: Markus DegenTime and place: 23.9., 16:00-17:00 in Turing-014Abstract:Contracts are a proven tool in software development. They providespecifications for operations that may be statically verified ordynamically validated by contract…
- Fri Sep 25
- 14:00-15:00 | DI-5510.103 (IT-huset Store Aud)
Friday lecture talk: Christian S. JensenEnabling geo-spatial context on the mobile internetThe Internet is going mobile, and indications are that the mobile Internet will be "bigger" than the conventional Internet. Due to aspects such as user mobility, much more varied use situations, and the form factor of mobile devices, context awareness is important on the mobile Internet. During…
- Wed Sep 30
- 14:15-15:00 | Turing 014
MADALGO seminar, Norbert Zeh, Dalhousie UniversityTITLE: Optimal Cache-Oblivious Range Reporting Requires Superlinear SpaceSPEAKER: Norbert Zeh, Dalhousie UniversityABSTRACT: In recent years, a numberof cache-oblvious range search structures for 3-sided range reporting in the plane, 3-d dominance reporting, and 3-d halfspace range reporting with the optimal query bound ofO(log_BN + K/B) I/O's…