Wednesday, January 17, 2018

[DMANET] 1st Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018): 1st call for contributions


1st International Workshop on
Multi-objective Reasoning in Verification and Synthesis

MoRe 2018

Friday 13th July 2018, Oxford, United Kingdom
FLoC 2018 workshop, affiliated with LICS 2018



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
- multi-criteria reasoning in probabilistic models (e.g., percentile
queries, quantiles, trade-off between worst-case and average-case
- probabilistic programs;
- extensions of timed automata including probabilistic or weighted
- stochastic hybrid systems;
- temporal logics enabling quantitative reasoning;
- practical applications involving multi-objective challenges;
- any related attempt to tackle trade-offs between multiple criteria
in formal models for verification and synthesis.


Christel Baier, Technische Universität Dresden, Germany
Benjamin Monmege, Aix-Marseille Université, France


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. Accepted abstracts will only
be published in informal pre-proceedings for the convenience of the
participants (non-mandatory).


- Abstract submission: April 15, 2018.
- Notification: May 15, 2018.


Program committee chairs

- Mickael Randour, UMONS - Université de Mons, Belgium
- Jeremy Sproston, University of Turin, Italy

Program committee

- Shaull Almagor, University of Oxford, UK
- Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique, France
- Véronique Bruyère, UMONS - Université de Mons, Belgium
- Krishnendu Chatterjee, IST Austria, Austria
- Joost-Pieter Katoen, RWTH Aachen, Germany
- Sadegh Soudjani, University of Newcastle, UK
- Ufuk Topcu, University of Texas at Austin, USA
- Ashutosh Trivedi, University of Colorado Boulder, USA

* Contributions to be spread via DMANET are submitted to
* 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.