TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Research Meeting 21255

Workshop des GRK UnRAVeL

( Jun 20 – Jun 23, 2021 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/21255

Organizer

Contact

Description

Uncertainty is nowadays more and more pervasive in computer science. It is important both in big data and at the level of events and control. Applications have to treat large amounts of data, often from unreliable sources such as noisy sensors and untrusted web pages. Data may also be subject to continuous changes, may come in different formats, and is often incomplete. Robots, trains, and production machines have to deal with unpredictable environments. The growing use of machine-learning components — often providing weak guarantees — forms an additional factor of uncertainty.

The aim of this RTG is to significantly advance various theoretical concepts (in algorithms, logic, verification) as well as their connection to deal with uncertainty and randomness, and to tailor and apply these techniques to problems in application areas such as railway engineering, network dynamics, and cyber-physical systems

Copyright Joost-Pieter Katoen

Classification
  • cs.AI - Artificial Intelligence
  • cs.DB - Databases
  • cs.FL - Format Languages and Automata Theory
  • cs.LO - Logic in Computer Science
  • cs.PL - Programming Languages