[ecoop-info] Call For Participation: FormaliSE 2016, Austin, Texas, USA, 15 May 2016

[Announcements of FME events]

Call For Participation: FormaliSE 2016, Austin, Texas, USA, 15 May 2016
				www.formalise.org
	Co-located with ICSE 2016 (http://2016.icse.cs.txstate.edu/)


Introduction
============
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the success of software projects with the current technologies cannot be
assured. For large complex projects, many approaches have proven inadequate to
assure the correct behaviour of the delivered software, despite the efforts of
the (often very skilled) software engineers involved. 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. It is an increasingly complex task to develope large software
systems because the systems are huge, with very complex behaviour, and many
algorithms employed today are "pushing the limits" of what people can
comprehend. This is where formal methods (FMs) have a huge opportunity. The
main goal of the workshop is to foster integration between the formal methods
and the software engineering communities.

Programme
=========
We have an attractive programme with two keynote speakers: Pamela Zave from
AT&T Research, USA, and Don Batory from the University of Texas at Austin.
Furthermore presentations of high quality papers, and a panel discussion
on the workshop's topics. For details see
http://www.formalise.org/programme-formalise.

Venue
=====
FormaliSE 2016 will be held at the Renaissance Austin Hotel
(http://www.marriott.com/hotels/travel/aussh-renaissance-austin-hotel/), host
of the 38th International Conference on Software Engineering (ICSE 2016).

Registration
============
To register seehttp://2016.icse.cs.txstate.edu/registration.

Accomodation
============
A number of hotel rooms have been blocked for ICSE 2016 participants at
specially negotiated rates, see
https://aws.passkey.com/event/14156341/owner/13526/home  for details.

Social media
============
Twitter:https://twitter.com/formalisews
Facebook:https://www.facebook.com/formaliseworkshop/

See you in Austin, Texas!

_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events