posted by user: hbelani || 4068 views || tracked by 16 users: [display]

TBFM 2010 : Workshop on Tool Building in Formal Methods

FacebookTwitterLinkedInGoogle

Link: http://pages.usherbrooke.ca/abzconference/workshops.php
 
When Feb 22, 2010 - Feb 22, 2010
Where Orford, Quebec, Canada
Submission Deadline Nov 15, 2009
Notification Due Dec 7, 2009
Categories    formal methods   software tools   software engineering   software development
 

Call For Papers

Workshop on Tool Building in Formal Methods
Held in conjunction with the 2nd International ABZ Conference
Orford, Quebec, Canada, Monday 22 February 2010
Scope of the Workshop

The object of this workshop is to share ideas, methods, and processes 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.).

The topics of interest for this workshop include, but are not limited to:

* Experience on the development of tools supporting formal methods:
o specification and design,
o choice of implementation languages and operating systems,
o reuse of existing components and platforms,
o documentation.
* Scalability of tools: research prototypes vs industrial strength tools
* Open source issues:
o open-platform for developing and sharing tool components (management of distributed teams, consistency),
o dealing with intellectual property: dissemination of research results vs intellectual property policies.
* Development in an academic environment:
o limited resources,
o rapid resource turnover,
o maintenance and support.
* Commercialization, licensing
* Tool certification

Important Dates:

* Paper submission deadline: 15 November 2009
* Notification of acceptance/rejection: 7 December 2009
* Workshop in Orford, Quebec, Canada: 22 February 2010

Submission and Attendance:

We anticipate a rich exchange of ideas and discussions during this event. Submissions are welcomed on any subject that falls within the main issues. Papers should be around 3 pages in LNCS style.

All papers must be submitted in PDF format, following the instructions at the WS-TBFM'10 submission site, handled by EasyChair:

https://www.easychair.org/login.cgi?conf=wstbfm2010

All accepted papers should be presented during the 1-day workshop.

We are negotiating the publication of extended versions of selected workshop papers in a special issue of an international journal.
Workshop chairs:

* Frédéric Gervais, Université Paris-Est, France
* Benoît Fraikin, Université de Sherbrooke, Québec, Canada

Program Committee:

* Yamine Ait Ameur, LISI/ENSMA, France
* Michael Butler, University of Southampton, United Kingdom
* Hubert Garavel, INRIA/VASY, France
* Joost-Pieter Katoen, RWTH Aachen University, Germany
* Kim Larsen, Computer Science, Aalborg U, Denmark
* Michael Leuschel, University of Düsseldorf, Germany
* Petra Malik, Victoria University of Wellington, New Zealand
* Amel Mammar, Telecom SudParis, France
* Marcel Oliveira, DIMAp, Univ. Rio Grande do Norte, Brazil
* Aryldo Russo, Grupo AeS, Brazil
* ...

(PC to be completed)

Related Resources

FM 2021   Formal Methods 2021
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
CAV 2021   33rd International Conference on Computer-Aided Verification
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
NFM 2021   13th NASA Formal Methods Symposium
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
ESOP 2021   30th European Symposium on Programming
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
F-IDE 2021   6th Workshop on Formal Integrated Development Environment