From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0310A801CD for ; Mon, 28 Aug 2017 16:59:13 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-oi0-f100.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=209.85.218.100; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 209.85.218.100 as permitted sender) identity=mailfrom; client-ip=209.85.218.100; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f100.google.com) identity=helo; client-ip=209.85.218.100; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mail-oi0-f100.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZQSwWRUETFJY6D88Z7qNqr6r5gDV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRKFt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aLC7iLhJ4?= =?us-ascii?q?LfjZHYvbjsL/l7zjus6bXwId0DG0ZLc3KBStsS3QsNMXiM1sMPBi5AHOpy5Hdu?= =?us-ascii?q?NYy0tjPhSWnh/554G98IMwoGxrp/s9+psYAu3BdKMiQOkEXTk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AmBADxLqRZhmTaVdFeHBgNBgEFAQsBh?= =?us-ascii?q?BSBDgePCI8kmUoDXAEniR9DFAEBAQEBAQEBAQEBEgEBAQgLCwgoGxSCMwUDBB6?= =?us-ascii?q?CXyMBASYSOzQdCAEFASIciigJB6N5QIsggxKDCAEBBYR7B4NOKggJAQiDGESBP?= =?us-ascii?q?oMxgneBbUKCVG+Cd4IxoGmHVoxjgnmIVIcojH+HdTSBFTaBLnmGAASCD1oBiSi?= =?us-ascii?q?BPwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AmBADxLqRZhmTaVdFeHBgNBgEFAQsBhBSBDgePCI8kmUo?= =?us-ascii?q?DXAEniR9DFAEBAQEBAQEBAQEBEgEBAQgLCwgoGxSCMwUDBB6CXyMBASYSOzQdC?= =?us-ascii?q?AEFASIciigJB6N5QIsggxKDCAEBBYR7B4NOKggJAQiDGESBPoMxgneBbUKCVG+?= =?us-ascii?q?Cd4IxoGmHVoxjgnmIVIcojH+HdTSBFTaBLnmGAASCD1oBiSiBPwEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,442,1498514400"; d="scan'208";a="288607937" Received: from mail-oi0-f100.google.com ([209.85.218.100]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Aug 2017 16:59:11 +0200 Received: by mail-oi0-f100.google.com with SMTP id r203so286667oih.4 for ; Mon, 28 Aug 2017 07:59:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=ppwekTRSGwTNNWAICFN2dNLDBTJTG5+NX6H3okk8O48=; b=kIVDn+I84ZgQL1KRALWBxMVIGIj5UkjOAQm5FulAW0V9whU2WC5IVHG41cD9bL2rjR bObN46Fxvdb5iiBbvtWh54Y6H5cBQVzoIcheC3ZOXxtTJtcQtXk0tgZ+FTemBYZxN3AD UziBySDk2ka9dPqCKvyWAur7TdKS0WuAIMgH2kYP6pt7Fe5envtKfmo0LA2RYnnbnq5i auPfvDfr2O4+fqPl7FGGOKQ91Frkk2w1P6mcr9AL+VhIWeZaRVPx6dtla8f/tmRQ2x7Z u/jonzgnLHMiZ4gMmIqXAD51zECWKMAekKZsnF8JURNwLupZcpcB+nRbm3fv9NZGLzMO IDeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=ppwekTRSGwTNNWAICFN2dNLDBTJTG5+NX6H3okk8O48=; b=IjIjFP+zDmaHgLf5sI6h7tbiczlrWVYS/cRQoNQpjuXAu+fBFi2Ic9XSRMb3Vuh6Fr 8KlwPHBpeM9mYmF9YZVaxdBmbfscnHv44ZQHiqs0+Nz0/I9ckhgzGuz4Bsv+LDx24H4R bPDxEztqZqFB9rrSpRtGxnc4RlTn8mgQlyOpepeJ4Onwdgem5RUU+48dbJaCO712JBsQ t22TexLfZZv1f5TnKp0XZvxcx2s97JhvuIoObmjz4t78lrHeftlqE14tLZfBAGSV+rwt kTpJHzPf9EGKBlx1he8hO3ESG1eeciO/JidyoRBcEpzPsRdsDsy5ZHclxfEIU1ZAGTVM Ocjg== X-Gm-Message-State: AHYfb5iT6JOVrxN6NJAUyTrE9y6t6tSSH16siMf5IAtaL+cpcpBKjAMy Sw8tHkDS+hEzvFu2h3Il7fNyfzaJMGrGTCcZZ39O X-Received: by 10.176.0.142 with SMTP id 14mr545443uaj.14.1503932350976; Mon, 28 Aug 2017 07:59:10 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id x3sm14971vka.2.2017.08.28.07.59.09 for ; Mon, 28 Aug 2017 07:59:10 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 280581700F04; Mon, 28 Aug 2017 09:42:09 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20170828134209.280581700F04@cs.miami.edu> Date: Mon, 28 Aug 2017 09:42:09 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] FMCAD 2017: CALL FOR PARTICIPATION FMCAD 2017: CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) TU Wien, Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 FMCAD Tutorial Day: October 2, 2017 FMCAD Regular Program: October 3-6, 2017 Part of the FMCAD 2017 program: - FMCAD Student Forum - Hardware Model Checking Competition 2017 - Symposium in memoriam of Helmut Veith Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/) CONFERENCE SCOPE FMCAD 2017 is the seventeenth 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 ground-breaking 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. REGISTRATION Early Registration Deadline: September 02, 2017 Registration Deadline: September 29, 2017 Registration details are available on http://fmcad.org/FMCAD17/registration TECHNICAL PROGRAM The program comprises presentations of 25 regular papers and 4 tool papers, 3 tutorials and 2 keynotes, a student forum, the Hardware Model Checking Competition, and a symposium in memoriam Helmut Veith. Details are available on the web-site: http://fmcad.org/FMCAD17 KEYNOTES - Byron Cook (Amazon, University College London) "Formal Verification, Model Checking, and Constraints for Security of the Cloud" - Wilfried Steiner (TTTech) "Formal Methods in Industrial Dependable Systems Design" TUTORIALS - Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network) "How Formal Methods and Analysis Helps Security of Entire Blockchain-based Systems" - Cas Cremers (Oxford University) "Symbolic Security Analysis using the Tamarin Prover" - Jade Alglave (Microsoft Research, University College London) "Consistency Properties of Parallel/Distributed Programs in cat" STUDENT FORUM AND HELMUT VEITH SYMPOSIUM The FMCAD student forum consists of short presentations and posters of doctoral students presenting their work-in-progress. The Symposium in memoriam Helmut Veith features talks on model checking, synthesis, distributed algorithms, and security, as well as a LogicLounge on Teaching Logic in Computer Science. SPONSORS - Sponsored by FMCAD, Inc. - Technical Co-sponsor: IEEE - In-cooperation with: ACM SIGPLAN/SIGSOFT - Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue, Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys, TTTech, WWTF