[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