posted by user: p_pas || 4207 views || tracked by 8 users: [display]

DIFTS 2014 : DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS

FacebookTwitterLinkedInGoogle

Link: http://fmgroup.polito.it/cabodi/difts2014/
 
When Oct 20, 2014 - Oct 20, 2014
Where Lausanne, Switzerland
Abstract Registration Due Jul 28, 2014
Submission Deadline Aug 4, 2014
Notification Due Sep 1, 2014
Categories    formal tools   verification   testing   debugging
 

Call For Papers

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

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

http://fmgroup.polito.it/cabodi/difts2014/

Lausanne, Switzerland
October 20, 2014


IMPORTANT DATES

Abstract submission: August 4, 2014 (postponed from July 28, 2014)
Paper submission: August 10, 2014 (postponed from 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 MEMOCODE14.

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.

INVITED SPEAKERS

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"


SUBMISSION

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.


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, Atrenta, USA
Gianpiero Cabodi, Politecnico di Torino, Italy

PROGRAM COMMITTEE

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

WEBMASTERS

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

Related Resources

DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
IJME 2024   International Journal of Microelectronics Engineering
ICDIS 2024   2024 International Symposium on Integrated Circuit Design and Integrated Systems
IJPLA 2024   International Journal of Programming Languages and Applications
HEART 2024   14th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies
EMSA 2024   13th International Conference on Embedded Systems and Applications
EAI IC4S 2024   EAI IC4S 2024 - 5th EAI International Conference on Cognitive Computing and Cyber Physical Systems
TAP 2024   18th International Conference on Tests and Proofs
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
FDL 2024   Forum on specification and Design Languages