[TYPES/announce] FORMATS 2020 **Call for Participation**

[Nils Jansen]

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 (nathalie.bertrand at inria.fr <mailto:nathalie.bertrand at inria.fr>) and Nils Jansen (n.jansen at science.ru.nl <mailto:n.jansen at science.ru.nl>)



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/>


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200808/01e187df/attachment.htm>