[TYPES/announce] 1st CfPart: AQUARIUM 2026 - Workshop on Automated QUAntification of Risk In Uncertain Models
Tobias Meggendorfer
t.meggendorfer at lancaster.ac.uk
Wed Nov 5 08:32:06 EST 2025
# CALL FOR PARTICIPATION
1st Workshop on Automated QUAntification of Risk In Uncertain Models
(AQUARIUM)
Lancaster University Leipzig, Leipzig, Germany
- Talk Proposal Submission: 03.02.2026 (AoE)
- Notification: 10.02.2026 (AoE)
- Workshop: 24.-25.03.2026
Website with up-to-date information:
https://urldefense.com/v3/__https://wp.lancs.ac.uk/aquarium-workshop/__;!!IBzWLUs!RfsBajDLr9qbvW4hzzk_Om4Zo1SgbVAG9cOeXxgGLDUDgLY9XD5baAsd3kfYjN1cxIrI3QxIlO7bH2jAo2Hm4vvD2Ehn_ndDCt1kV27uwZjEUw$
# 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:
https://urldefense.com/v3/__http://easychair.org/conferences?conf=aquarium2026__;!!IBzWLUs!RfsBajDLr9qbvW4hzzk_Om4Zo1SgbVAG9cOeXxgGLDUDgLY9XD5baAsd3kfYjN1cxIrI3QxIlO7bH2jAo2Hm4vvD2Ehn_ndDCt1kV25oKMn9Jg$
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, 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 at lancaster.ac.uk )
about any arising questions.
More information about the Types-announce
mailing list