Venue
MoRe 2018 is co-located with FLoC 2018, in Oxford, UK. Further information will be announced when available.
This event is a FLoC 2018 workshop, held on July 13, 2018, in Oxford, UK.
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:
May 15, 2018. | Accepted contributions announced. |
November 16, 2017. | Program committee announced. |
November 03, 2017. | Invited speakers announced. |
August 29, 2017. | Website online. |
MoRe 2018 is co-located with FLoC 2018, in Oxford, UK. Further information will be announced when available.