Brian Bech Nielsen
Rector at Aarhus University
Lotte Folke
Journalist, Editor in chief, Opinion, Politiken
Connie Hedegaard
Former EU Commissioner for Climate Action
Dr. Arun Majumdar
Dean of the Stanford Doerr School of Sustainability, Stanford University
Eight young speakers share bold ideas for a sustainable future. The presentations will be followed by a panel on actionable climate solutions
18.30: Welcome, refreshments and concert
19.00: Art Walk at the Museum
19.30: Two course Art-dinner
21.00: Petit four and coffee in Your Rainbow Panorama
22.00: End of evening
Naomi Oreskes
Henry Charles Lea Professor of the History of Science, Harvard University
The seL4 microkernel is the world's most highly assured operating system kernel. It provides strong isolation between untrusted and trusted components running in software systems, preventing any cyber attacks from endangering critical functionality and from propagating further. The open-source seL4 Foundation provides the underlying support for its growing ecosystem of developers, contributors and adopters, and Proofcraft keeps pushing the roadmap of seL4’s verification to make its formal proofs apply to more platforms, more features, and more properties.
June Andronick
CEO of Proofcraft and the seL4 Foundation
seL4: a formally verified kernel as a defense against cyber attacks
Digital resilience is not a static goal but a state of continually adjusting an upgrading. The panel will discuss how we can ensure a high level of IT security for citizens and authorities and how much control we are willing to accept in order to ensure this security and trust in our digital society. Research and collaboration are the obvious answers – but in what form? And who’s going to make it happen?
Joanna Świątkowska
Deputy Secretary General, European Cyber Security Organisation
Line Gerstrand
Head of Development, Security Tech Space
Nikolaj Juncher Wædegaard
Vice President, Digital Policy & Technology, Chamber of Commerce
Kaj Grønbæk
Head of Department, Department of Computer Science, Aarhus University
Moderator: Jacob Rosenkrands
Journalist, Danish Broadcasting Corporation
17.30: Debate moderated by Clement Kjersgaard
19.00: Network and refreshments
20.00: End of event