<pre>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<br>in the software industry and to encourage their integration with<br>practical engineering methods.<br>Papers that combine formal methods and software engineering are<br>especially welcome.<br>Authors are invited to submit research, tool papers on any relevant<br>topic. 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 need not have been subject to a thorough evaluation.<br>A call for tutorials and workshops will be issued later.</pre>
Abbrevation
SEFM
City
Hanoi
Country
Vietnam
Deadline Paper
Start Date
End Date
Abstract