posted by user: garganti || 1275 views || tracked by 10 users: [display]

TBFM 2014 : 2nd Workshop on Tool Building in Formal Methods


When Jun 2, 2014 - Jun 2, 2014
Where Toulouse, France
Abstract Registration Due Mar 3, 2014
Submission Deadline Mar 10, 2014
Notification Due Apr 14, 2014
Final Version Due Apr 28, 2014
Categories    software engineering   formal methods   tool building

Call For Papers


2nd Workshop on Tool Building in Formal Methods
TBFM 2014

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:

The papers should be around 10 pages and must be prepared using
the Springer LNCS style:


* Workshop chairs *

Angelo Gargantini, University of Bergamo, Italy
Paolo Arcaini, University of Bergamo, Italy

Related Resources

NFM 2017   The 9th NASA Formal Methods Symposium
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
FSEN 2017   Fundamentals of Software Engineering
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
FM 2016   21st International Symposium on Formal Methods