Aarhus University logo
Dansk
Kapsejladsen - Kampen om Det Gyldne Bækken 2026.Friday April 24th we launch this year’s edition of the biggest student event in Northern Europe.The…
On Wednesday, April 29th 2026, Pernille Matthews will defend her PhD thesis Structure-Guided Explainability: From Regional to Counterfactual…
Registration through Tech Hub Aarhus' website
A design-and-code challenge where the goal is simple: make it worse.Teams compete to design the most…
Speaker: Hannah Keller
Personal data is increasingly used in algorithms and decision-making across many aspects of our lives. Differential privacy…
Title
tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
Abstract:
The concept of "refinement" in type theory is a way of reconciling the "intrinsic" and the "extrinsic" semantics of types (a.k.a. "Church…
Suppose that every vertex of an n-vertex graph G = (V,E) of maximum degree Delta hosts a processor. These processors wake up…
A Davenport-Schinzel with order s is a sequence over an n letter alphabet that avoids subsequences of the form a..b..a..b.. with length
s+…
Page 172 of 190