***************************************************************************
DIFTS'13
DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS
CALL FOR PAPERS
***************************************************************************

Second International Workshop on Design and Implementation of Formal Tools
and Systems (co-located with FMCAD 2013)

http://www.cmpe.boun.edu.tr/difts13/

Portland, OR, USA
October 19, 2013


IMPORTANT DATES

Paper submission: July 24, 2013
Author notification: August 24, 2014

INVITED SPEAKERS
Rance Cleaveland, Reactive Systems Inc., USA
Masahiro Fujita, The University of Tokyo, Japan
Dhiraj Goswami, Synopsys Inc., USA

WORKSHOP SCOPE

DIFTS (Design and Implementation of Formal Tools and Systems) workshop
emphasizes insightful experiences in formal tools and systems design. The
first DIFTS workshop was held in 2011. It provides a forum for sharing
challenges and solutions that are original with ground breaking results.

Often the design and implementation of tools for formal analysis require
non-trivial engineering decisions. Many challenges are faced, which often can
only be met with ingenious implementation techniques. These techniques actually
play a crucial role in making the idea work in practice. The workshop provides
an opportunity for discussing engineering aspects and various design decisions
required to put such formal tools and systems into practical use.


TOPICS OF INTEREST

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 development 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.


SUBMISSION

The workshop specifically solicits contributions with substantial engineering
details that often do not get published but has 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.
More details will be provided on the DIFTS web site.


EVALUATION

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.

PUBLICATION

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


ORGANIZATION

PROGRAM CHAIRS

Malay K. Ganai, NEC Labs America, USA
Alper Sen, Bogazici University, Turkey


PROGRAM COMMITTEE

Armin Biere, Johannes Kelpler University, Austria
Gianpiero Cabodi, Politecnico di Torino, Italy
Franco Fummi, University of Verona, Italy
Malay K. Ganai, NEC Labs America, USA
Daniel Grosse, University of Bremen, Germany
William Hung, Synopsys Inc., USA
Daniel Kroening, Oxford University, UK
Alper Sen, Bogazici University, Turkey
Ofer Strichman, Technion - Israel Institute of Technology, Israel
Chao Wang, Virginia Tech, USA