DIFTS 2011 - DIFTS'11: 1st INTERNATIONAL WORSKHOP ON DESIGN and IMPLEMENTATION OF FORMAL TOOLS AND SYSTEMS

DIFTS'11: 1st INTERNATIONAL WORSKHOP ON DESIGN and IMPLEMENTATION OF FORMAL TOOLS AND SYSTEMS

Austin, TX Nov 3rd, 2011
http://www.nec-labs.com/research/system/systems_SA...
(Co-located, affiliated with FMCAD'11)

The first DIFTS (Design and Implementation of Formal Tools and Systems) workshop emphasizes insightful experiences in formal tools and systems design. It provides forum for sharing challenges and solutions that are highly original with ground breaking results. Often the design and implementation 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. The workshop provides an opportunity for discussing engineering aspects and various design decisions required to put such formal tools and systems in practical use. DIFTS takes a broad view of the formal tools/systems area, and solicits contributions from various domains including

decision procedures
verification
testing
validation
diagnosis
debugging
synthesis
This workshop encourages and appreciates system development activities, and facilitates transparency in the experimentation. In short, it provides a discussion forum for a pragmatic view of practicing formal methods.

Format of DIFTS. The workshop specifically solicits contributions with substantial engineering material that often does not get published, but has significant impact on performance and scalability. Following two categories are allowed:

(a) system category (10 pages, double column), and

(b) tool category (8 pages, double column).

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 push the boundary of current state-of-the-art approaches.

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

Evaluation. To keep the 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 material for others to reproduce the results. The approach used in the paper should be novel, and solves a clearly stated problem that is significant and has wide interest. The paper should provide enough motivation to the design choices made. Overall, the paper should cleary identify what is accomplised along these stated guidelines.

Important Dates
Submission of Technical Papers:
TBD
Notification for Technical Papers:
TBD
Workshop:
TBD
Organization
Program Chairs
Malay K. Ganai NEC Labs America, USA
Armin Biere Johannes Kelpler University, Austria