Call for Participation
FORMATS 2020
September 1st-3rd
Online Event
co-located with CONCUR, FMICS, and QEST
https://formats-2020.cs.ru.nl/ <https://formats-2020.cs.ru.nl/>
Invited Speakers: Alessandro Abate, Roderick Bloem, Annabelle McIver
- Deadlines
• Early registration deadline: no later than August 13th, 2020
• Late registration deadline: from August 14th to September 5th, 2020
- Objective
Timing aspects of systems from a variety of computer science domains have been
treated independently by different communities. Researchers interested in
semantics, verification, and performance analysis study models such as timed
automata and timed Petri nets, the digital design community focuses on
propagation and switching delays, while designers of embedded controllers have
to take account of the time taken by controllers to compute their responses
after sampling the environment. Timing-related questions in these separate
disciplines do have their particularities. However, there is a growing
awareness that there are basic problems that are common to all of them. In
particular, all these sub-disciplines treat systems whose behaviour depends
upon combinations of logical and temporal constraints; namely, constraints on
the temporal distances between occurrences of events.
- Special Sessions
This year, FORMATS features two special sessions:
Data-driven methods for timed systems (chaired by Guillermo Alberto Perez).
We are interested in all kind of data-driven methods such as machine learning
or automata learning that consider timing aspects. Examples are automata
learning for timed automata or reinforcement learning with timing constraints.
Probabilistic and timed systems (chaired by Arnd Hartmanns).
Real-time systems often encompass probabilistic or random behavior. We are
interested in all approaches to model or analyze such systems, for instance
through probabilistic timed automata, or stochastic timed Petri nets.
- Invited Talks
• Alessandro Abate
• Roderick Bloem
• Annabelle McIver
- Accepted Papers
• Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal
Keller, Benoît Valiron and Burkhart Wolff. On the Semantics of Polychronous
Polytimed Specifications.
• Rémi Parrot and Didier Lime. Backward Symbolic Optimal Reachability
in Weighted Timed Automata.
• Simon Wimmer, Frédéric Herbreteau and Jaco van de Pol. Certifying
Emptiness of Timed Büchi Automata.
• Nicolas Basset, Thao Dang, Akshay Mambakam and José Ignacio Requeno
Jarabo. Learning specifications for labelled patterns.
• Thomas Brihaye and Aline Goeminne. On Subgame Perfect Equilibria in
Turn-Based Reachability Timed Games.
• Emily Clement, Thierry Jéron, Nicolas Markey and David Mentré.
Computing maximmaly-permissive strategies in acyclic timed games.
• Martin Kölbl, Stefan Leue and Robert Schmid. Dynamic Causes for the
Violation of Timed Reachability Properties.
• Léo Henry, Thierry Jéron and Nicolas Markey. Active learning of timed
automata with unknown resets.
• Alessandro Abate, Alessandro Cimatti, Andrea Micheli and Muhammad
Syifaul Mufid. Computation of Transient in Max-Plus Linear Systems via
SMT-Solving.
• Xin Qin and Jyotirmoy Deshmukh. Clairvoyant Monitoring for Signal
Temporal Logic Patterns.
• Brian Kempa, Pei Zhang, Phillip Jones, Joseph Zambreno and Kristin
Yvonne Rozier. Embedding online RV for fault disambiguation on Robonaut2.
• Susanna Donatelli and Serge Haddad. Guarded Autonomous Transitions
Increase Conciseness and Expressiveness of Timed Automata.
• Edoardo Bacci and David Parker. Probabilistic Guarantees for Safe
Deep Reinforcement Learning.
• Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi and Ocan
Sankur. Incremental methods for checking real-time consistency.
• Dongxu Li, Stanley Bak and Sergiy Bogomolov. Reachability Analysis of
Nonlinear Systems Using Hybridization and Dynamics Scaling.
• Wolfgang Granig, Stefan Jaksic, Lewitschnig Horst, Cristinel Mateis
and Dejan Nickovic. Weakness Monitors for Fail-Aware Systems.
For any questions, feel free to contact the co-chairs Nathalie Bertrand
([email protected] <mailto:[email protected]>) and Nils
Jansen ([email protected] <mailto:[email protected]>)
Committees
- Steering Committee
Rajeev Alur (USA)
Eugene Asarin (France)
Martin Fränzle (chair, Germany)
Thomas A. Henzinger (Austria)
Joost-Pieter Katoen (Germany)
Kim G. Larsen (Denmark)
Oded Maler (founding chair, France) (1957-2018)
Pavithra Prabhakar (USA)
Mariëlle Stoelinga (The Netherlands)
Wang Yi (Sweden)
- Program Chairs
Nathalie Bertrand (France)
Nils Jansen (The Netherlands)
- Program Committee
Mohamadreza Ahmadi (USA)
Nicolas Basset (France)
Anne Bouillard (France)
Patricia Bouyer-Decitre (France)
Milan Ceska (Czech Republic)
Aiswarya Cyriac (India)
Rayna Dimitrova (UK)
Uli Fahrenberg (France)
Gilles Geeraerts (Belgium)
Arnd Hartmanns (The Netherlands)
Frédéric Herbreteau (France)
Laura Humphrey (USA)
Sebastian Junges (Germany)
Gethin Norman (UK)
Marco Paolieri (USA)
Guillermo Perez (Belgium)
Hasan Poonawala (USA)
Krishna S (India)
Ocan Sankur (France)
Ana Sokolova (Austria)
Jiri Srba (Denmark)
B Srivathsan (India)
Ufuk Topcu (USA)
Patrick Totzke (UK)
Jana Tumova (Sweden)
Frits W. Vaandrager (The Netherlands)
Masaki Waga (Japan)
Lijun Zhang (China)
—
Dr. Nils Jansen
Assistant Professor
Department of Software Science
Radboud University Nijmegen
http://nilsjansen.org <http://nilsjansen.org/>
_______________________________________________
uai mailing list
[email protected]
https://it.engineering.oregonstate.edu/mailman/listinfo/uai
