2020.03.16 | CS frontpage, Featured, Public/media
The Ministry of Higher Education and Science has decided to postpone the deadline for applications for admission to higher education via quota 2 by one week. The new deadline is Sunday, March 22, 2020 at 12 noon.
2020.03.10 | CS frontpage, Featured, Public/media
The official Danish guidelines regarding coronavirus have been greatly intensified. This also has consequences at the department where teaching, events, and social gatherings are canceled or postponed. For now, all teaching activities are canceled, and the department is under lock-down, mening at students and staff are not allowed to enter the…
2020.03.05 | CS frontpage, Featured, Public/media
Congratulations to PhD student Martin Toldam Torp who has received a travel grant from the STIBO foundation. Martin will use his DKK 38.000 for his stay at University of Stuttgart.
2020.02.27 | CS frontpage, Public/media, Featured
Congratulations to Professor Anders Møller, who will be honored by the Minister for Higher Education and Science as one of five new Elite Researchers, later today. Anders Møller is the third computer scientist to receive this title, and is honored for his work in theoretical computer science with a focus on programming language and program…
2020.02.21 | CS frontpage, Featured, Public/media
Yesterday, we opened the registration for the department's annual career day - Kdag - 2020. It is a popular event, and in just 1 hour and 38 minutes the event sold out. For those who did get a booth, we recommend to sign up for the waitlist (click on link to register).
2020.02.20 | CPV, CS frontpage, Featured, Public/media
In January 2020, 600 people gathered in New Orleans for the 47'th edition of POPL. Chairman of POPL 2020, Lars Birkedal has written a blogpost about the event to give an overview of POPL 2020 from both a technical and non-technical perspective.
2020.01.08 | CS frontpage, Featured, Public/media
Over the next two years, the Blockchain Academy Network will train and educate top executives and technical managers in Danish companies to give them technological, business, and management insights into blockchain technology. Blockchain Academy Network is funded by Industriens Fond.
2019.12.19 | CS frontpage, Public/media, Featured
Yesterday, Aarhus University and Faculty of Science and Technology celebrated five new VILLUM Investigators at AIAS.
2019.12.17 | CS frontpage, Featured, Public/media
Would you want to know how to predict certain diseases best? Or maybe rather which shoes to invest in when strategically building your sneaker portfolio? Or are you interested in finding out about the shipping routes of the transatlantic slave trade? None of these are computer science questions at first glance. Yet, computer science and in…
2019.12.17 | Featured, CPV, Public/media
On January 19-25, POPL 2020 will take place in New Orleans. Professor Lars Birkedal will function as program chair for the conference.
2020.03.27 | CS frontpage, Featured, Public/media
Congratulations to Professor Ira Assent (Department of Computer Science) and Professor Birgit Schiøtt (Department of Chemistry and iNANO) who have received a VILLUM Synergy grant of DKK 3.0 million for development of new cluster models that can provide a more accurate insight into proteins at the molecular level.
2020.03.24 | CS frontpage, Featured, Public/media
Aarhus University has received 15,582 applications via quota 2 this year, which is an increase of 9% compared to 2019. A 9% increase is also seen in AU’s number of first-priority applicants where 5,802 has choose a study program at Aarhus University.
2020.03.19 | CS frontpage, Featured, Public/media
Head of Department Kaj Grønbæk gives a covid-19 status for CS. Also find relevant links for both students and employees.
2020.03.15 | COBRA
As a consequence of the COVID-19 situation, it has been decided to cancel TPBC20 on the scheduled dates. Once we have more information about the situation, we will consider rescheduling the event to a date later this year. Further updates will be announced on the TPBC20 website …
2020.03.09 | COBRA
The accepted talks for TPBC20 have been announced. COBRA researchers are represented in five out of 20 accepted talks. Find the list of accepted talks on the TPBC20 website https://eventum.upf.edu/43438/section/24485/theory-and-practice-of-blockchains.html
2020.02.24 | COBRA
2020.02.21 | CPV
Simon Friis Vindum has joined CPV as a PhD student from Feb 1. Simon completed a BSc. in Computer Science at Aarhus University. Prios to his studies, he worked as a full stack developer at a small start-up. In his spare time, he enjoys going for walks and has created several open source projects.
2020.02.05 | COBRA
2020.01.20 | COBRA
This week the COBRA researchers Danil Annenkov, Jakob Botsch Nielsen and Bas Spitters are attending the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP2020) in New Orleans where they will present the paper ConCert: A Smart Contract Certification Framework in Coq. CPP 2020 is co-located with…
2020.01.12 | COBRA
TPBC20 invites contributed talks in all sub-themes of consensus protocols, zero-knowledge proofs, privacy and anonymity-preserving techniques, language design and semantics for smart contracts, formal verification of cryptographic protocols and implementations, and other related topics. The TPBC20 steering committee will…
