<div dir="ltr"><p class="MsoNormal"><span style="font-size:11pt">* CONFEST 2023 * -- Call for Workshop Proposals<br><br>September 18 - September 23 2023, Antwerpen, Belgium<br><br>(<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.uantwerpen.be*2Fen*2Fconferences*2Fconfest-2023*2F&data=05*7C01*7Cguillermo.perez*40uantwerpen.be*7Caf7d22840e4e4f8277c508dac0feebec*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C638034498353453862*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=LYaydkIHQtlJsfE*2FvzwbTOvh8pdFwe6sm*2BaEwDkoRgQ*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!QNKhOlyyJ34MfOIUQKtYByEVqqRYvTDuuR_hdh2wJt8IVoxZgfQSNewivKrg0CDqK3g24U1RsYsZ0TJ0s6_txXlFO9TLVg$" target="_blank">https://www.uantwerpen.be/en/conferences/confest-2023/</a>)<br><br>CONFEST is an umbrella conference comprising four international meetings:<u></u><u></u></span></p><div><p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:11pt">- CONCUR (34th International Conference on Concurrency Theory),<br><br>- QEST (20th International Conference on Quantitative Evaluation of<br>SysTems),<br><br>- FORMATS (21st International Conference on Formal Modeling and Analysis of<br>Timed Systems), and<br><br>- FMICS (28th International Conference on Formal Methods for Industrial<br>Critical Systems).<u></u><u></u></span></p><div><p class="MsoNormal"><span style="font-size:11pt"><br></span></p><p class="MsoNormal"><span style="font-size:11pt">Researchers and practitioners are invited to submit proposals for ONE DAY</span><br></p><p class="MsoNormal"><span style="font-size:11pt">workshops on topics related to theory, formal modeling, verification,<br>performance evaluation and engineering of concurrent, timed, industrial,<br>and other systems.<br><br>Typically, CONFEST workshops feature a number of invited speakers and a<br>number of contributed presentations.<br><br>The workshops will take place one day before (18 September) and one day<br>after (23 September) the main conferences.</span></p><p class="MsoNormal"><span style="font-size:11pt"><br></span></p><p class="MsoNormal"><span style="font-size:11pt">TOPICS</span></p><p class="MsoNormal"><span style="font-size:11pt"><br>The purpose of the workshops is to provide participants with a friendly,<br>stimulating, and interactive atmosphere for<br><br>- presenting novel ideas,<br><br>- discussing their applications,<br><br>- encouraging cross-fertilization between industry and academia, and<br><br>- fostering opportunities for young and prospective researchers.<br><br>ORGANIZATION<br><br></span><span style="font-size:11pt"><font color="#000000">CONFEST’23 is planned as a physical, in-person event, with some support for remote participation.</font></span></p><p class="MsoNormal"><span style="font-size:11pt"><font color="#000000">In a limited number of cases, there will be remote-participation support for speakers and for other</font></span></p><p class="MsoNormal"><span style="font-size:11pt"><font color="#000000">participants who are unable to come. Please take this into account when preparing a workshop</font></span></p><p class="MsoNormal"><span style="font-size:11pt"><font color="#000000">proposal and communicate to participants requiring such support that they should contact the</font></span></p><p class="MsoNormal"><span style="font-size:11pt"><font color="#000000">organisers of CONFEST explaining their case.</font></span><span style="font-size:11pt"><br></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:11pt;color:rgb(112,173,71)"><u></u> </span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11pt"><font color="#000000">We will provide the following to workshop organisers:</font></span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt"><br></span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">- Meeting rooms on demand</span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt"><br></span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">- Coffee breaks, catering for lunch, both are included</span></p><p class="MsoNormal"><span style="font-size:11pt;color:rgb(0,0,0)"><br></span></p><p class="MsoNormal"><span style="font-size:11pt;color:rgb(0,0,0)">- CONFEST'23 website cannot be made accessible for edits by third parties</span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">but workshop organisers can either host their own website and provide a link to it </span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">that we put on CONFEST website, or they send us their content and we put it in the website.</span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt"><br></span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">- Registration will be centralized by CONFEST. </span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt"><br></span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">- Special rates for hotels, which can be found in the website </span><a href="https://urldefense.com/v3/__https://www.uantwerpen.be/en/conferences/confest-2023/info/__;!!IBzWLUs!QNKhOlyyJ34MfOIUQKtYByEVqqRYvTDuuR_hdh2wJt8IVoxZgfQSNewivKrg0CDqK3g24U1RsYsZ0TJ0s6_txXnVFtMd9Q$" target="_blank" style="font-size:11pt">https://www.uantwerpen.be/en/conferences/confest-2023/info/</a><span style="color:rgb(0,0,0);font-size:11pt">, </span></p><p class="MsoNormal"><span style="color:rgb(0,0,0);font-size:11pt">as well as further local information about Antwerp.</span></p></div><div><p class="MsoNormal"><span style="font-size:11pt"><br></span></p><p class="MsoNormal"><span style="font-size:11pt">INSTRUCTIONS FOR PROPOSAL SUBMISSION</span></p><p class="MsoNormal"><span style="font-size:11pt"><br></span></p><p class="MsoNormal"><span style="font-size:11pt">Workshop proposals should include:</span><br></p><p class="MsoNormal"><span style="font-size:11pt"><br>-  The name and the preferred date of the proposed workshop. </span></p><p class="MsoNormal"><span style="font-size:11pt"><u></u> </span></p><p class="MsoNormal"><span style="font-size:11pt">-  The names and contact information (web page, email address) of the<br>organisers.<br><br>-  A short scientific summary and justification of the proposed topic for<br>the CONFEST community (500 words max).<br><br>-  A discussion of the proposed format and agenda.<br><br>-  If applicable, a brief description of past versions of the workshop, including<br>dates, organisers, submission and acceptance counts, and attendance.<br><br>-  Procedures for selecting papers and participants.<br><br>-  The publication plan (only invited speakers, no published proceedings,<br>pre-/post-proceedings published with EPTCS/ENTCS/...).<br><br>-  Potentially invited speakers.<br><br>-  Tentative schedule for paper submission and notification of acceptance.<br><br>The main responsibility for organizing the workshop goes to the workshop<br>organiser(s), including:<br><br>- workshop publicity (possibly including call for papers, submission and<br>review process)<br><br>- scheduling of workshop activities in collaboration with the CONFEST<br>workshop chair.<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:11pt">Proposals should be sent to Emmanuel Filiot (workshop chair):</span><br></p><p class="MsoNormal"><span style="font-size:11pt"><br><a href="mailto:efiliot@gmail.com" target="_blank">efiliot@gmail.com</a><br><br>IMPORTANT DATES<br><br>  - Submission deadline February 2, 2023<br><br>  - Notification February 16, 2023<br><br>  - Program of the workshops ready: August 16, 2023</span></p><p class="MsoNormal"><br></p></div><div><p class="MsoNormal" style="margin-bottom:12pt"><span style="font-size:11pt">  - Workshops: September 18, 23, 2023<span style="color:red"> </span><br><br>  - CONFEST conferences: September 18-23, 2023<br><br>The CONFEST 2023 workshop chair,<br><br>Emmanuel Filiot<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:11pt">Université libre de Bruxelles, Belgium</span></p></div></div></div>