[TYPES/announce] CONCUR + FMICS + FORMATS + QUEST + workshops = CONFEST: call for participation

Bartek Klin klin at mimuw.edu.pl
Mon Jul 11 17:11:47 EDT 2022


Warsaw, September 12-16, 2022
Early registration open until August 7, 2022

------ MAIN CONFERENCES: Sep. 13-16 ------

- CONCUR: 33rd International Conference on Concurrency Theory
 (PC chairs: Bartek Klin, Sławomir Lasota, Anca Muscholl)
- FMICS: 27th International Conference on Formal Methods for Industrial Critical Systems
 (PC chairs: Jan Friso Groote, Marieke Huisman)
- FORMATS: 20th International Conference on Formal Modeling and Analysis of Timed Systems
 (PC chairs: Sergiy Bogomolov, David Parker)
- QEST: 19th International Conference on Quantitative Evaluation of SysTems
 (PC chairs: Erika Ábrahám, Marco Paolieri)

------ INVITED SPEAKERS ------

- Wojciech Czerwiński (Warsaw University)
- Philippa Gardner (Imperial College London)
- Rupak Majumdar (Max Planck Institute for Software Systems)
- Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico)
- Sven Schewe (Liverpool University)
- Bas Luttik (Eindhoven UT)
- Thao Dang (CNRS & Université Grenoble Alpes)
- Joël Ouaknine (Max Planck Institute for Software Systems)
* QEST: 
- Jane Hillston (University of Edinburgh)
- Marta Kwiatkowska (University of Oxford)

------ SATELLITE WORKSHOPS: Sep. 12 --------

- EXPRESS/SOS: 29th Expressivenes in Concurrency / 19th Structural Operational Semantics
 (PC chairs: Valentina Castiglioni, Claudio Antares Mezzina)
- TRENDS: 11th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
 (chairs: Pedro D'Argenio, Ana Sokolova)  
- SNR: 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis
 (chairs: Ashutosh Trivedi, Tarek Raissi)
- YR CONCUR: 10th Young Researchers Workshop on Concurrency Theory
 (chairs: Wojciech Czerwiński, Sophia Knight)

------- FINANCIAL SUPPORT ---------

We offer a number of grants for students and young researchers to cover the conference fee and accommodation in Warsaw; for details see https://urldefense.com/v3/__https://confest2022.mimuw.edu.pl/grants-info/__;!!IBzWLUs!VQKLTyYZFrgO04xzx-2cRd_iuFZURSZ6wwvqWBBKJjNqMeQeBYkZnpRcPsQFZhJj6DAwvaDHTCIMRsjyjlTqTUthLvEJ6I8$  .


Warsaw is the capital of Poland, and a vibrant centre of art, science, business, culture and tourism. Iconic places to visit in Warsaw include the Old Town (UNESCO World Heritage Site), the Łazienki Royal Park, and museums such as the POLIN Museum of the History of Polish Jews, the Warsaw Uprising Museum, and the Royal Palace at Wilanów.

The conference will be hosted by Warsaw University.

--------- SAFETY ISSUES -----------

CONFEST 2022 will be an in-person event, and we hope that almost all participants will be physically present. However, some support for online presence will be provided for those participants who cannot attend due to pandemic restrictions.

More information about the Types-announce mailing list