[FM-India]QEST-FORMATS 2024 - Call for Work-in-Progress Presentations

QEST-FORMATS 2024 - Call for Work-in-Progress Presentations Calgary, Canada Submission deadline: 16 July 2024 AoE Notification: 18 July 2024 AoE QEST-FORMATS Joint Conference: 9-13 September 2024 Website: https://www.qest-formats.org/ Submission: Send the title and abstract to the program chairs. ------------------------------------------------ SCOPE Work-in-Progress (WiP) presentations at the joint QEST-FORMATS conference are intended to provide an opportunity for authors to briefly present new ideas in the areas related to quantitative evaluation and verification of systems, fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and modelling, design and analysis of computational systems. Authors of accepted WiP presentations will present their work at the dedicated sessions and receive feedback from the community. SUBMISSION GUIDELINES Please send the title and abstract of your WiP presentation to the program chairs, Jane Hillston and Sadegh Soudjani, at the email addresses below by putting [QEST-FORMATS’24 WiP] in the subject of your email. Accepted WiP presentations will be made accessible on the QEST-FORMATS website. SELECTION AND NOTIFICATION The submitted WiP presentations will not be formally refereed but rather lightly screened by the program chairs to evaluate relevance and interest to the community and the capacity to stimulate an interesting discussion. Notification date is on 18 July 2024 AoE For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org).