<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div><br></div><div> FMCAD 2008</div><div>International Conference on Formal Methods in Computer-Aided Design</div><div> <a href="http://fmcad.org/2008">http://fmcad.org/2008</a></div><div> CALL FOR PAPERS</div><div><br></div><div> November 17-20, 2008</div><div> Embassy Suites Portland--Downtown </div><div> Portland, Oregon</div><div><br></div><div><br></div><div>IMPORTANT DATES (firm)</div><div>======================================================================</div><div>Paper Submission Deadline: May 12, 2008</div><div>Author Feedback: June 19-22, 2008</div><div>Acceptance Notification: July 3, 2008</div><div>Final Version Due: August 17, 2008 (To be confirmed)</div><div><br></div><div>Early Registration Deadline: October 14, 2008</div><div>Hotel Registration Deadline: October 17, 2008 (To be confirmed)</div><div><br></div><div><br></div><div>SCOPE OF CONFERENCE</div><div>======================================================================</div><div>FMCAD 2008 is the eighth in a series of conferences on the theory and</div><div>application of formal methods in hardware and system design and</div><div>verification. In 2005, the bi-annual FMCAD and sister conference</div><div>CHARME decided to merge to form an annual conference with a unified</div><div>community. The resulting unified FMCAD provides a leading</div><div>international forum to researchers and practitioners in academia and</div><div>industry for presenting and discussing groundbreaking methods,</div><div>technologies, theoretical results, and tools for formally reasoning</div><div>about computing systems, as well as open challenges therein. Topics</div><div>of interest for the technical program include, but are not limited to:</div><div><br></div><div> * Foundations: advancing industrial-strength technologies in model</div><div> checking, theorem proving, equivalence checking, abstraction and</div><div> refinement techniques, property-preserving reduction techniques,</div><div> compositional methods, decision procedures, SAT- and BDD-based</div><div> methods, combining deductive methods with decision procedures, and</div><div> probabilistic methods.</div><div><br></div><div> * Verification applications: tools, industrial experience reports,</div><div> and case studies. We encourage the submission of materials</div><div> relating to novel and challenging industrial-scale applications of</div><div> formal methods, including problem domains where formal methods</div><div> worked well or even fell short. We also encourage submissions</div><div> relating to the development and execution of methodologies for</div><div> formal and informal verification strategies.</div><div><br></div><div> * Applications of formal methods in design: topics relating to the</div><div> application and applicability of assertion-based verification,</div><div> equivalence checking, transaction-level verification, semi-formal</div><div> verification, runtime verification, simulation and testcase</div><div> generation, coverage analysis, microcode verification, embedded</div><div> systems, software verification, concurrent systems, timing</div><div> verification, and formal approaches to performance and power.</div><div><br></div><div> * Model-based approaches: modeling and specification languages,</div><div> system-level design and verification, design derivation and</div><div> transformation, and correct-by-construction methods.</div><div><br></div><div> * Formal methods for the design and verification of emerging and</div><div> novel technologies: nano, quantum, biological, video, gaming, and</div><div> multimedia applications.</div><div><br></div><div><br></div><div>PAPER SUBMISSIONS</div><div>======================================================================</div><div>Submissions must be made electronically in PDF format through the</div><div>submissions tab of the FMCAD'08 web site, <a href="http://www.fmcad.org/2008">http://www.fmcad.org/2008</a>. The</div><div>proceedings will be published by ACM and will be available online in</div><div>the ACM Digital Library and the IEEE Xplore Digital Library. Two</div><div>categories of papers can be submitted: regular papers (8 pages),</div><div>containing original research that has not been previously published,</div><div>nor concurrently submitted for publication; and short papers (4</div><div>pages), describing applications, case studies, industrial experience</div><div>reports, emerging results, or implemented tools with novel features.</div><div><br></div><div>Regular and short papers must use the IEEE Transactions format on</div><div>letter-size paper with a 10-point font size (see</div><div><a href="http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html)">http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html)</a>. We</div><div>recommend that self-citations be written in the third person, though</div><div>authors will be required to identify themselves on their submissions.</div><div>Submissions must contain original research that has not been</div><div>previously published, nor concurrently submitted for publication. Any</div><div>partial overlap with any published or concurrently submitted paper</div><div>must be clearly indicated. If experimental results are reported,</div><div>authors are strongly encouraged to provide adequate access to their</div><div>data so that results can be independently verified.</div><div><br></div><div>A small number of accepted papers will be considered for a</div><div>distinguished paper award.</div><div><br></div><div><br></div><div>ORGANIZATION</div><div>======================================================================</div><div>Chairs: Alessandro Cimatti, FBK-irst, Italy</div><div> Robert B. Jones, Intel, USA</div><div>Local Arrangements: Annette Bunker, Intel, USA</div><div>Panels: Carl Pixley, Synopsys, USA</div><div>Publicity: Lee Pike, Galois Inc., USA</div><div>Tutorials: Anna Slobodova, Intel, USA</div><div>Webmasters: Anders Franzen, FBK-irst, Italy</div><div> Alberto Griggio, University of Trento, Italy</div><div><br></div><div>Steering Committee: Jason Baumgartner, IBM, USA</div><div> Aarti Gupta, NEC, USA</div><div> Warren A. Hunt, Jr., University of Texas, USA</div><div> Pete Manolios, Northeastern University, USA</div><div> Mary Sheeran, Chalmers, USA</div><div><br></div><div><br></div><div>PROGRAM COMMITTEE</div><div>======================================================================</div><div> * Mark Aagaard, University of Waterloo, Canada</div><div> * Jason Baumgartner, IBM Corporation, USA</div><div> * Valeria Bertacco, University of Michigan, USA</div><div> * Armin Biere, Johannes Kepler University, Austria</div><div> * Per Bjesse, Synopsys, USA</div><div> * Roderick Bloem, TU Graz, Austria</div><div> * Dominique Borrione, Grenoble University, France</div><div> * Gianpiero Cabodi, Politecnico di Torino, Italy</div><div> * Alessandro Cimatti (co-chair), FBK-irst, Trento, Italy</div><div> * Koen Claessen, Chalmers University of Technology, Sweden</div><div> * Ganesh Gopalakrishnan, University of Utah, USA</div><div> * Aarti Gupta, NEC Laboratories America, USA</div><div> * Alan J. Hu, University of British Columbia, Canada</div><div> * Robert Jones (co-chair), Intel Corp., USA</div><div> * Daniel Kroening, Oxford University, UK</div><div> * Andreas Kuehlmann, Cadence Laboratories, USA</div><div> * Wolfgang Kunz, University of Kaiserslautern, Germany</div><div> * Shuvendu Lahiri, Microsoft, USA</div><div> * Jeremy Levitt, Mentor Graphics, USA</div><div> * Panagiotis Manolios, Northeastern University, USA</div><div> * Andy Martin, IBM Research Division, USA</div><div> * Tom Melham, Oxford University, UK</div><div> * Ken McMillan, Cadence Labs, USA</div><div> * John O'Leary, Intel Corp., USA</div><div> * Lee Pike, Galois Inc., USA</div><div> * Rajeev Ranjan, Jasper Design Automation, USA</div><div> * Sandip Ray, University of Texas at Austin, USA</div><div> * Alper Sen, Freescale Austin, USA</div><div> * Natasha Sharygina, University of Lugano, Switzerland</div><div> * Eli Singerman, Intel Corp., Israel</div><div> * Fei Xie, Portland State U., USA</div><div> * Karen Yorav, IBM Haifa Research Laboratory, Israel</div><div><br></div></div><br><div> <div><div>--</div><div>Galois <<a href="http://www.galois.com/">http://www.galois.com/</a>></div><div><br></div><div>Phone: +1 503.626.6616 ext. 135</div><div>Fax: +1 503.350.0833</div><div><br></div><br></div> </div><br>
</body></html>