MoRe 2019

2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis

This event is a LICS 2019 workshop, held on June 22, 2019, in Vancouver, Canada.


MoRe aims at bringing together researchers interested in multi-objective reasoning for verification and synthesis.

Traditionally, verification and synthesis techniques focus on a single qualitative or quantitative objective for the reactive system. In practice, it is often desired that systems satisfy a functional requirement expressed as a qualitative property, while optimising some quantitative dimension (e.g., reach a target state while minimising the energy consumption). Furthermore, there are numerous application contexts in which reasoning simultaneously about multiple, heterogeneous quantitative and qualitative characteristics is important. In many cases, the analysis of such systems may be complicated by the fact that there are trade-offs between objectives. Such trade-offs may also arise between several interpretations of the same quantitative dimension: for example, between the average-case and the worst-case performance of a system.

MoRe is a meeting place for researchers in the area of multi-objective reasoning for verification and synthesis, with topics of interest ranging from novel theoretical models to industrial challenges and practical applications. Typical topics of the workshop include, but are not limited to, formal approaches toward verification and synthesis in the following settings:

  • games (and related models) with multiple qualitative and quantitative objectives;
  • multi-criteria reasoning in probabilistic models (e.g., percentile queries, quantiles, trade-off between worst-case and average-case performance);
  • extensions of timed automata including probabilistic or weighted aspects;
  • stochastic hybrid systems;
  • temporal logics enabling quantitative reasoning;
  • probabilistic programs;
  • practical applications involving multi-objective challenges;
  • any related attempt to tackle trade-offs between multiple criteria in formal models for verification and synthesis.
For any questions, please contact Mickael Randour at <firstname>.<lastname>


March 08, 2019. Invited speakers announced.
December 12, 2018. Website online.

Program committee

Program committee chairs

Program committee

Invited speakers

David Parker, University of Birmingham, United Kingdom



Michael Blondin, Université de Sherbrooke, Canada



Call for contributions

The aim of MoRe is to stimulate discussions on a broad range of topics and highlight recent advances in the field. Thus, we warmly welcome presentations of recently published as well as ongoing work. We encourage all interested authors to submit an extended abstract (at most 2 pages, excluding references) describing their presentation, together with a short one-paragraph abstract, through Easychair: Abstracts will be assessed by the program committee on the basis of potential interest to workshop participants.

Important dates:

  • Abstract submission: April 3, 2019.
  • Notification: April 29, 2019.


MoRe 2019 is co-located with LICS 2019, in Vancouver, Canada. Further information will be announced when available.

Past events

  • MoRe 2018, 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis, FLoC 2018 workshop, Oxford, UK, July 13, 2018.

MoRe 2019 is supported by Complexys, the UMONS research institute for complex systems.