[TYPES/announce] FORMATS 2023 (at CONFEST): Call for participation

[Jeremy Sproston]

FORMATS 2023: call for participation

21st International Conference on Formal Modeling and Analysis of Timed 
Systems

https://urldefense.com/v3/__https://www.uantwerpen.be/en/conferences/confest-2023/formats/__;!!IBzWLUs!Q0Clp967wVAKN3qZczyWc0D0vzxWBaQlNb21zQIssnN2FVJrOpyhPNz_UQ1uYMx5vwQBuYDaCBu0DgHucw3pb93uF4-9AhEMJVQ$ 

19-21 September 2023, Antwerp, Belgium
co-located with CONCUR, FMICS and QEST as part of CONFEST 2023

FORMATS (International Conference on Formal Modeling and Analysis of 
Timed Systems) is an annual conference which aims to promote the study 
of fundamental and practical aspects of timed systems, and to bring 
together researchers from different disciplines that share interests in 
the modelling, design and analysis of timed computational systems.

REGISTRATION

Registration to CONFEST is now open 
https://urldefense.com/v3/__https://www.uantwerpen.be/en/conferences/confest-2023/registration/__;!!IBzWLUs!Q0Clp967wVAKN3qZczyWc0D0vzxWBaQlNb21zQIssnN2FVJrOpyhPNz_UQ1uYMx5vwQBuYDaCBu0DgHucw3pb93uF4-91gSsQ_U$ 

Note that early fees apply until 6 August 2023, after which slightly 
higher standard prices will apply.

INVITED SPEAKERS

FORMATS 2023 will feature the following invited speakers:

- Joost-Pieter Katoen, RWTH Aachen University, Germany (joint with all 
CONFEST conferences)
- Nicolas Markey, CNRS & University of Rennes, France (joint with CONCUR)
- David Parker, Oxford University, UK (joint with QEST, CONCUR)
- Jaco van de Pol, Aarhus University, Denmark (joint with CONCUR, FMICS)

ACCEPTED PAPERS

The list of papers that have been accepted for presentation at FORMATS 
2023 can be consulted here:

https://urldefense.com/v3/__https://www.uantwerpen.be/en/conferences/confest-2023/formats/papers/__;!!IBzWLUs!Q0Clp967wVAKN3qZczyWc0D0vzxWBaQlNb21zQIssnN2FVJrOpyhPNz_UQ1uYMx5vwQBuYDaCBu0DgHucw3pb93uF4-9wjGYF1w$