Kategorier
Events

D3A – Danish Digitalization, Data Science and AI 2024

SAVE the dates

Danish Digitalization, Data Science and AI 2024 (D3A)

On February 1-2, 2024, we are bringing together researchers, students, and professionals from a wide range of fields to share the latest research and insights, gain new knowledge, exchange ideas, and make valuable connections across geography, scientific domains, and sub-fields.

Danish Digitalization, Data Science and AI (D3A) is a new national conference hosted by Pioneer Centre for AI (P1), Danish Data Science Academy (DDSA) and DIREC.

D3A is a scientific conference where the newest research and insights will be discussed. The aim is to grow the Danish digitalization, data science, and AI communities and strengthen the network for PhD students, postdocs, senior researchers, and professionals. We want to foster a collaborative and inclusive environment across Denmark. In 2024, the conference will take place on February 1-2 at Hotel Nyborg Strand.

Kategorier
Events

Digital Tech Summit 2023 – AI Transforming Business

DIGITAL TECH SUMMIT 2023

AI TRANSFORMING BUSINESS

Digital Tech Summit 2023 - AI Transforming Business er Nordens største deep tech konference og messe og det årlige mødested for forskere fra landets universiteter og deres partnere fra dansk erhvervsliv.

Over 2 dage får publikum adgang til mere end 100 faglige oplæg og 70 udstillere og et unikt indblik i de dominerende og transformerende digitale teknologier, der ændrer vores industrier og skaber fremtidens vækstmotorer.

Digital Tech Summit præsenterer den nyeste forskning og de stærkeste løsninger fra erhvervslivet og industripartnere, og skaber rammerne for netværkspleje med konferencens øvrige deltagere, som er ledere, ingeniører, produktansvarlige, produktudviklere, forretningsudviklere og ikke mindst fremtidens talenter – universiteternes studerende.

Kategorier
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, 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
  • 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 conference 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
Kategorier
Events

Kvanteteknologi i praksis: Hvordan virksomheder anvender kvanteteknologi i dag

Kvanteteknologi i praksis:

Hvordan virksomheder anvender kvanteteknologi i dag

Tag med os til en eftermiddag fyldt med ny viden og inspiration, når vi udforsker potentialet ved kvanteteknologi.

Er du nysgerrig efter den nyeste forskning og virkelige anvendelser af kvanteteknologi?

Tag med os til en eftermiddag fyldt med ny viden og inspiration, når vi udforsker potentialet ved kvanteteknologi.

Fire førende virksomheder, der arbejder med kvanteteknologi, vil dele deres arbejde og fremvise virkelige use cases til kvantecomputere og kvanteinspireret databehandling. Fra beregningsmæssige problemer til kemi og optimering vil oplæggene fremhæve, hvordan kvantecomputere omformer industrier og løser nutidens udfordringer for virksomheder og samfund.

Uanset om du er en kvanteentusiast eller bare nysgerrig efter potentialet i kvanteteknologier, vil denne begivenhed vise dig de mange måder, hvorpå kvantecomputere kan anvendes til at revolutionere både industri og samfund.

PROGRAM

12.30-13.00 Frokost og networking

13.00-13.10  Velkomst

13.10-13.40  Præsentation og Q&A
med Mark Jones, Co-Founder & CEO/CTO, Molecular Quantum Solutions

13.40-14.10  Præsentation og Q&A
med Janus Wesenberg, Head of Research, Kvantify

14.10-14.20  Kaffepause

14.20-14.50  Præsentation og Q&A
med Troels Steenstrup, Director & Head of Machine Learning and Quantum Technologies, KPMG

14.50-15.20  Præsentation og Q&A
med Jørgen Ellegaard Andersen, Founder and CEO, QPurpose

15.20-15.50  Paneldebat

15.50-16.00  Afslutning

15.50-16.30  Networking og et glas vin/vand