[Om-announce] DIFTS'14 - Call For Participation

[DIFTS14]

***************************************************************************
                              DIFTS'14
             DESIGN and IMPLEMENTATION of FORMAL TOOLS and
SYSTEMS
                      CALL FOR PARTICIPATION
***************************************************************************
  
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
  
WORKSHOP SCOPE
  
DIFTS (Design and Implementation of Formal Tools and
Systems) workshop
emphasizes insightful experiences in formal tools and
systems design.  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.
  
WORKSHOP PROGRAM
  
http://fmgroup.polito.it/cabodi/difts2014/#program
  
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"
  
REGISTRATION (provided through FMCAD'14 website)
  
Registration information is available at
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/registration.shtml
  
A list of recommended hotels with preferential rates is
available at
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/venue.shtml
  
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