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

[Announcements of FME events]

_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 develop large 
software systems because the systems are huge, with very complex 
behavior, 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 
<http://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=6864e3520c&e=c83c6669fd>.

_Venue_
FormaliSE 2016 will be held at the Renaissance Austin 
Hotel (http://www.marriott.com/hotels/travel/aussh-renaissance-austin-hotel/ 
<http://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=b62c6f4cc7&e=c83c6669fd>), 
host of the 38th International Conference on Software Engineering (ICSE 
2016).

_Registration_
To register see http://2016.icse.cs.txstate.edu/registration 
<http://formalise.us8.list-manage1.com/track/click?u=6e775d476508c80bf1d45eba4&id=16af49dd32&e=c83c6669fd>. 
Early Bird registration will close on April 4th.

_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 
<http://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=08b6c8ea4c&e=c83c6669fd> 
for details.
/See you in Austin, Texas!

www.formalise.org
/
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events