[FM-India] Call for Participation: FormaliSE 2014 (co-located with ICSE 2014)

[Madhavan Mukund]

 From: Nico Plat <mail at nicoplat.com>
 To: fmindia at cmi.ac.in
 Date: Sun, 13 Apr 2014 17:49:35 +0200
 Subject: Call for Participation: FormaliSE 2014 (co-located with ICSE 2014)
 
 	Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014
 				www.formalise.org
                *** NOTICE: EARLY REGISTRATION CLOSES ON 14 APRIL ***
 
 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!