DIREC-seminar 2022

26 – 27 SEPTEMBER 2022
HELNAN HOTEL MARSELIS – AARHUS


Deltag i dette års DIREC Seminar med spændende workshops, keynotes, netværk mm. Seminaret er relevant for alle deltagere i DIREC-workstreams og -projekter, samt andre, der er fagligt interesserede i en eller flere DIREC-workstreams. Hvis du har ideer eller forslag til temaer, du ønsker behandlet, er du velkommen til at kontakte den relevante workstreamleder.

Program

Mandag 26. september

09.30

Arrival, croissants and coffee

10.00

Welcome by Thomas Riisgaard Hansen, CEO, DIREC

10.10

Keynote – TBA

11.00
Coffee break

11.15

Workshops

Christian S. Jensen, Aalborg University TBA

Rasmus Pagh, University of Copenhagen

Susanne Bødker, Aarhus University Morning Brief round of introduction, status of HCI projects in DIREC, ReWork in particular. Afternoon An invited talk (name to be announced later). Planning of activities for HCI day in October (Aarhus)

Jan Madsen, Technical University of Denmark

TBA

Kim Guldstrand Larsen, Aalborg University SESSION 1 11.15-12.45 (Verifikation) BRIDGE: Verifiable and Safe AI for Autonomous Systems EXPLORE: Automated Verification of Sensitivity Properties for Probabilistic Programs 
EXPLORE:Verifiable and Robust AI 
FUTURE projects: SESSION 2 13.45-15.15 (Software Engineering) BRIDGE: SIOT – Secure Internet of Things – Risk analysis in design and operation EXPLORE: DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems EXPLORE: Certifiable Controller Synthesis for Cyber-Physical Systems 
FUTURE projects:

Mads Nielsen, University of Copenhagen

Carsten Schürmann, IT University of Copenhagen & Claudio Orlandi, Aarhus University Morning: Privacy Enhancing Technologies Afternoon: Blockchain

13.00

Lunch

14.00

Workshops – continued

15.30

One Minute Madness – Presentation of DIREC projects following Q&A

17.00

Networking, drinks, walk

18.30

Conference dinner

Tirsdag 27. september

08.00

Breakfast

09.00

Keynote TBA

09.45
Coffee break

10.00

Workshops

Mark Riis, Technical University of Denmark Collaboration on entrepreneurship across universities Content

  • Recap on WS 13 activities in 2021-2022
  • Digital Tech Summit - results and experiences
  • Young Researcher Entrepreneurship - results and experiences
Which joint activities should we initiate in 2022-2023?
  • DIREC at Digital Tech Summit 2022
  • Other activities in relation to supporting entrepreneurship and collaboration across universities

Mikkel Baun Kjærgaard, University of Southern Denmark

How to gender unbias your teaching
by
Claus Brabrand

How to use technology to scale courses to 100+ students without dying
by Md Saifuddin Khalid

WS12P12
by Ulrik Nymann og Jakob Andersen

Thomas Hildebrandt, University of Copenhagen

Helle Zinner Henriksen, Copenhagen Business School

End of the Rainbow

In this session we will discuss how technical solutions and ideas from some of  the DIREC projects can be diffused to a wider context.

The aim is to illustrate the benefit of addressing tech and business.

Jan Madsen, Technical University of Denmark

Quantum computing is a quickly growing field and we expect viable systems to be available soon. Denmark is one of the leading research environments for quantum research (counted as quantum researchers per capita), Current focus is on physics, i.e., how to develop quantum devices to handle qubits (and more generally using quantum mechanics for sensing and communication), or on mathematics, i.e., theoretically exploring which type of algorithms that in theory might be executed effectively on a quantum computer.


Today, very few researchers from the Danish computer science environment are actively involved in quantum computing research. As soon as a robust and scalable hardware for the quantum computer is established, an efficient and intuitive software stack is needed to realize its full potential – this software stack must be developed by computer scientist! However, we do not need to wait for the hardware to be ready, in fact, we can already start working on the software stack from current knowledge, such that the methods and tools for quantum software development is ready. This will be crucial for the field of quantum computing to scale.

Bop Pepin, The Alexandra Institute

We start by presenting different data sources and challenges through lightning talks e.g.

  1. IoT/devices,
  2. markets and coordination between actors, and
  3. infrastructure for PtX.

Then either focus on one aspect or split into working groups, depending on the interests of the participants.

12.30

Lunch

13.30

Keynote 3 / Panel debate TBA

14.00

  • Lars Bak, Former Head of Google's Development Dept. in Denmark,
  • Steffen Grarup, Uber
  • Kresten Krab Thorup, Founder of Humio
Moderator: Professor Ole Lehrmann Madsen Lars, Steffen and Kresten are all graduates from department of computer science at Aarhus University. They have all made an impressive careers with high tech comp companies in Silicon Valley and Denmark. These companies include Next Computer, Sun Micro Systems, VMware, Google, and Uber. They have also been involved in a number of start-ups including Animorphic Systems, OOVM, Toitware, Trifork and Humio. These endeavors have resulted in development of a large palette of new innovative digital technologies. In the panel they will tell us about their experience and highlight the most important lessons from their careers including their life as computer science students. We will ask them about their advice to students and young candidates of today regarding how to get an interesting carrier working with ground-breaking digital technologies and getting them out in successful products.

14.50

Concluding remark
Thomas Riisgaard Hansen

15.00

End of seminar