From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id CE4365D5 for ; Thu, 29 Aug 2019 20:58:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,444,1559512800"; d="scan'208";a="399398825" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Aug 2019 22:58:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 812C27EF26; Thu, 29 Aug 2019 22:58:11 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8D6C37EC74 for ; Thu, 29 Aug 2019 22:12:13 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=barrett@cs.stanford.edu; spf=Pass smtp.mailfrom=barrett@cs.stanford.edu; spf=None smtp.helo=postmaster@smtp2.cs.Stanford.EDU IronPort-PHdr: =?us-ascii?q?9a23=3AE/Q1QRGk89lDLkCmT22B0p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78pMuwAkXT6L1XgUPTWs2DsrQY0rCQ6v66EjVcud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6txjdu8gIjYdtN6o8xQfFqWZUdu?= =?us-ascii?q?pLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfF?= =?us-ascii?q?TQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhD?= =?us-ascii?q?sBOjUk9mzcl85+g79BoB+5uhJx3YnaboKbOvR+Za7RYc8WSXZdUstLSyBNHoWx?= =?us-ascii?q?ZJYPAeobOuZYqpHwqEAUohukHwmjGv/vyiNTi3Dqxq02yf8hER3c0wwmEdIOt2?= =?us-ascii?q?7Uo8jvOKgMTO+10bTDwTHYYPxMwzf98pbHcgw9of2JW797bMTfyU4qFwzfj1WQ?= =?us-ascii?q?r5ToPz2S1uQXqGia7/ZgWvy1h2E9twF8pCWkyMQ0ioTRm44YyE3I+T94zYs6P9?= =?us-ascii?q?G1SUF2bcS6HJZRsSyRKpF4Tdk4Q25yvSY30r0GtoC/fCgN0Jkn3Bvfa+Cfc4SW?= =?us-ascii?q?+B7sSP2RLS1linJ5Yr2/gRiy8U+6yuLhTMW631hEoSRdntnNsHACyQDT59CaRv?= =?us-ascii?q?Z/40utwzeC2g/J5uxFLk04j7TXJp85zr41jJUTsEDDHiHsmEXxia+bbl4r9fKy?= =?us-ascii?q?6+T9fLrmuoOcOpRohQHlKKgugdC/Dv4+MggAWGib4/mz2Kf98kLkXbVGluc2nb?= =?us-ascii?q?XBsJDGOcQboba0DBNP3YYm7xazFjOm0NUDnXkbN19FYxKGj43xO17UOvz4DPG/?= =?us-ascii?q?g06tkDhx3fzGMKfhUd3xKS2Xm77kefN56lVA4As119FWoZxOXOIvOvX2D0X4rs?= =?us-ascii?q?bVEgMROBfy2PruDtt6zI9YVG6SSu+TObnIvEOUp7F8a9KQbZMY7W6uY8Mu4OTj?= =?us-ascii?q?2CdgxQ0tOJKx1J5SU0iWW+x8KhzGM3H3xMwdGGEEuRAyCuHmlQ/aCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqheXejiygWIZKb2ZIDUqAV3rkatfdAqpeWGepOsZk1wc8?= =?us-ascii?q?e/2hRosmj0r8rwrm0+AhJfGSwTERs5zkztQzysHux0k/?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CPBABoMWhdYBpAQKtmHgEfBgeBUIIWJ?= =?us-ascii?q?kdSATKTU4FqmzgBCAEDAQwfEAEBhxobBwEENBMCCwEBBAEBAQIBAwMEAQYYDQk?= =?us-ascii?q?HKoU1DII6IoMSISoMQTAEHTEngw+CCZ0pkDGIagiBTwaBNIcehFkYgX+BETOCL?= =?us-ascii?q?4Fyhn2CJgSUe4EGlgcJgiCGbo1ZJ4ZIkhWVXpBwgWdYgSFygzuBSYMhjDwfA5A?= =?us-ascii?q?+AQE?= X-IPAS-Result: =?us-ascii?q?A0CPBABoMWhdYBpAQKtmHgEfBgeBUIIWJkdSATKTU4Fqmzg?= =?us-ascii?q?BCAEDAQwfEAEBhxobBwEENBMCCwEBBAEBAQIBAwMEAQYYDQkHKoU1DII6IoMSI?= =?us-ascii?q?SoMQTAEHTEngw+CCZ0pkDGIagiBTwaBNIcehFkYgX+BETOCL4Fyhn2CJgSUe4E?= =?us-ascii?q?GlgcJgiCGbo1ZJ4ZIkhWVXpBwgWdYgSFygzuBSYMhjDwfA5A+AQE?= X-IronPort-AV: E=Sophos;i="5.64,444,1559512800"; d="scan'208";a="317592897" X-MGA-submission: =?us-ascii?q?MDHnQqr716vWvw5oaximFL6zd0zXXLQBRdse/L?= =?us-ascii?q?zr9Zk4yzGgZKFziI7y5dKfElCpuQWVNK6FWvSF14XV783F9Nm9hu2y7D?= =?us-ascii?q?RL7X1ZWmB+1QpCTVcnf/Z3FOto7SxjGZZmoodJwfgpjBNnTSC9wxjra6?= =?us-ascii?q?RtpsqFiin5gPC5Q1bUtfNyiA=3D=3D?= Received: from smtp2.cs.stanford.edu ([171.64.64.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Aug 2019 22:12:12 +0200 Received: from barrett1.stanford.edu ([172.24.65.167]:60494) by smtp2.cs.Stanford.EDU with esmtp (Exim 4.92) (envelope-from ) id 1i3Qm8-0006so-Of for caml-list@inria.fr; Thu, 29 Aug 2019 13:12:09 -0700 Received: by barrett1.stanford.edu (Postfix, from userid 5179) id BC22A140703; Thu, 29 Aug 2019 13:10:29 -0700 (PDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190829201029.BC22A140703@barrett1.stanford.edu> Date: Thu, 29 Aug 2019 13:10:29 -0700 (PDT) From: barrett@cs.stanford.edu (barrett) X-Spam-Score: -101.0 X-Spam-Checker-Version: SpamAssassin on smtp2.cs.Stanford.EDU X-Scan-Signature: 9e21fd5a6606bbf27f622846acb410c2 X-Validation-by: barrett@cs.stanford.edu Subject: [Caml-list] FMCAD 2019 Call for Participation Reply-To: barrett@cs.stanford.edu (barrett) X-Loop: caml-list@inria.fr X-Sequence: 17789 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) Hyatt Place San Jose Downtown, San Jose, California, USA, Oct 22 - 25, 2019 For program and registration, see: https://fmcad.forsyte.at/FMCAD19/ IMPORTANT DATES Early Registration deadline: Oct 1, 2019 FMCAD Tutorial Day: Oct 22, 2019 Regular Program: Oct 23 - 25, 2019 Part of the FMCAD 2019 program - FMCAD Student Forum - Hardware Model Checking Competition CONFERENCE SCOPE AND PUBLICATION FMCAD 2019 is the nineteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. STUDENT FORUM Continuing the tradition of the previous years, FMCAD 2019 is hosting 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. FMCAD 2019 COMMITTEES PROGRAM CHAIRS: Clark Barrett, Stanford University Jin Yang, Intel Corporation PROGRAM COMMITTEE: Erika Abraham, Aachen University June Andronick, CSIRO|Data61 and UNSW Timos Antonopoulos, Yale University Armin Biere, Johannes Kepler University Per Bjesse, Synopsys Jasmin Blanchette, Inria Nancy Roderick Bloem, Graz University of Technology Gianpiero Cabodi, Politechnico Torino Supratik Chakraborty, IIT Bombay Sylvain Conchon, Universite Paris-Sud Vijay D'Silva, Google Rayna Dimitrova, University of Leicester Malay Ganai, Synopsys Alberto Griggio, Fondazione Bruno Kessler Liana Hadarean, Amazon Joe Hendrix, Galois Marijn Heule, University of Texas at Austin Warren Hunt, University of Texas at Austin Alexander Ivrii, IBM George Karpenkov, Google Panagiotis Manolios, Northeastern University Ken McMillan, Microsoft Research Rajdeep Mukherjee, Cadence Alexander Nadel, Intel Corporation Corina Pasareanu, NASA/CMU Sandip Ray, University of Florida Giles Reger, University of Manchester Anna Slobodova, Centaur Armando Solar-Lezama, Massachusetts Institute of Technology Niklas Sörensson, Mentor Graphics Daryl Stewart, ARM Christoph Sticksel, MathWorks Chao Wang, University of Southern California Georg Weissenbacher, Vienna University of Technology Zhenkun Yang, Intel Corporation Lenore Zuck, University of Illinois at Chicago TUTORIAL CHAIR: Sandip Ray, University of Florida STUDENT FORUM CHAIRS: Grigory Fedyukovich, Princeton University WEBMASTER: Tom van Dijk, Johannes Kepler University LOCAL ARRANGEMENT: Yoni Zohar, Stanford University PUBLICATION CHAIR: Florian Lonsing, Stanford University FMCAD STEERING COMMITTEE: Armin Biere, Johannes Kepler University Alan Hu, University of British Columbia Warren Hunt, University of Texas at Austin Vigyan Singhal, Oski Tech Georg Weissenbacher, Vienna University of Technology