Call for Participation: FORMALISE 2017
5th FME Workshop on Formal Methods in Software Engineering (27th May 2017)
co-located with ICSE 2017 (May 20th–May 28th), Buenos Aires, Argentina
http://www.formalise.org/
INTRODUCTION
FormaliSE is a yearly workshop on Formal Methods in Software Engineering.
FormaliSE is organized by FME (Formal Methods Europe) and is co-located with
ICSE (International Conference on Software Engineering). The main goal of the
workshop is to foster integration between the formal methods and the software
engineering communities. The lack of formalization in key places makes software
engineering overly sensitive to the weaknesses that are inevitable in the
complex activities behind software creation. This is where formal methods (FMs)
have a huge opportunity.
The PROGRAM features presentations of 11 research papers. Nazareno Aguirre
(CONICET and Universidad Nacional de Río Cuarto) will give a keynote
presentation. poster sessions will be held during the breaks. For details on
the program see http://www.formalise.org/program.
VENUE
FormaliSE 2017 will be held at the Pontificia Universidad Católica Argentina
(UCA), see http://www.uca.edu.ar/index.php/home/index/en. This location is only
a 20 minute walk from the main conference site: the Sheraton Buenos Aires Hotel
and Convention Center (http://www.sheratonbuenosaires.com/), host of the 39th
International Conference on Software Engineering (ICSE 2017).
REGISTRATION
You can register for the workshop at http://icse2017.gatech.edu/?q=attending.
Note that early bird registration closes on 1 April 2017!
ACCOMODATION
A number of hotel rooms have been blocked for ICSE 2017 participants at
specially negotiated rates, see http://icse2017.gatech.edu/attending#hotel for
details.
SOCIAL MEDIA
Twitter: https://twitter.com/formalisews
Facebook: https://www.facebook.com/formaliseworkshop/
See you in Buenos Aires, Argentina!
|