[Om-announce] DIFTS'13: First Call For Papers

[Malay Ganai]

Apologies for multiple copies of this email.



 

************************************************************************
***

                             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 and MEMOCODE 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

 

 

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

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20130502/48994c00/attachment-0001.html>