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

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

FacebookTwitterLinkedInGoogle

Link: http://cs.unibg.it/tbfm2014/
 
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
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

Related Resources

CAV 2021   33rd International Conference on Computer-Aided Verification
FM 2021   Formal Methods 2021
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
NFM 2021   13th NASA Formal Methods Symposium
DMSE 2021   2nd International Conference on Data Mining and Software Engineering
FormaliSE 2021   9th International Conference on Formal Methods in Software Engineering
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ESOP 2021   30th European Symposium on Programming
TASE 2021   The 15th International Symposium on Theoretical Aspects of Software Engineering
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus