From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p47JEPFu019231 for ; Sat, 7 May 2011 21:14:27 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0BANyYxU2AU3hRmWdsb2JhbAAumAIBjXMUAQEBAQEICwsHFCWkZJVOiHCDB4MFBIZAiSWIQYY6 X-IronPort-AV: E=Sophos;i="4.64,331,1301868000"; d="scan'208";a="94605809" Received: from joejob.cs.utexas.edu ([128.83.120.81]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 May 2011 21:14:25 +0200 Received: from moros.cs.utexas.edu (smmsp@moros.cs.utexas.edu [128.83.120.128]) by joejob.cs.utexas.edu (8.14.3/8.14.3) with ESMTP id p47J9KpF010698 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 7 May 2011 14:14:24 -0500 Received: (from ragerdl@localhost) by moros.cs.utexas.edu (8.14.3/8.14.3/Submit) id p47IP6k6032625 for caml-list@inria.fr; Sat, 7 May 2011 13:25:06 -0500 Date: Sat, 7 May 2011 13:25:06 -0500 Message-Id: <201105071825.p47IP6k6032625@moros.cs.utexas.edu> From: "David L. Rager" Apparently-To: X-Validation-by: ragerdl@cs.utexas.edu Subject: [Caml-list] Formal Methods in Computer Aided Design 2011 -- Final CFP *************************************************************************** FMCAD 2011 FORMAL METHODS IN COMPUTER-AIDED DESIGN FINAL CALL FOR PAPERS *************************************************************************** FINAL CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design http://www.fmcad.org University of Texas at Austin, Texas, USA October 30 - November 2, 2011 IMPORTANT DATES Abstract Submission: May 11 Paper Submission: May 18 Author Notification: July 15 Final Version: August 5 Conference: October 30 - November 2 CONFERENCE SCOPE 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. FMCAD is privileged to host invited presentations and tutorials from a number of outstanding academic and industrial speakers: - Aaron Bradley, Assistant Professor at CU Boulder - Aarti Gupta, senior researcher at NEC - John Hughes, Professor at Chalmers University of Technology and CEO of QuviQ - J Moore, winner of the ACM System Award (2005), member of National Academy of Engineering, and ACM Fellow - Vigyan Singhal, President and CEO of Oski Technology Inc - Ivan Sutherland, Turing Award winner (1988) 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). TOPICS OF INTEREST Advances in model checking, theorem proving, equivalence checking, abstraction and reduction techniques, compositional methods, automatic decision procedures at the bit and word-level, probabilistic methods, and combinations of deductive methods and decision procedures. Topics related to the application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software. This includes timing and power modeling, and verification of computing systems on all levels of abstraction. System-level design and verification, especially for embedded systems, HW/SW co-design and verification, and transaction-level verification. Modeling and specification languages, formal semantics of known languages or their subsets, model-based design, design derivation and transformation, and correct-by-construction methods. Experience with the application of formal and semi-formal methods to industrial-scale designs. Tools that represent FV enablement, new features, or a substantial improvement in the automation of FV methods. Application of formal methods in new areas. SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair. More details will be provided on the FMCAD web site. The proceedings will be available online in the ACM Digital Library, at IEEE Xplore, and as a free download from the FMCAD web site. Two categories of papers can be submitted: regular papers (8 pages), containing original research that has not been previously published, nor concurrently submitted for publication; and short papers (4 pages), containing emerging results or original ideas that can be described succinctly. Regular and short papers must use the IEEE Transactions format on letter-size paper with a 10-point font size, see http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html. Submissions must contain original research that has not been previously published, nor concurrently submitted for publication. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide adequate access to their data so that results can be independently verified. A small number of accepted papers will be considered for a distinguished paper award. GENERAL CHAIRS Per Bjesse, Synopsys Inc., Hillsboro, USA Anna Slobodova, Centaur Technology, Austin, USA LOCAL ARRANGEMENTS David Rager, 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 PROGRAM COMMITTEE Barbara Jobstmann (TUTORIALS CHAIR), VERIMAG, France Viktor Kuncak (PUBLICATION CHAIR), EPFL, Switzerland Nina Amla, NSF, USA Jason Baumgartner, IBM, USA Armin Biere, Johannes Kepler University, Austria Roderick Bloem, Graz University of Technology, Austria Gianpiero Cabodi, Politecnico di Torino, Italy Alessandro Cimatti, FBK-IRST, Italy Koen Claessen, Chalmers University of Technology, Sweden Rolf Drechsler, University of Bremen, Germany Bruno Dutertre, SRI, USA Ganesh Gopalakrishnan, University of Utah, USA Aarti Gupta, NEC Labs America, USA Alan Hu, University of British Columbia, Canada Rick Huang, National Taiwan University, Taiwan Kevin Jones, City University London, UK Gerwin Klein, NICTA, Sydney, Australia Daniel Kroening, University of Oxford, UK Thomas Kropf, Robert Bosch GmbH, Germany Oded Maler, VERIMAG, France Panagiotis Manolios, Northeastern University, USA Ken McMillan, Microsoft Research, Seattle, USA Tom Melham, University of Oxford, UK Doron Peled, Bar Ilan University, Israel Lee Pike, Galois, USA Kavita Ravi, Cadence, USA Sandip Ray, University of Texas at Austin, USA Julien Schmaltz, Open University of the Netherlands, The Netherlands Peter-Michael Seidel, AMD, USA Natasha Sharygina, University of Lugano, Switzerland Satnam Singh, Microsoft Research, UK Sofiene Tahar, Concordia University, Montreal, Canada Murali Talupur, Intel, USA Helmut Veith, Vienna University of Technology, Austria Karen Yorav, IBM, Israel