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

Announcements of FME events events at fmeurope.org
Mon Mar 14 09:35:36 CET 2016

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.

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 

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 

To register see http://2016.icse.cs.txstate.edu/registration 
Early Bird registration will close on April 4th.

A number of hotel rooms have been blocked for ICSE 2016 participants 
at specially negotiated rates, see 
for details.
/See you in Austin, Texas!

-------------- next part --------------
events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list