Date(s) - 09/09/2019
10:00 am - 4:00 pm
SFMoVeS: Scottish Seminar on Formal Modelling, Verification, and Synthesis – a SICSA funded Workshop co-located with QEST 2019
The International Conference on Quantitative Evaluation of Systems (QEST) is the leading forum on quantitative evaluation and verification of computer systems and networks, through stochastic models and measurements. In 2019 QEST takes place in Glasgow! This is a great opportunity to bring together researchers from all SICSA institutions for a one-day pre-conference workshop to address current challenges and relevant questions, to communicate and share their experiences on formal approaches to quantitative evaluation of systems. Our aim is to foster a tighter community of researchers from SICSA institutions interested in the formal modelling, verification and synthesis applied to computer systems and networks.
Invited Speakers include:
Professor Simon Dobson, School of Computer Science, University of St Andrews
Dr Alice Miller, School of Computing Science, University of Glasgow
Call for Presentations
We invite contributions on formal methods applied to modelling, verification and synthesis of complex software systems. Speakers are invited to present research results in any of the themes of interest for the workshop as well as application experiences, tools, and promising preliminary ideas. We are planning this event as a friendly venue for PhD students and RAs to discuss their work in progress and get feedback.
If you would like to give a talk, please send your proposed title and abstract (up to 500 words) by email to Oana Andrei via email firstname.lastname@example.org by 16 August 2019. Peer reviewing will be light & quick and will be primarily based on relevance. For additional information please contact Oana Andrei.
The lunch and the coffee breaks are free for registered participants, thanks to our sponsor SICSA. In order to help with catering arrangements, we would ask that you register on this Eventbrite page