Abbrevation
SEFM'2011
City
Montevideo
Country
Uruguay
Deadline Paper
Start Date
End Date
Abstract
The aim of the conference is to bring together practitioners and<BR>researchers from academia, industry and government to advance the<BR>state of the art in formal methods, to facilitate their uptake in the<BR>software industry and to encourage their integration with practical<BR>engineering methods.<BR>Papers that combine formal methods and software engineering are<BR>especially welcome.<BR>Authors are invited to submit original research or tool papers on<BR>any relevant topic.<BR>These can either be normal or short papers.<BR>Short papers can discuss new ideas which are at an early stage of<BR>development and which have not yet been thoroughly evaluated.<BR><BR>