[Om-announce] DIFTS11: Call for Participation [Early registration ends Sept 27]

[Malay Ganai]

[Apologies for multiple copies]

 

************************************************************************
***

                              DIFTS'11

            DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS

                 The University of Texas at Austin, Texas, USA

                         November 3, 2011

  

                         CALL FOR PARTICIPATION

************************************************************************
***

 

First International Workshop on Design and Implementation of Formal
Tools

and Systems (co-located with FMCAD 2011) 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. The workshop  provides an
opportunity for 

discussing engineering aspects and various design decisions required to
put such 

formal tools and systems into practical use.

 

 

http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11

 

 

IMPORTANT DATES

 

Early Registration:            September 27

Discounted Hotel:            October 7 

Workshop:                          Nov 3

 

INVITED SPEAKERS

 

Dr. Andreas Kuehlmann, Sr. VP of R&D at Coverity,

President of IEEE Council on EDA (CEDA), and an IEEE fellow.

"The Pain of Making Research Tools into Software Products"

 

Dr. Chris Morrison, Chief Architect, Real Intent Inc.

"From Putty to Product: What it takes to bring a Verification Tool to
Market"

 

 

REGISTRATION

(provided through FMCAD'11 website)

 

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

Note that the early registration discount is only available until
**September 27th, 2011**.

A list of recommended hotels with preferential rates is available at

http://www.fmcad.org/FMCAD11/venue.html. 

 

 

ORGANIZATION

 

PROGRAM CHAIRS

 

Malay K. Ganai          NEC Labs America, USA

Armin Biere               Johannes Kepler University, Austria

 

 

PROGRAM COMMITTEE

 

Clark W. Barrett         New York University,            USA

Armin Biere                 Johannes Kepler University,     Austria

Alessandro Cimatt    Fondazione Bruno Kessler,     Italy

Cindy Eisner                IBM Haifa Research Lab,         Israel

Malay K. Ganai           NEC Labs America,               USA

Ganesh Gopalakrishnan   University of Utah,             USA

Daniel Kroening         Oxford University,              UK

Robert P. Kurshan    Cadence Design Systems,                        USA

Ken McMillan             Microsoft Research,             USA

Chao Wang                  Virginia Tech,                  USA

 

LOCAL ARRANGEMENT CHAIR

 

Sandip Ray                                  UT Austin,
USA

Nadia Papakonstantinou      NEC Labs America,               USA

 

We hope to see you in Austin!

 

-The DIFTS'11 Organization Committee-

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20110923/0d0ea002/attachment-0001.htm