DAIMI stands for Datalogisk Afdeling I Matematisk Institut (Danish: Department of Computer Science at Aarhus Universitet)