11th International Conference on Software Engineering and Formal Methods

Fecha: del 23 al 27 de septiembre de 2013

Lugar: Madrid – España

URL: http://antares.sip.ucm.es/sefm2013/ 

 

Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.

 

SEFM 2013 invites prospective workshop organizers to submit their ideas for workshops by 28th of January 2013 at the latest. Workshops should be targeted to research work on the areas of Software Engineering and/or Formal Methods.

 

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.