[FOM] Formal Methods in Computer Aided Design 2011 -- Call for Participation

[David L. Rager]

****************************************************************************
                                FMCAD 2011
                 FORMAL METHODS IN COMPUTER-AIDED DESIGN
                          CALL FOR PARTICIPATION
****************************************************************************

The 11th International Conference on FORMAL METHODS IN COMPUTER-AIDED DESIGN

October 30 - November 2, 2011, Austin, TX, USA

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

IMPORTANT DATES

Early Registration: September 27

Discounted Conference Hotel Registration: October 7

Conference: October 30 - November 2

FMCAD 2011 is the eleventh in a series of conferences on the theory and
application of formal methods in hardware and system design and
verification. FMCAD provides a leading international forum to researchers
and practitioners in academia and industry for presenting and discussing
novel methods, technologies, theoretical results, and tools for formal
reasoning about computing systems, as well as open challenges therein.

KEYNOTE SPEAKER

     J Moore, Professor at UT Austin, winner of the ACM System Award (2005),
       member of National Academy of Engineering, and ACM Fellow on "The Role
       of Human Creativity in Mechanized Verification"

TUTORIAL SPEAKERS

     Aarti Gupta, Senior Researcher at NEC on "Verifying Concurrent Programs"

     John Hughes, Professor at Chalmers University of Technology and CEO of
       QuviQ on "Specification Based Testing with QuickCheck" by

     Vigyan Singhal, President and CEO of Oski Technology Inc
       on "Planning for End-to-End Formal using Simulation-based Coverage"

     Fabio Somenzi, Professor at CU Boulder on "IC3: Where Monolithic and
       Incremental Meet"

     Ivan Sutherland, Visiting Scientist at Portland State University, ACM
       Turing Award winner (1988), member of National Academy of Engineering
       and National Academy of Sciences on "Self-Timing: a Step Beyond
       Synchrony"

PANEL SESSIONS

     "Pervasive Formal Verification in Control System Design", moderated by
       Lee Pike, Galois, Inc.

     "Hardware Model Checking: Status, Challenges, and Opportunities",
       moderated by Murali Talupur, Intel

For further details see http://www.fmcad.org/FMCAD11/advance-program.html.


ASSOCIATED WORKSHOPS AND COMPETITION

The following workshops are co-located with this year's conference:

     The 10th International Workshop on the ACL2 Theorem Prover and Its
       Applications (http://www.cs.ru.nl/~julien/acl2-11/)

     The Design and Implementation of Formal Tools and Systems workshop
       (http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11)

We are also proud to host this year's Hardware Model Checking Competition
(http://fmv.jku.at/hwmcc11).


REGISTRATION

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

GENERAL CHAIRS
  Per Bjesse, Synopsys Inc., Hillsboro, USA
  Anna Slobodova, Centaur Technology, Austin, USA

TUTORIALS CHAIR
  Barbara Jobstmann, VERIMAG, France

PUBLICATIONS CHAIR
  Viktor Kuncak, EPFL, Switzerland

LOCAL ARRANGEMENTS CHAIR
  David Rager, The University of Texas at Austin, USA

STEERING COMMITTEE
  Jason Baumgartner, IBM, USA
  Aarti Gupta, NEC Labs America, USA
  Warren Hunt, University of Texas at Austin, USA
  Panagiotis Manolios, Northeastern University, USA
  Mary Sheeran, Chalmers University of Technology, Sweden

We hope to see you in Austin!

   -The FMCAD 2011 Organization Committee-


[If you would like to be removed from the FMCAD mailing list, please respond
    with "fmcad unsubscribe" as the subject line]