[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION: CONFEST 2022
------------------------------
Warsaw, September 12-16, 2022
https://urldefense.com/v3/__https://confest2022.mimuw.edu.pl/__;!!IBzWLUs!VQKLTyYZFrgO04xzx-2cRd_iuFZURSZ6wwvqWBBKJjNqMeQeBYkZnpRcPsQFZhJj6DAwvaDHTCIMRsjyjlTqTUthDulSCJw$
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 ------
* CONCUR:
- 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)
* FMICS:
- Sven Schewe (Liverpool University)
- Bas Luttik (Eindhoven UT)
* FORMATS:
- 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$
.
------- CITY AND HOST INSTITUTION --------
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.
