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

Potentialerne er først for alvor ved at gå op for os nu, og udviklingen går stærkt. Netop disse aspekter sættes der fokus på, når der for allerførste gang afholdes robotfestival på Dokk1 i Aarhus.

• Fredag 25.8 zoomes der ind på de forretnings- og velfærdsmæssige potentialer, når spændende robotvirksomheder, roboteksperter og kommuner fortæller og showcaser de mange muligheder, der allerede er på markedet idag, men de fortæller også om alle de muligheder, der ligger lige rundt om hjørnet.


• Lørdag 26.8 sættes der fokus på de legende og lærende aspekter, når vi inviterer til robotoplevelser, robotleg og robotkreativitet for alle aldre.

Robotfestivalen er et samarbejde mellem ITK Aarhus Kommune, Aarhus City Lab, GovTech Midtjylland, Odense Robotics, Udenrigsministeriet, Aarhus Universitet, Dansk IT, Dokk1, DIREC – Digital Research Centre Denmark – og en række andre aktører inden for robotindustrien.

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 larger 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 want to give a 20–25-minute talk about your recent work, then please also send an email to Carsten Baum with a title of your talk. 
The organizers will then put a program together.

Registration is free, although you will have to pay for the dinner yourself.