Call for papers
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
- Submission of abstracts:
March 8, 2014March 30, 2014 - Submission of full papers:
March 15, 2014April 6, 2014 - Notification of acceptance:
April 14, 2014April 25, 2014 - Camera ready version:
April 28, 2014May 2, 2014