From: Announcements of FME events <events@fmeurope.org>
To: Formal methods mailing lists <events@fmeurope.org>
Subject: [Caml-list] Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014
Date: Sat, 29 Mar 2014 22:39:55 +0100 [thread overview]
Message-ID: <mailman.532.1396166569.1439.events@fmeurope.org> (raw)
Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014
www.formalise.org
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!
_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events
reply other threads:[~2014-03-30 8:21 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=mailman.532.1396166569.1439.events@fmeurope.org \
--to=events@fmeurope.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).