[Om-announce] FMCAD 2013 Call for Participation

[Chao Yan]

FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN

CALL FOR PARTICIPATION

International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13

EARLY REGISTRATION DEADLINE: September 30, 2013

Venue:
======

University Place Hotel and Conference Center
310 SW Lincoln St.
Portland, Oregon 97201.  USA


Conference Overview
===================

FMCAD 2013 is the thirteenth 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.  

FMCAD 2013 is co-located with MEMOCODE 2013, the ACM/IEEE
International Conference on Formal Methods and Models for
Codesign, and DIFTS 2013, the International Workshop on
Design and Implementation of Formal Tools and Systems.
DIFTS will be held on October 19.  MEMOCODE will take place
from October 18 to 19, followed by a joint FMCAD/MEMOCODE
tutorial day on October 20.  FMCAD will continue from
October 21 to 23, 2013.


Registration:
============ 

Early Registration Deadline: September 30, 2013

Registration details are available from the conference Web
page.  See URL
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/registration.shtml.

In addition to traditional full-conference (student and
regular) registrations with discounts for ACM/IEEE members,
FMCAD provides discounted registration to participants who
register for FMCAD and DIFTS together.  FMCAD also provides
single-day registrations for participants who are already
registered full-conference for MEMOCODE during the early
registration period (no late single-day registration
available).  Furthermore, note that MEMOCODE provides
single-day registration to MEMOCODE for full-conference
registrants of FMCAD.


Technical Program 
=================

The technical program is available at the conference Web
page.  It includes 2 invited keynotes, 4 invited tutorials
(jointly with MEMOCODE 2013), 23 regular papers, 7 short
papers, a special session for Student Forum, and a panel.

Keynotes
--------

- Pranav Ashar, Chief Technology Officer, Real Intent,
  "Static Verification Based Signoff - A Key Enabler for
  Managing Verification Complexity in the Modern SoC"

- Lori A. Clarke, Professor, University of Massachusetts,
  Amherst, "Using Process Modeling and Analysis Techniques
  to Reduce Errors in Healthcare"


Tutorials
---------

- Rajeev Alur, University of Pennsylvania:
  "Syntax-Guided Synthesis"

- Nate Foster, Mark Reitblatt, Cole Schlesinger (Cornell
  University), and Arjun Guha (University of Massachussetts, Amherst):
  "Network Programming in Frenetic"

- Jim Grundy, Intel Corporation:
  "Firmware Validation: Challenges and Opportunities"

- Somesh Jha, Bill Harris, Tom Reps, University of Wisconsin-Madison: 
  "Secure Programs via Game-Based Synthesis"

Panel
-----

- Teaching Formal Methods: Needs, Challenges, Experiences, and Opportunities
  Moderator: Panagiotis Manolios


Student Forum
-------------

FMCAD 2013 will feature a Student Forum that provides a
platform for graduate students at any career stage to
introduce their research to the wider Formal Methods
community, and solicit feedback on it.  The event will
consist of 14 short presentation by student authors
(selected from among 29 submissions), together with a poster
corresponding to each presented topic that will be on
display throughout the duration of the conference.  All
FMCAD participants are strongly encouraged to attend the
student presentations and the subsequent poster session, and
engage with the presenters throughout the duration of the
conference.



Local Information
=================
  
The conference will be held at the University Place Hotel
and Conference Center, Portland, Oregon.  We have negotiated
a special rate with the hotel for conference attendees,
under group name "FMCAD".  Please book early to secure the
reduced rate.  Please submit your individual reservation
requests directly to the hotel, either by phone at
+1-866-845-4647, or via an email to Bich-Hahn Le at
bichhahn at pdx.edu.

The banquet will be held in Portland City Grill.  For
details, please see the conference web page.


Co-located Events
=================

- MEMOCODE, the ACM/IEEE International Conference on Formal
  Methods and Models for Codesign (MEMOCODE 2013).  See
  http://memocode.irisa.fr/2013/

- DIFTS, International Workshop on Design and Implementation
  of Formal Tools and Systems (DIFTS 2013).  See
  http://www.cmpe.boun.edu.tr/difts13/

- HWMCC, Hardware Model Checking Competition (HWMCC'13).
  See http://fmv.jku.at/hwmcc13/


Sponsors
========

- Sponsored by: FMCAD, Inc.
- Technical Co-sponsor: IEEE CEDA
- In-cooperation with: ACM SIGDA

- Industrial Financial Support: 
  Galois, IBM, Intel, Jasper, Mentor Graphics, Microsoft,
  NEC, NVIDIA, Onespin Solutions, Oski Technology, Real
  Intent, Synopsys, Xpliant