The Coq mailing list

[Lucas Dixon <ldixon AT inf.ed.ac.uk>]

--- apologises for multiple postings ---

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; BiGraphs 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:

* Robert Atkey (University of Strathclyde) & Ewen Maclean (Heriot-Watt
University)
* Alan Bundy & Lucas Dixon (University of Edinburgh)
* Cliff Jones (University of Newcastle)
* Gerwin Klein (National ICT Australia)
* Robin Milner (University of Cambridge/Edinburgh)
* J Strother Moore (University of Texas at Austin)
* Natarajan Shankar (SRI)
* Graham Steel (INRIA)


PRELIMINARY PROGRAM
---------

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

Saturday:
* 09:00: Registration
* 09:30: J Moore -- Machines Reasoning about Machines - 39 Years and
         Counting
* 11:00: Coffee break
* 11:30: Gerwin Klein -- Specification and Refinement in Operating
         System Verification
* 13:00: Lunch
* 14:00: Bob Atkey/Ewen Maclean -- Amortised Resource Analysis and
         Functional Correctness with Separation Logic
* 15:30: Coffee break
* 16:00: Alan Bundy/Lucas Dixon -- Planning and Patching Proofs
* 17:30: End

Sunday:
* 09:30: Natarajan Shankar -- Verification using SAT and SMT solvers
* 11:00: Coffee break
* 11:30: Graham Steel -- Formal Analysis of Security
* 13:00: Lunch
* 14:00: Cliff Jones -- Tackling concurrency by reasoning explicitly
         about inference
* 15:30: Coffee break
* 16:00: Robin Milner -- BiGraphs: a Model for Mobile Agents
* 17:30: End

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.

REGISTRATION
---------

The registration fee is £110, which also covers materials and lunches.
We will offer campus accommodation at £42.50 (incl. VAT and breakfast)
per night, which will be possible to book during registration. 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, i.e. PhD students from one of the following institutions
(see see http://www.sicsa.ac.uk/ for details):

* Aberdeen University - Computing Science
* Abertay Dundee University - School of Computing and Engineering &
Institute for Arts, Media and Computer Games
* Dundee University - School of Computing
* University of Edinburgh - School of Informatics
* Edinburgh Napier University - Center for Informatics Research
* Glasgow University - Department of Computing Science
* Heriot-Watt University - School of Mathematical and Computer Sciences
* Robert Gordon University - School of Computing
* St Andrews University - School of Computer Science
* Stirling University - Department of Computing Science and Mathematics
* Strathclyde University - Department of Computer and Information Sciences

The number of SICSA students is limited, and a decision on ranking if
this number is exceeded will only be taken if necessary.

The registration will be joint with the VSTTE conference and will open
shortly. However, due to a limited number of places, we can now offer
pre-registration by emailing your details to 
ssfrr-2010 AT inf.ed.ac.uk.
Places will be allocated on a first-come-first-serve basis.

Please include the following in your email:
* your name
* your institution and country
* if you are a SICSA student (matriculation number in case you are)
* your research area/topic

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:
* Lucas Dixon (Edinburgh)
* Gudmund Grov (Edinburgh)
* Ewen Maclean (Heriot-Watt)

CONTACT
---------

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



-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.