Final CfPart: AQUARIUM 2026 - Workshop on Automated QUAntification of Risk In Uncertain Models

# CALL FOR PRESENTATION / PARTICIPATION

1st Workshop on Automated QUAntification of Risk In Uncertain Models 
(AQUARIUM)
Lancaster University Leipzig, Leipzig, Germany

- Talk Proposal Submission: 15.02.2026 (AoE) (extended)
- Notification: 17.02.2026 (AoE)
- Workshop: 24.-25.03.2026

Website with up-to-date information:
   https://wp.lancs.ac.uk/aquarium-workshop/

Participation without own submission/presentation is also possible. In 
that case, please contact Tobias Meggendorfer directly.

# SCOPE

While established in finance and operations research, formally 
quantifying (and managing) risk is an emerging topic in various fields 
connected to automated (sequential) decision making, e.g. verification 
or reinforcement learning. There are numerous ways to quantify risk and 
similarly many sources, e.g. probabilistic uncertainties or lack of 
knowledge. AQUARIUM aims to bring together researchers investigating 
different notions of risk and foster exchange between them.

Topics of interest include but are not limited to:
  - Different definitions of risk and their properties
  - Different sources of risk, such as stochastic or epistemic 
uncertainties or varying models, such as attack-defense / fault trees 
and multi-agent systems
  - Complexity analysis of and algorithmic solutions for automated 
risk-aware decision making
  - Case-studies and real-world applications of risk
  - Connections between risk and security

# SUBMISSION GUIDELINES

To give a presentation at the workshop, please submit a (non-anonymous) 
abstract / talk proposal (1-2 pages, excluding references) via easychair:

   http://easychair.org/conferences?conf=aquarium2026

Please use the Springer LLNCS LaTeX style to prepare your submission. 
The workshop won't have formal proceedings. You are free / encouraged to 
submit work for presentation that is or will be published elsewhere.

# FORMAT

The workshop is planned as a two-day event (ending around noon), with a 
mixture of presentations and guided discussion sessions. To encourage 
lively exchange, the workshop is planned as in-person only. Leipzig is 
well connected and easily reached by car, train, or plane. There are 
many hotels within walking distance, and we can offer special rates for 
several of them.

We can also support travel and accommodation costs for a limited number 
of participants, prioritizing early-career researchers. Please contact 
Tobias Meggendorfer (see below) in case you require support.

# ORGANIZERS

  - Christel Baier
  - Tobias Meggendorfer
  - Maximilian Weininger

Please contact Tobias Meggendorfer ( [email protected] ) 
about any arising questions.
**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************