[Om-announce] DIFTS'13: Call for Participation

[Malay Ganai]

***************************************************************************
                             DIFTS'13
            DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS
                     CALL FOR PARTICIPATION
***************************************************************************

Second International Workshop on Design and Implementation of Formal Tools
and Systems

http://www.cmpe.boun.edu.tr/difts13/
albert.benveniste at irisa.fr
Portland, OR, USA
October 19, 2013

Co-located  with MEMOCODE and FMCAD.


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://www.cmpe.boun.edu.tr/difts13/#program

INVITED SPEAKERS

Rance Cleaveland, Reactive Systems Inc., USA
"Approximate Formal Verification using Model-based Testing"

Masahiro Fujita, The University of Tokyo, Japan
"Diagnosis and correction of buggy hardware/software with formal approaches"

Dhiraj Goswami, Synopsys Inc., USA
"Stimulus generation, enhancement and debug in constraint random verification"


REGISTRATION (provided through FMCAD'13 website)

Registration information is available at
http://www.fmcad.org/FMCAD13/registration.html


A list of recommended hotels with preferential rates is available at
http://www.fmcad.org/FMCAD13/venue.html.


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/20131006/4b82143c/attachment.html>