Twelve projects are receiving DKK 45 million in grants in Denmark’s largest programme for data-driven interdisciplinary research: Villum Synergy. Two of the new Villum Synergy projects are granted to Aarhus University. Congratulations to Panagiotis Karras and Kasper Green Larsen, who will be collaborating with researchers from Department Chemistry and Department of Physics and Astronomy.

Congratulations to Assist. Prof. Magnus Madsen and Professor Jaco van de Pol, who are among the 26 recipients of the 2021 spring Amazon Research Awards 🎉 Magnus and Jaco will receive $60,000 for their project Type Inference with Boolean Unification. The award is intended to support work on the Flix programming language

At ICFP, the two papers “Theorems for Free from Separation Logic Specifications” and “Client-Server Sessions in Linear Logic” were awarded the Distinguished Paper Award. Each year, the ICFP program committee selects distinguished papers that they think provide the best balance of importance, exposition, and novelty. These papers are specially held up to the community as papers not to be missed. This year, 35 papers were accepted at ICFP, and of those 4 were selected as distinguished papers.

Congratulations to PhD student Zesen Qian, Postdoc Armaël Guéneau and Professor Lars Birkedal who co-authored the papers.