[ecoop-info] DIFTS14 - FIRST Call for Papers

DIFTS14 difts14-cfp at polito.it
Wed Jun 25 16:23:44 CEST 2014

                      CALL FOR PAPERS
Third International Workshop on Design and Implementation
of Formal Tools
and Systems (co-located with FMCAD 2014, and MEMOCODE

Lausanne, Switzerland
October 20, 2014
Abstract submission:        July 28, 2014
Paper submission:           August 4, 2014
Author notification:        September 1, 2014
DIFTS (Design and Implementation of Formal Tools and
Systems) workshop
emphasizes insightful experiences in formal tools and
systems design.
The workshop provides an opportunity for discussing
engineering aspects and
various design decisions required to put formal tools and
systems into
practical use. In the past, we have invited speakers who
have shared their
deep insights and discussed the practices followed in the
Industry towards
adopting formal methods. It provides a forum for sharing
challenges and
solutions that are original with ground breaking results.

The DIFTS workshop is co-located with FMCAD14 and


DIFTS takes a broad view of the formal tools/systems area,
and solicits
contributions from domains including, but not restricted
to, decision
procedures, verification, testing, validation, diagnosis,
debugging, and
synthesis. This workshop encourages and appreciates system
activities, and facilitates transparency in the
experimentation. It will also
serve as a platform to discuss open problems and future
challenges in
practicing formal methods.


Rolf Drechsler, University of Bremen, Germany
"Coverage at the Formal Specification Level"

Wolfgang Kunz, University of Kaiserslautern, Germany
"The big hurdles for FV tools in industrial practice – can
we overcome them insystem-level design flows?"

Fahim Rahim, Atrenta, France
"Efficiently using formal verification techniques to
reduce power"

The workshop specifically solicits contributions with
substantial engineering
details that often do not get published but have
significant practical impact.

Papers in the following two categories are solicited: (a)
system category
(10 pages, double column, 11pt), and (b) tool category (8
pages, double
column, 11pt).

In the system category, we invite papers that have
original ideas accompanied
with novel integration techniques, adequate
design/implementation details,
important design choices made and explored, and good
experimental results.

In the tool category, we invite papers that focus
primarily on the engineering
aspects of some known/popular algorithm, with significant
emphasis on the
design/implementation details, and various design choices
made to advance
current state-of-the-art approaches.

The page limit for submissions in the system category is
10 pages in double
column format and for submissions in the tool category is
8 pages in double
column format.

Submission of papers should be made electronically in PDF
format via EasyChair.

To keep maintain uniformity and fairness in the reviewing
process, the program
committee will evaluate the technical contribution of each
submission based on
the following guidelines: the paper should provide enough
details for others to
reproduce the results; and should solve a clearly-stated
problem that is
significant and has wide interest; and the paper should
provide enough
motivation for the design choices made. Overall, the paper
should also clearly
identify what the main contributions of the work are.

All accepted contributions will be included in informal
High quality submissions will be considered for a special
of journals such as  FMSD (Formal Methods in System
Design) or
IEEE TC (Transactions on Computers).

Malay K. Ganai, Atrenta, USA
Gianpiero Cabodi, Politecnico di Torino, Italy


Chao Wang, Virginia Tech, USA
Shuvendu Lahiri, Microsoft Research, USA
Roberto Bruttomesso, Atrenta, France
Alberto Griggio, FBK-IRST, Italy
Alper Sen, Bogazici University, Turkey
Joao Marques-Silva, University College Dublin, Ireland
Priyank Kalla, University of Utah, USA
Supratik Chakraborty, IIT Bombay, India
Erika Abraham, RWTH Aachen University, Germany
Andreas Veneris, University of Toronto, Canada
Daniel Grosse, University of Bremen, Germany


Pasini Paolo, Politecnico di Torino, Italy
Marco Palena, Politecnico di Torino, Italy

More information about the ecoop-info mailing list