Best Paper Award (Oded Maler Award in Timed Systems) Winner: An STL-based Formulation of Resilience in Cyber-Physical Systems by Hongkai Chen, Shan Lin, Scott Smolka and Nicola Paoletti.
Best Artifact Evaluation Award Winner: Neural Network Repair with Reachability Analysis by Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson, and Danil Prokhorov.
Joint CONFEST Statement on the Russian invasion of Ukraine
The Steering Committees and PC Chairs of CONFEST 2022 conferences strongly condemn the Russian invasion of Ukraine, a violation of international law, a horrifying crime and a threat to humanity. We express our solidarity with the Ukrainian people in their plight, and our deep respect to their courage in defending their country. We adhere to the statement of the European University Association (EUA). In view of disgraceful declarations of many Russian academic institutions, we support the decision, made by several international academic organizations, to freeze all institutional collaboration with the Russian academic establishment. Therefore we request academics from Russia, when submitting their work for CONCUR/FMICS/FORMATS/QEST 2022, to consider refraining from mentioning Russian affiliations and acknowledging support from Russian institutions. We know that many Russian academics are actively opposed to the war against Ukraine and we acknowledge their civil courage.