***************************************************************************
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
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
