Glasgow, Monday 9 September 2019
Our aim is to bringing together researchers from SICSA institutions interested in formal modelling, verification and synthesis applied to computer systems and networks.
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 qualitative or 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.
Call for contributions:
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 by (UPDATED!) 1 September 2019.
The lunch and the coffee breaks are free for registered participants. In order to help with catering arrangements, please register on Eventbrite.
|10:00 - 10:30||Arrival, tea and coffee|
|10:30 - 11:30||Invited talk: Alice Miller (University of Glasgow) - Collaborative models for autonomous controller synthesis and deployment|
|11:30 - 12:30||Invited talk: Guido Sanguinetti (University of Edinburgh) - Geometric fluid approximations for general continuous time Markov chains|
|12:30 - 13:00||Yasmin Rafiq (University of St Andrews) - Continual Runtime Formal Verification of QoS Properties with Confidence Intervals|
|13:00 - 14:00||Lunch|
|14:00 - 15:00||Invited talk: Simon Dobson (University of St Andrews) - Understanding sensing from a more formal perspective|
|15:00 - 15:30||Clemens Kupke (University of Strathclyde) - Coalgebra Learning|
|15:30 - 16:00||Jan de Muijnck-Hughes (University of Glasgow) - Well-Typed Models are Correct Models|