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 -- Proof-planning, inductive reasoning, and 
beyond
* 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 (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.

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-2...@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-2...@inf.ed.ac.uk.
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to