+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
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
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
