Search
Close this search box.
Categories
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

Categories
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.


Meet:
Categories
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.
 
Speaker:

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

Categories
Previous events

Digital Tech Summit 2023 – AI Transforming Business

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.

Categories
Previous events

Workshop on Verifiable and Robust AI

VRAI

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

Registration

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

Organizers

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
Categories
Previous events

Quantum in practice: Current industry applications

Quantum Event:

Quantum in practice: Current industry applications

Join us for an afternoon filled with insights and inspiration as we explore the potential of quantum computing.

Are you curious about cutting-edge research and real-world applications of quantum technology?

Four leading companies working in quantum computing will share their work and showcase real-world use cases for quantum computing and quantum-inspired computing. From computational problems to chemistry and optimization, the talks will highlight how quantum computing is reshaping industries and solving today’s challenges for companies and society.

***This event will be held in Danish***

Whether you’re a quantum enthusiast or just curious about the potential of quantum technologies, this event will show you the many ways in which quantum computing can be applied to revolutionize our industries and society for good.

PROGRAMME

12.30-13.00 Lunch and networking 

13.00-13.10  Welcome 

13.10-13.40  Variationelle kvantealgoritmer (VQA) til kvantekemi og kemitekniske applikationer
Mark Jones, Co-Founder & CEO/CTO, Molecular Quantum Solutions

13.40-14.10  Hvordan vi finder svære beregningsmæssige problemer
Janus Wesenberg, Head of Research, Kvantify

14.10-14.20  Coffee break

14.20-14.50  Hvordan QPurpose bruger kvanteteknologi til at løse computationelle problemer på tværs af industrier 
Jørgen Ellegaard Andersen, Founder and CEO, QPurpose

14.50-15.20  Kvantesikker kryptografi
Emil Hansen, CTO, Cryptomatic

15.20-15.50  Panel discussion
Moderator Sofie Lindskov Hansen, Quantum Business Developer, Sparrow Quantum

15.50-15.55  Closing remarks

15.55-16.15  Networking and refreshment

Categories
Previous events

Workshop: An update on quantum computers – where are we today?

workshop

An update on Quantum computers – where are we today?

Quantum technology has become a hot topic, not the least in Denmark with the recent announcement of the Government’s Quantum Strategy.

Quantum computing is probably the potentially most disruptive of the three main quantum technologies (sensing, communications and computing). In this workshop we will illustrate the current state-of-the art of quantum computing through examples and explanations from researchers in this field.
 
We are still in the so-called NISQ-era (noisy-intermediate-scale-quantum) with a limited number of very fragile qubits. The technical press frequently reports about ‘breakthroughs’ and you may get the impression that the ultimate quantum computer is just around the corner. There have also been reports about interesting results obtained with so-called analog quantum simulators.
 
It may be difficult to look through the hype and get a clear impression of where we stand today. Some claim that it will be possible to obtain performance with NISQ-processors that will outperform state-of-the-art HPCs quite soon. Others think that it will not happen until an error corrected, gate-based quantum processor becomes available.
 
In this workshop we will present examples of what’s actually possible today and we will address some of the recent so-called breakthroughs. We will also explain what analog quantum simulators are, and what they may be used for.
 
Target audience:
The target audience for the workshop are researchers and technical staff from the members of DIREC and the Danish Quantum Community and others having a basic background knowledge on quantum computing.

AGENDA

09:30 – 10:00 Arrival and coffee

10:00 – 10:05 Welcome

10:05 – 10:20 Overview of performance for available quantum computers

Quantum Engagement Specialist, Ulrich Busk Hoff, Kvantify

10:20 – 10:35 Error mitigation – a way to early quantum advantage? 

IBM Quantum Ambassador, Henrik Vosegaard and
Partner Technical Specialist, Christoffer Mohr Jensen IBM

10:35 – 10:50 Quantum simulators – what is that, and what can they do?
PhD student Dylan Harley, QMATH

10:50 – 11:20 Discussion in smaller groups

  • Benchmarking quantum versus classical computing
  • Efficient mapping of quantum algorithms onto NISQ computers
  • Market aspects/venture capital
  • How do we engage more computer scientists in quantum computing?

11:20 – 11:35 Assessment of recent results from Quantinuum
Professor Jørgen Ellegaard Andersen, Head of Center for Quantum Matematics, SDU

11:35 – 11:50 Optimal Mapping of Quantum Circuits to NISQ computers
Professor Jaco van de Pol and Ph.D. PostDoc Irfansha Shaik, Department of Computer Science, AU

11:50 – 12:10 Experience from working with NISQ-devices in the Cloud
Head of Research, Janus Wesenberg, Kvantify

12:10 – 12:30 Computer science’s role in early quantum computing
Professor, Dr. Tech. Torben Larsen, AAU

12:30 – 13:00 Lunch and networking

REFERENCES
Categories
Previous events

Quantum Computing – Workshop and Opening Event

Part 1 workshop

Topological Quantum Computing, Gaussian Boson Sampling
 and Measurement-based Quantum Computing

Part 2

Part 2 Opening Event

Quantum Hub Opening Event

PART 1 Workshop:  09:00-12:00

Topological Quantum Computing, Gaussian Boson Sampling
 and Measurement-based Quantum Computing

Programme

09:00 Welcome
by DIREC managing director Thomas Riisgaard Hansen

09:10 Topological Quantum Computing
by Professor and QM Centre Director Jørgen Ellegaard Andersen

10:20 Coffee break

10:35 Gaussian Boson Sampling
by Assistant Professor Shan Shan

11:15 Coffee break

11:30 Measurement-based Quantum Computing
PhD Student Santiago Quintero de los Rios

All are welcome

Sign up by e-mail to Thomas Riisgaard Hansen

 

PART 2: 13:00 – 17:00

SDU Quantum Hub Opening Event

Programme

13:00 Welcome by SDU Quantum Hub
by Director Professor Jørgen Ellegaard Andersen

13:05 Presentations of quantum research activities at:

  • NBI, Professor Klaus Mølmer

  • DTU, Professor Ulrik Lund Andersen

  • ITU, Associate Professor Michael Kastoryano
  • AU, Professor Birgit Schiøtt

  • AAU, Professor Torben Larsen

  • KU, Professor Matthias Christandl

15:25 Coffee break

15:40 Presentation of the SDU Quantum Hub
by Professor Jørgen Ellegaard Andersen

16:10 Addresses
by TEK Dean, Professor Henrik Bindslev, NAT Dean, Professor Marianne Holmer & Rector, Professor Jens Ringsmose

16:30 Reception

Registration is not needed

Categories
Previous events

ReWork Artistic Exploratory: Research and Art Exhibition

ReWork artistic exploratory:

Research and Art Exhibition

Come and join us when we are presenting art prototypes and research exploring the future of work.

ReWork is a multidisciplinary research project exploring the future of hybrid work technologies and experiences. ReWork collaborators include academic researchers at Danish universities in partnership with artists, cultural institutions, and companies in several industries.

Join artists Stine Deja, Jakob La Cour, Line Finderup Jensen, and Lea Porsager, along with researchers from the ReWork research project, for this multidisciplinary art event, research exhibit, and reception.

About the collaborators:

Stine Deja explores the uncanny and sometimes absurd futures of our landscapes, lives, bodies, and environments, with media including sculpture, 3D animation, sound, and immersive installations.

Jakob La Cour creates extended reality experiences and performance art that draws on ancient and traditional rituals and practices in combination and contrast with cutting edge modern technologies.

Line Finderup Jensen examines past and future human experiences and the nature of reality through videos, VR, interactive 3D animated games, and paintings.

Lea Porsager engages with physics, feminism, politics, and culture through a variety of artistic practices including tangible and intangible media such as land art and sculpture, film, text, and animation.

Categories
Previous events

Summer School on Missing Data, Augmentation and Generative Models

phd summer school

Missing Data, Augmentation and Generative Models

This summer school will introduce the state-of-the-art for handling too little or missing data in image processing tasks. The topics include data augmentation, density estimation, and generative models.

Missing data is a common problem in image processing and in general AI based methods. The source can be, for example, occlusions in 3D computer vision problems, poorly dyed tissue in biological applications, missing data points in long-term observations, or perhaps there is just too little annotated data for a deep-learning model to properly converge.

On this PhD summer school, you will learn some of the modern approaches to handling the above-mentioned problems in a manner compatible with modern machine learning methodology.

This summer school will introduce the state-of-the-art for handling too little or missing data in image processing tasks. The topics include data augmentation, density estimation, and generative models. The course will include project work, where the participants make a small programming project relating their research to the summer school’s topics.

The summer school is the fifteenth summer school jointly organized by DIKU, DTU, and AAU. DIREC is co-sponsor of the PhD school.

Photo from the summer school in 2022