[TYPES/announce] CfPar: School on Software Engineering and Formal Methods (Nov 2011)

[Gerardo Schneider]

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

CALL FOR PARTICIPATION

SEFM School 2011

4th International School on  SOFTWARE ENGINEERING AND FORMAL METHODS 
Montevideo, Uruguay, 7-11 November 2011

http://www.fing.edu.uy/inco/eventos/SEFM2011/school.html

*** REGISTRATION IS OPEN ***

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The 4th International School on SOFTWARE ENGINEERING AND FORMAL METHODS  (SEFM 2011) will take place in Montevideo from 7th till 11th of November, 2011. 
The aim of the school is to offer courses to graduate students and young researchers interested in formal techniques applied to the design, specification, and verification of software systems.  

PROGRAM

The SEFM School 2011 will consist of five courses:

* Bisimulation, Coinduction, and their proof method
	Davide Sangiorgi (Focus Team, Inria/University of Bologna)

* Computer-aided Verification of Security Systems
	Yassine Lakhnech (Université Joseph Fourier, France)

* Modelling Software Product Lines with the HATS Abstract Behavioural Modelling Language
	Dave Clarke (Katholieke Universiteit Leuven, Belgium)

* Practicing coinduction: Big-step semantics and Hoare logics for nontermination
	Tarmo Uustalu (Institute of Cybernetics, Tallinn, Estonia)

* Runtime Verification
	Klaus Havelund (Jet Propulsion Laboratory, Laboratory for Reliable Software, USA)
	Martin Leucker (Universität zu Lübeck, Germany)

VENUE

The SEFM School will be held at the NH Columbia Hotel, located close to the financial center of 
Montevideo and enjoying excellent views of the Plata river (Río de la Plata).

REGISTRATION 

To register, fill in the registration form at 

	https://www.fing.edu.uy/inco/eventos/SEFM2011/registration-school.html
 
The deadline for registration is October 3, 2011. Early registration is 
strongly encouraged. 

In case the number of registrations exceeds the number of positions available, 
registrations will be subject to a selection process. Acceptance or rejection 
of the registration to the school will be notified no later than October 10, 2011. 

FEES

The registration fee is 150 USD (US dollars). A special fee reduction is applied to 
participants of the associated conference (SEFM'11: http://www.fing.edu.uy/inco/eventos/SEFM2011/).

The registration does not cover accommodation. 

GRANTS

The school shall be able to offer a fee reduction to a limited number of 
students. Priority will be given to students from Latin America.  

Students applying for a grant are required to provide additional information 
as part of the registration form. 
 
Deadline for grant application is October 3, 2011. Early application is strongly 
encouraged. Acceptance or rejection of grant applications will be notified by 
October 10, 2011. 

SCHOOL ORGANISERS
  
  Gilles Barthe (IMDEA Software, Spain)
  Alberto Pardo (Universidad de la República, Uruguay)
  Gerardo Schneider (Chalmers | University of Gothenburg, Sweden)

LOCAL ORGANISATION

  Juan Diego Campo
  Carlos Luna
  Alberto Pardo 
  Luis Sierra 

  Instituto de Computación 
  Facultad de Ingeniería 
  Universidad de la República 
  Montevideo, Uruguay

---
Gerardo Schneider
Chalmers | University of Gothenburg
University of Oslo
http://www.cse.chalmers.se/~gersch/