Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Participation: SICSA Summer School on...


view this post on Zulip Email Gateway (Aug 18 2022 at 15:34):

From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>
* Apologies for multiple copies *

Call for Participation


SSFRR 2010
SICSA Summer School on Formal Reasoning & Representation of Complex Systems
14-15 August 2010 -- Heriot-Watt University campus -- Edinburgh
Satellite summer school of VSTTE 2010

http://dream.inf.ed.ac.uk/events/ssfrr-2010/


ABOUT


The summer school will give a broad overview of software verification techniques,
addressing both bottom-up and top-down approaches with a strong focus on the
formal representation and reasoning themes. The school consists of eight introductory
lectures, each concentrating on an unique aspect of one or both of the overall
themes. The topics of the lectures include inductive theorem proving; SAT and SMT
solving; proof planning and rippling; rely/guarantee conditions; separation
logic; operating system verification; process algebras and formal analysis of security.

The school is intended for PhD students and researchers working within one or both of
these themes, however familiarity with any of the techniques is not a prerequisite.
All lectures are meant to be introductory.

PRESENTERS


The following will present at the summer school:

REGISTRATION


Registration is available from:

http://www.macs.hw.ac.uk/vstte10_reg/Registration.php

The registration fee is £110, which also covers materials and lunches.
Accommodation at the Heriot-Watt campus (£42.50 per night incl. VAT and
breakfast) can be including with your booking when you register.
This is highly recommended since the summer school will coincide with several of the famous
Edinburgh festivals -- where hotel prices in town tend to be very inflated.

SICSA will cover registration and two nights campus accommodation for SICSA students (students
from most Scottish Universities -- see http://www.sicsa.ac.uk/ to check if you are eligible).
The number of SICSA students is limited, and a decision on ranking if this number is exceeded
will only be taken if necessary.

PRELIMINARY PROGRAM


The summer school has the following preliminary program (timing and titles may still change):

Saturday:

Sunday:

VENUE


The summer school is a satellite event of VSSTE 2010 (see http://www.macs.hw.ac.uk/vstte10/) and
will be held the two days before the main event: Saturday 14th and Sunday 15th August 2010.
Like VSTTE 2010, it will be held at the Edinburgh campus of Heriot-Watt University.

ORGANISERS


The summer school is jointly organised by The School of Informatics at Edinburgh University and
The School of Mathematical and Computer Sciences at Heriot-Watt University by:

CONTACT


The organisers can be contacted at the following email address: ssfrr-2010@inf.ed.ac.uk.


Last updated: Mar 29 2024 at 08:18 UTC