Close this search box.
Previous events

ARCO Fall 2023

ARCO Fall 2023

The second ARCO workshop in 2023 will take place at the University of Southern Denmark, Campus Odense, on November 24.

ARCO (Algorithmic Research: Cooperation around Øresund) is a network for exchange of research within algorithms and to promote the general interest in this research area within the Øresund Region.

For full programme see ARCO Fall 2023.

The organizers of this workshop are Joan Boyar, Kevin Schewior, Kim Skak Larsen, and Lene Monrad Favrholdt.

ARCO is sponsored by DIREC. 


High school teachers with a passion for information technology must scale up young people’s digital skills

24 november 2022

High school teachers with a passion for technology must help scale up young people’s digital skills

Universities will upskill Danish high school teachers with the latest IT knowledge and inspiration for teaching. Dedicated teachers are important inspiration for young people when choosing their course of study.

Previous events

NordiCrypt Fall 2023

Nordicrypt fall 2023

Join the third NordiCrypt meetup in Copenhagen.

NordiCrypt is a group for “IACR-style” cryptographers created by researchers from DTU, ITU and AU to promote joint networking activities for researchers in Denmark and the rest of Northern Europe. NordiCrypt is an initiative born in the context of DIREC.

NordiCrypt will organize one-day meetups in Denmark approximately every 3-6 months. The meetups are open to researchers from neighbouring fields, as well as neighbouring countries.

If you wish to give a talk, please email beda(at)itu[dot]dk. Talks by junior researchers in all fields of cryptology are highly encouraged!

More info


Can AI help a health system under pressure?

27 OCTOBER 2022

Can AI help a health system under pressure?

In Denmark we have a shortage of medical specialists and nurses. In 2025, according to the Danish Nurses’ Organization, there will be a shortage of at least 6,000 nurses, and the lack of medical specialists is also a huge problem for a hospital sector under a historically high pressure.

Previous events

Digital Tech Summit: Generative AI – Hype or Transformation?

DIGITAL Tech summit 2023

Generative AI – Hype or Transformation?

Generative AI has been making waves in recent years, captivating our imagination with its potential to transform industries and reshape our creative processes. But is it all just hype, or are we witnessing a genuine transformation?

Generative AI has found applications in fields as diverse as art, healthcare, finance, and education. To some, it represents a revolutionary leap forward, promising to unlock unprecedented levels of creativity and productivity. To others, it raises ethical concerns and the specter of job displacement. One thing is certain – Generative AI is here to stay and it demands our attention and thoughtful consideration.

At this year’s Digital Tech Summit we have invited a strong panel to discuss the potentials and limitations of generative AI.

Previous events

Digital Tech Summit: Data spaces – in the future, we will share data in a completely new way

DIGITAL Tech summit 2023

Data spaces – in the future, we will share data in a completely new way

The EU has new legislation, large project sums, and a supply of technological components. All the initiatives aim to provide European companies, organizations, states, and individuals with a completely new infrastructure for data sharing.

Data sharing must be based on principles around decentralization of data, increased data sovereignty, greater security, and above all, interoperability.
The vision is that in 10-15 years we will exclusively share data through so-called data spaces.
Get an insight into the EU’s initiatives and legislation and what they will mean for you. Hear also about the wider international agenda around data spaces, which is largely driven by companies that see the need for common rules of the game for data sharing. There is a need for easier and more profitable data sharing, which could result in stronger supply chains, better and easier ESG reporting, and the development of new digital services.

Lea Schick – Senior Research and Innovation Manager, The Alexandra Institute

Previous events

Digital Tech Summit 2023 – AI Transforming Business



DTS – AI Transforming Business 2023 is the largest deep tech conference in the Nordic countries and the annual meeting place for researchers from universities in Denmark and their partners in Danish industry. 

Over the course of two days, visitors will get access to more than 100 professional talks and presentations and a unique insight into the dominant and transforming digital technologies that are changing our industries and creating the future’s growth engines.

Digital Tech Summit presents the latest research and results from the business community and industrial partners and creates the framework for networking with the conference’s other visitors – directors, engineers, product managers, product developers, business developers and last but not least the talents of the future: university students.

Previous events

Workshop on Verifiable and Robust AI


Workshop on Verifiable and Robust AI

This interdisciplinary conference will consist of a combination of invited talks, panel discussions, working groups, and contributed talks and poster presentations.

Artificial intelligence, driven to a large extent by rapid advances in deep learning technology, has produced exciting results over the last decade across various different scientific disciplines and practical applications.

This success is accompanied by an increasing need for methods that explain the decisions of machine learning models, make their performance more robust under changing conditions, and can provide firm guarantees for their behavior with regard to aspects like safety, privacy preservation, and non-discrimination.

These emerging key issues for the further advancement of AI are being studied both in the AI/ML communities, as well as by researchers from the areas traditionally concerned with the safety and verification of software systems by formal methods, such as model checking and theorem proving. However, while working towards the same goals, the interaction between these different research communities has been somewhat limited. This workshop aims to bring together researchers from the AI/ML and formal methods communities for an exchange of ideas and scientific approaches for tackling the challenge of building safe, trustworthy and robust AI systems.

The workshop is supported by the Digital Research Center Denmark (DIREC). It will consist of a combination of invited talks, panel discussions, working groups, and contributed talks and poster presentations. This interdisciplinary conference will facilitate the exploration of synergies between the two fields, fostering novel collaborations and fostering the development of innovative techniques.

By uniting these scientific communities and promoting dialogue and collaboration, this workshop aims to pave the way for the development of AI systems that demonstrate remarkable performance and ensure safety, transparency, and accountability in their operation.

Selected contributions from the workshop will be published in a special issue of the International Journal on Software Tools for Technology Transfer (STTT).

Topics of interest include (but are not limited to):
  • Robustness against adversarial attacks
  • Robustness under domain distribution shifts
  • Fairness of machine learning models
  • Machine learning with humans-in-the-loop
  • Explaining predictions of machine learning models
  • Verification and validation of program code produced by generative AI as OpenAI Codex or GitHub CoPilot
  • Merging statistical ML and logical reasoning
  • Neuro-symbolic integration
  • Safety guarantees for machine learning models
  • Testing and evaluation protocols for machine learning models
  • Satisfiability modulo theories (SMT)
  • Integrating constraint satisfaction and machine learning
  • AI reasoning beyond prediction
  • Formal logic, domain logic, and machine learning?
  • (Non-statistical) privacy-preserving methods
  • Guarantee preservation for evolving ML models
  • Scalable formal methods for AI/ML
  • Benchmarking and evaluating the performance of AI/ML systems in safety-critical contexts
  • Case studies demonstrating successful application of formal methods and AI/ML techniques in the development of robust, verifiable AI systems


Thanks to the support from DIREC, the participation fee is reduced to DKK 1900 per person. This fee includes accommodation and full board for the duration of the workshop. Due to space and financial constraints, the number of participants is limited.

When you have registered you will receive an email within a couple of days with further information about payment etc.

Invited speakers

Peter Flach

University of Bristol

José Hernández-Orallo

Universitat Politècnica de València

Antonio Vergari

University of Edinburgh

Jan Křetínský

Technical University of Munich

Nils Jansen

Radboud University Nijmegen

Bernhard Steffen

TU Dortmund University

Moshe Vardi

Rice University


The workshop is organized by

  • Boris Düdder, University of Copenhagen
  • Jaco van de Pol, Aarhus University
  • Kim Guldstrand Larsen, Aalborg University
  • Thomas Hildebrandt, University of Copenhagen 
  • Manfred Jaeger, Aalborg University

Digital Tech Summit: An important meeting place for universities and industry


Digital Tech Summit: An important meeting place for universities and industry

This autumn’s last big tech event has completed with great success. Thank you for two exciting days at the Digital Tech Summit 2022 in Bella Center Copenhagen. 

Photo: Mikal Schlosser

This year’s theme was Building European Tech Resilience. In a time of war, geopolitical uncertainty, pandemics and vulnerable supply chains, it is important to focus on how the technological development is dealt with. Digital Tech Summit is an obvious occasion to discuss the foundation of the digital technologies that must contribute to solve the challenges.

We thank you for the many exciting presentations that focused on different perspectives of this year’s theme, and for meetings with researchers, students, startups, companies, NGOs, who believe that digital development is a prerequisite for solving some of society’s most urgent issues – from climate change to democratic challenges.

Together with the Pioneer Centre for AI, CBS, DTU and Danish Life Cycle Cluster, we focused on the development of digital technologies for the healthcare sector, which is dominated by a record high labour shortage. On the main stage, we assembled a strong panel for a discussion of how to navigate the challenges of implementing groundbreaking AI in the healthcare sector.
At our stand right in the middle of our eight university partners, we had visits from researchers, students, startups and established companies who wanted to know more about DIREC’s work in strengthening digital research across the universities and the business community – the private and the public sectors.
Finally, we focused on exciting DIREC projects within hybrid work, digital technologies for urban water management, Greentech and smart cities and the role of robotics, drones and AI in sustainable farming.
Special thanks to our contributing business partners and researchers involved in the DIREC projects.
We look forward to spreading much more exciting news about all the exciting research that is contributing to change the world for the better.

World-class research with a solid Danish footprint – with the aim of making a crucial difference for companies and society.

Previous slide
Next slide