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 6E7CE5D5 for ; Thu, 18 Jul 2019 07:06:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,276,1559512800"; d="scan'208";a="392248177" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jul 2019 09:06:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 64AF9826EC; Thu, 18 Jul 2019 09:06:48 +0200 (CEST) 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 E4D767F081 for ; Thu, 18 Jul 2019 09:01:03 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ylies.falcone@univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=date-2020-topic-e3-pub-owner@univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster@furon.ujf-grenoble.fr X-IronPort-AV: E=Sophos;i="5.64,276,1559512800"; d="scan'208";a="392247030" X-MGA-submission: =?us-ascii?q?MDEkJd9AuJAwtNNbJRtZTA9B61jjvm/1VJA+jn?= =?us-ascii?q?hD3cnK9OEtA/+aAxb9vfTTiHCdhjQr5VYnzMTBzjt876L9r9yuZT80FO?= =?us-ascii?q?qxX5uxWLGQ3LVTKE6k9PR7XSSx2R964sDta23XLNSID41J/XyZFogFVB?= =?us-ascii?q?Zaya7DabwNsWY7Nd0BB7qR9g=3D=3D?= Received: from furon.ujf-grenoble.fr ([152.77.2.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Jul 2019 09:01:03 +0200 Received: from danube.u-ga.fr (danube.u-ga.fr [195.83.24.186]) by furon.ujf-grenoble.fr (Postfix) with ESMTP id 45q4mH2Tx7z1yD6; Thu, 18 Jul 2019 09:01:03 +0200 (CEST) Received: by danube.u-ga.fr (Postfix, from userid 498) id 5050E835; Thu, 18 Jul 2019 09:01:03 +0200 (CEST) Received: from smtp-in.u-ga.fr (smtp-in.u-ga.fr [195.83.24.182]) by danube.u-ga.fr (Postfix) with ESMTP id 81898558 for ; Thu, 18 Jul 2019 09:00:24 +0200 (CEST) Received: from zm-mta-out-1.u-ga.fr (zm-mta-out-1.u-ga.fr [152.77.200.56]) by smtp-in.u-ga.fr (Postfix) with ESMTP id 391594007C; Thu, 18 Jul 2019 09:00:24 +0200 (CEST) Received: from zm-mta-out.u-ga.fr (zm-mta-out.u-ga.fr [152.77.200.58]) by zm-mta-out-1.u-ga.fr (Postfix) with ESMTP id 77A36A0431; Thu, 18 Jul 2019 09:00:24 +0200 (CEST) Received: from smtps.univ-grenoble-alpes.fr (smtps1.u-ga.fr [152.77.1.30]) by zm-mta-out.u-ga.fr (Postfix) with ESMTP id 6A971E009D; Thu, 18 Jul 2019 09:00:24 +0200 (CEST) Received: from macbook-pro-de-ylies.home (lfbn-1-7994-104.w90-112.abo.wanadoo.fr [90.112.15.104]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: falconey@univ-grenoble-alpes.fr) by smtps.univ-grenoble-alpes.fr (Postfix) with ESMTPSA id 47DD6125EB6; Thu, 18 Jul 2019 09:00:24 +0200 (CEST) From: =?utf-8?Q?Yli=C3=A8s_Falcone?= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Message-Id: <996B0B2E-6771-4376-AEA2-C56221FE6778@univ-grenoble-alpes.fr> Date: Thu, 18 Jul 2019 09:00:24 +0200 Cc: Todd Austin , =?utf-8?Q?Yli=C3=A8s_Falcone?= To: date-2020-topic-e3-pub@univ-grenoble-alpes.fr X-Mailer: Apple Mail (2.3445.104.11) X-Greylist: Whitelist-UGA SMTP Authentifie (falconey@univ-grenoble-alpes.fr) via submission-587 ACL (112) X-Validation-by: ylies.falcone@univ-grenoble-alpes.fr Reply-To: =?utf-8?Q?Yli=C3=A8s_Falcone?= X-Loop: date-2020-topic-e3-pub@univ-grenoble-alpes.fr Errors-To: date-2020-topic-e3-pub-owner@univ-grenoble-alpes.fr X-no-archive: yes List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: X-Validation-by: ylies.falcone@univ-grenoble-alpes.fr Subject: [Caml-list] [date-2020-topic-e3-pub] CFP: DATE 2020 - Topic E3 - Model-Based Design, Verification and Security for Embedded Systems X-Loop: caml-list@inria.fr X-Sequence: 17689 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: [Our apologies for duplicates.] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D DATE 2020 - Call for Papers 09 - 13 March 2020, Grenoble, France Topic E3 Model-Based Design, Verification and Security for Embedded Systems www.date-conference.com =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D For more details and submission instructions, please visit the DATE 2020 = Website at www.date-conference.com. =3D=3D Overview of DATE 2020 The 23rd DATE conference and exhibition is the main European event = bringing together designers and design automation users, researchers and = vendors, as well as specialists in the hardware and software design, = test and manufacturing of electronic circuits and systems. DATE puts a = strong emphasis on both technology and systems, covering ICs/ SoCs, = reconfigurable hardware and embedded systems, and embedded software. The five-day event consists of a conference with plenary invited papers, = regular papers, panels, hot-topic sessions, tutorials and workshops, two = special focus days and a track for executives. The scientific conference = is complemented by a commercial exhibition showing the state-of-the-art = in design and test tools, methodologies, IP and design services, = reconfigurable and other hardware platforms, embedded software, and = (industrial) design experiences from different application domains, e.g. = automotive, IoT, wireless, telecom and multimedia applications. The = organisation of user group meetings, fringe meetings, a university = booth, a PhD forum, vendor presentations and social events offers a wide = variety of extra opportunities to meet and exchange information on = relevant issues for the design and test community. Special space will = also be allocated for EU-funded projects to show their results. =3D=3D Track E: Embedded and Cyber-Physical Systems The track is devoted to the modelling, analysis, design and deployment = of embedded software or embedded/cyber-physical systems. Areas of = interest include methods, tools, methodologies and development = environments. Emphasis will also be on model-based design and = verification, embedded software platforms, software compilation and = integration, real-time systems, cyber-physical systems, networked = systems, and dependable systems. =3D=3D Topic E3: E3 Model-Based Design, Verification and Security for = Embedded Systems The topic is devoted to verification techniques for embedded systems = ranging from simulation, testing, model-checking, SAT and SMT-based = reasoning, compositional analysis and analytical methods. Modeling, = analysis and optimization of non-functional and performance aspects such = as security, timing, memory usage, QoS and reliability. Model-based = design of software architectures and deployment. Theories, languages and = tools supporting model-based design flows covering software, control and = physical components. Monitoring and run-time verification of embedded = systems. Security attacks, protection and analysis of embedded systems' = hardware and software. =3D=3D Topic Members =E2=80=A2 Todd Austin, University of Michigan, USA -- Topic = co-chair =E2=80=A2 Ezio Bartocci, TU Wien, AT =E2=80=A2 St=C3=A9phanie Delaune, Univ Rennes, CNRS, IRISA, FR =E2=80=A2 Yli=C3=A8s Falcone, Univ. Grenoble Alpes & Inria, FR = -- Topic chair =E2=80=A2 Radu Grosu, TU Wien, AT =E2=80=A2 Mohamad Jaber, Google & American University of Beirut, = CH & LB =E2=80=A2 Laurent Mounier, Univ. Grenoble Alpes, FR =3D=3D Important Dates =E2=80=A2 Paper submission: 8 September 2019 at 23:59:59 CET =E2=80=A2 Notification of acceptance: 7 November 2019 at = 23:59:59 CET =E2=80=A2 Camera-ready paper due date: 28 November 2019 at = 23:59:59 CET =3D=3D Sponsors The event is sponsored by the European Design and Automation = Association, the Electronic System Design Alliance, the IEEE Council on = Electronic Design Automation, the European Electronic Chips & Systems = Design Initiative, the ACM Special Interest Group on Design Automation, = and the Russian Academy of Sciences. In cooperation with IEEE Computer Society Test Technology Technical = Council (TTTC), IEEE Solid-State Circuits Society (SSCS) and International Federation = for Information Processing (IFIP). =3D=3D Organization - Conference Organization - Conference Manager Eva Smejkal, K.I.T. Group GmbH Dresden, DE date@kitdresden.de phone: +49 351 4967-312 fax: +49 351 4956116 - General Chair Giorgio Di Natale, CNRS/TIMA, FR giorgio.di-natale@univ-grenoble-alpes.fr - Programme Chair Cristiana Bolchini, Politecnico di Milano, IT papers@date-conference.com To receive the DATE 2020 newsletter you may subscribe to the mailing = list at the website: https://date20.date-conference.com/user/register/