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 ( t.meggendorfer@lancaster.ac.uk )
about any arising questions.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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/
*
**********************************************************
Posts
