[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
