CONFEST 2022 -- Call for Workshop Proposals
* CONFEST 2022 * -- Call for Workshop Proposals September 12 - September 17 2022, Warsaw, Poland (https://confest2022.mimuw.edu.pl/) CONFEST is the umbrella conference comprising the joint international 2022 meetings: - CONCUR (33st International Conference on Concurrency Theory), - QEST (19th International Conference on Quantitative Evaluation of SysTems), - FORMATS (20th International Conference on Formal Modeling and Analysis of Timed Systems), and - FMICS (27th International Conference on Formal Methods for Industrial Critical Systems). Researchers and practitioners are invited to submit proposals for ONE DAY workshops on topics related to theory, formal modeling, verification, performance evaluation and engineering of concurrent, timed, industrial, and other systems. Typically, CONFEST workshops feature a number of invited speakers and a number of contributed presentations. The workshops will take place one day before (12 September) and one day after (17 September) the main conferences. The purpose of the workshops is to provide participants with a friendly, stimulating, and interactive atmosphere for - presenting novel ideas, - discussing their applications, - encouraging cross-fertilization between industry and academia, and - fostering opportunities for young and prospective researchers. The conferences and workshops of CONFEST’22 are currently planned as physical, in-person events with support for remote presence for speakers and for other participants. Depending on the pandemic situation, we will make a decision whether to cancel the physical component of CONFEST or not by the end of June 2022. Workshop proposals should include: - The name and the preferred date of the proposed workshop. - The names and contact information (web page, email address) of the organisers. - A short scientific summary and justification of the proposed topic for the CONFEST community (500 words max). - A discussion of the proposed format and agenda. - If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. - Procedures for selecting papers and participants. - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). - Potentially invited speakers. - Tentative schedule for paper submission and notification of acceptance. The main responsibility for organizing the workshop goes to the workshop organizer(s), including: - workshop publicity (possibly including call for papers, submission and review process) - scheduling of workshop activities in collaboration with the CONFEST workshop chair. Proposals should be sent to Lorenzo Clemente (workshop chair): clementelorenzo@gmail.com IMPORTANT DATES - Submission deadline February 28, 2022 - Notification March 15, 2022 - Program of the workshops ready: July 29, 2022 - Workshops: September 12, 17 2022 - CONFEST conferences: September 13-16, 2022 The CONFEST 2022 workshop chair, Lorenzo Clemente https://www.mimuw.edu.pl/~lclemente/ University of Warsaw, Poland
participants (1)
-
Lorenzo Clemente