Venue
MoRe 2019 is co-located with LICS 2019, in Vancouver, Canada. The workshop will be held in 1520 Barrick Gold Lecture Room at SFU Harbour Centre (515 W Hastings St) in Downtown Vancouver.
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:
08:00-09:00 | Welcome - coffee and pastries. |
09:00-10:00 | Invited talk: Michael Blondin - Automatic analysis of population protocols. |
10:00-10:30 | Coffee break. |
10:30-11:00 | Clément Tamines - Solving generalized parity games via safety games. |
11:00-11:30 | Mickael Randour - Extending finite-memory determinacy by Boolean combination of winning conditions. |
11:30-12:00 | Petr Jancar - EXPSPACE-Complete Variant of Countdown Games, with an Application. |
12:00-12:30 | Jeremy Sproston - Probabilistic Timed Automata with Clock-Dependent Probabilities |
12:30-14:00 | Lunch. |
14:00-15:00 | Invited talk: David Parker - Multi-objective Reasoning with Probabilistic Model Checking. |
15:00-15:30 | Florent Delgrange - Life is Random, Time is Not: Markov Decision Processes with Window Objectives. |
15:30-16:00 | Coffee break. |
16:00-16:30 | Laurent Doyen - Stochastic Games with Generalized Mean-Payoff Objectives. |
16:30-17:00 | Discussion. |
MoRe 2019 is co-located with LICS 2019, in Vancouver, Canada. The workshop will be held in 1520 Barrick Gold Lecture Room at SFU Harbour Centre (515 W Hastings St) in Downtown Vancouver.