Free

First Scottish Seminar on Formal Modelling, Verification and Synthesis

Event Information

Share this event

Date and Time

Location

Location

School of Computing Science, University of Glasgow

18 Lilybank Gardens

Sir Alwyn Williams Building

Glasgow

G12 8RZ

United Kingdom

View Map

Event description

Description

In September 2019 the QEST conference takes place in Glasgow! QEST -- the international conference on Quantitative Evaluation of Systems -- is the leading forum on quantitative evaluation and verification of computer systems and networks, through stochastic models and measurements. This is a great opportunity to bring together researchers from all SICSA institutions 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:
* Prof Simon Dobson, School of Computer Science, University of St Andrews
* Dr Alice Miller, School of Computing Science, University of Glasgow
* TBC

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 oana.andrei@glasgow.ac.uk by 16 August 2019. Peer reviewing will be light & quick and will be primarily based on relevance. For additional information please contact Oana Andrei.

Co-chairs:
Oana Andrei (oana.andrei@glasgow.ac.uk) and Michele Sevegnani (michele.sevegnani@glasgow.ac.uk) -- please direct any enquires to Oana.

Registration:
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.


More up-to-date information can be found on the seminar's webpage http://www.dcs.gla.ac.uk/research/formalmethods/sfmoves/.
Share with friends

Date and Time

Location

School of Computing Science, University of Glasgow

18 Lilybank Gardens

Sir Alwyn Williams Building

Glasgow

G12 8RZ

United Kingdom

View Map

Save This Event

Event Saved