Aarhus Universitets logo
English
Institut for Datalogi
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
10 minutes to introduce your research. This is the concept of The Computer Science Day which takes place in 5335-016 Peter Bøgh Auditorium, on Friday…
Abstract: ------------- Modern-day software is increasingly complex and software engineering is commonly accepted as a challenging, error-prone task.…
Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger…
Side 74 af 107
