|
|
|
| |||||||||||||||||
TBFM 2014 : 2nd Workshop on Tool Building in Formal Methods | |||||||||||||||||
| Link: http://cs.unibg.it/tbfm2014/ | |||||||||||||||||
| |||||||||||||||||
Call For Papers | |||||||||||||||||
|
-------------------------------------------------------------
2nd Workshop on Tool Building in Formal Methods TBFM 2014 http://cs.unibg.it/tbfm2014/ Co-located with ABZ 2014, Toulouse, France, June 2-6, 2014 ------------------------------------------------------------- * Call for Papers * Abstract submission: March 3, 2014 Full paper submission: March 10, 2014 ------------------------------------------------------------- * Objective and Motivation * The object of TBFM is to share ideas, methods, processes, and best practices that are used to build tools supporting formal methods. Discussions may also deal with maintenance, documentation, licensing, etc. A significant challenge is how to better make these tools cooperate and share components (provers, model checkers, syntax analysers, type checkers, transformation rules, etc.). Particular relevance will be given to dogfooding experiences, in which a research group uses its own tool to design/develop/analyze the tool itself. ------------------------------------------------------------- * Important Dates * Abstract submission: March 3, 2014 Full paper submission: March 10, 2014 Notification of acceptance: April 14, 2014 Camera ready version: April 28, 2014 ------------------------------------------------------------- * Submission * Contributions must be submitted electronically in PDF at the TBFM 2014 EasyChair website: https://www.easychair.org/account/signin.cgi?conf=tbfm2014 The papers should be around 10 pages and must be prepared using the Springer LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 ------------------------------------------------------------- * Workshop chairs * Angelo Gargantini, University of Bergamo, Italy Paolo Arcaini, University of Bergamo, Italy |
|
