Aarhus Universitets logo
English
Institut for Datalogi
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
J70 Revyen inviterer jer alle indenfor i Stakladen til et gensyn med noget af det bedste materiale fra revyerne gennem de sidste ti år!
Katrinebjerg Career Day (Kdag) is arranged by Aarhus University at IT-City Katrinebjerg, where more than 3.000 students study their IT-education. At…
On Friday April 11 2025 Karl Fehrs will defend the PhD thesis Optimization and Learning in Voting
Kunstig intelligens har potentialet til at påvirke vores hverdag på rigtig mange måder. Forventningerne til kunstig intelligens er store, regeringen…
Ready to develop your innovation skills and tackle real-world challenges? Join us on March 13th for the 12-hour Ideathon. Work with researchers and…
On Friday March 7 2025 Petros Petsinis will defend the PhD thesis Combinatorial Optimization for Difussion and Search in Graphs
Side 21 af 108
