FormaliSE 2014, Hyderabad, India, 3 June 2014
FormaliSE 2014 received a good number of high-quality submissions this year and we are proud to announce an excellent programme. The FormaliSE workshop is co-located with ICSE 2014 (http://2014.icse-conferences.org/). Please join us at FormaliSE 2014!
Introduction
Formal methods for software developent are still
not widely used in industry. This may be due to the fact that the
formal methods community has not enough focused its attention to
software engineering needs, and its specific role in the software
process. At the same time, from a software engineering perspective,
there could be a number of fundamental principles that might help to
guide the design of formal methods in order to make them more easily
applicable in the development of software applications.
The main goal of the workshop is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case.
Programme
We have an attractive programme with an invited
speaker (Aditya V. Nori from Microsoft Research, India), and
presentations of nine high quality papers. For details see
http://www.formalise.org/?q=programme.
Venue
FormaliSE 2014 will be held at the Hyderabad
International Convention Centre (http://www.hicc.com/), host of the
36th International Conference on Software Engineering (ICSE 2014).
Registration
To register see
http://2014.icse-conferences.org/registration. Early Bird
registrations will close on April 14th.
Accomodation
A number of hotel rooms have been blocked for
ICSE 2014 participants at specially negotiated rates, see
http://2014.icse-conferences.org/accomodation.
Visa Information
An entry Visa is essential for all foreigners
visiting India. If you don’t already have a valid business or tourist
visa (that will be valid for your travel dates), you will need to
apply for one. For further information, see
http://2014.icse-conferences.org/visa.
Social media
Twitter https://twitter.com/formalise2014
Facebook https://www.facebook.com/FormaliSE2014
See you in Hyderabad!