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 450DE7F617 for ; Fri, 5 May 2017 15:37:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mikael.mayer@epfl.ch; spf=Pass smtp.mailfrom=mikael.mayer@epfl.ch; spf=None smtp.helo=postmaster@smtp0.epfl.ch Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mikael.mayer@epfl.ch) identity=pra; client-ip=128.178.224.218; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="mikael.mayer@epfl.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mikael.mayer@epfl.ch designates 128.178.224.218 as permitted sender) identity=mailfrom; client-ip=128.178.224.218; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="mikael.mayer@epfl.ch"; 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@smtp0.epfl.ch) identity=helo; client-ip=128.178.224.218; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="postmaster@smtp0.epfl.ch"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AkCVFuxQ5tfDPXbicZRHrj2wnrdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YB2N2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/27MisJwjq1brhyvqR9izYDKfI6YL+Bxcr/HcN4AWWZNQsRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5dr4n8pFsBtwWxBQ22COPq0DBJhmH53bch3us/CQHG0gggE8gSv3?= =?us-ascii?q?TUqtj+KakcUeewzKbSzDXDaetb2Dn86IjLcxAhue+DUq9xccXL00UvEBnFjlqI?= =?us-ascii?q?pYP5JTyVyPgCs2+d7+puS+2vkXAoqwdtrTex3MssjZPJho0Tx1vZ9it52J44Kc?= =?us-ascii?q?CmREN4e9KoDZlduiKAO4doXM8vTHtktDgnxrAFoZK3YjQGxZA9yxPca/GLaZaE?= =?us-ascii?q?7g/sWeqLITp1i3Roc6+liRmo60iv0Oj8W9G00FlUqipFlcHBtmsI1xzP8siLVu?= =?us-ascii?q?Fx8Vm52TaB0wDf8P1LIUAsmaraLZ4u3KIwm4IOvUjdHSL6glj6ga2Ve0k+5OSk?= =?us-ascii?q?9evqbq/4qpOBNIJ4kgT+Pb4vmsy7D+Q4KA8OX22D9OS51b3j/lf2T6tOjvEsl6?= =?us-ascii?q?nWqpDbKtoBpqOiHQBVyogj6xKlAzi60NQUhWMHI05deBKbk4jpPEnDL+ziAve6?= =?us-ascii?q?h1SgiTNrx/HdPr39GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzCQfNs4?= =?us-ascii?q?nTBxo9dgi12PrPCdNn14pYV3jcLLWeNfbXsFyB6+ZpJuCdaZU9tS7zL74u5629?= =?us-ascii?q?xUQlkEMQKPH6laAcb2q1S6xr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CJBACXfwxZh9rgsoBcgx6BSYR0nlaNU?= =?us-ascii?q?IdHLIJCgzYChEdDFAEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzIIJDAwMdBkUhAQg?= =?us-ascii?q?NNwICIhIBBQEcIgyICAOCAA6TEZEaP4wIgiaKZgEBAQEBBQEBAQEBAQEhg2SEW?= =?us-ascii?q?YJrgWyDDYMggl8FkR6MUYcbgmqJEoJZjw+SbzOBFTaBK4FKGQaEYASCD4lLAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0CJBACXfwxZh9rgsoBcgx6BSYR0nlaNUIdHLIJCgzYChEd?= =?us-ascii?q?DFAEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzIIJDAwMdBkUhAQgNNwICIhIBBQEcI?= =?us-ascii?q?gyICAOCAA6TEZEaP4wIgiaKZgEBAQEBBQEBAQEBAQEhg2SEWYJrgWyDDYMggl8?= =?us-ascii?q?FkR6MUYcbgmqJEoJZjw+SbzOBFTaBK4FKGQaEYASCD4lLAQEB?= X-IronPort-AV: E=Sophos;i="5.38,292,1491256800"; d="scan'208,217";a="271881007" Received: from smtp0.epfl.ch ([128.178.224.218]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 May 2017 15:37:35 +0200 Received: (qmail 19476 invoked by uid 107); 5 May 2017 13:37:34 -0000 X-Virus-Scanned: ClamAV Received: from mail-it0-f54.google.com (HELO mail-it0-f54.google.com) (209.85.214.54) (TLS, AES256-GCM-SHA384 cipher) (authenticated) by mail.epfl.ch (AngelmatoPhylax SMTP proxy) with ESMTPSA; Fri, 05 May 2017 15:37:34 +0200 X-EPFL-Auth: mLRvOdiGPnxUhYWJsd1WVuW1vhojZLnF8T4iultgPRAV+G7H7mk= Received: by mail-it0-f54.google.com with SMTP id c15so23767394ith.0 for ; Fri, 05 May 2017 06:37:34 -0700 (PDT) X-Gm-Message-State: AN3rC/4EdSt2yInHuzvS6u40QoGPQwf0Eyz9+MzmP8lwfMMDNe10zYi3 YEZObUp613lD74QnscfF0PAI7hatAA== X-Received: by 10.36.115.75 with SMTP id y72mr8546929itb.97.1493991452972; Fri, 05 May 2017 06:37:32 -0700 (PDT) Received: from 1074892088431 named unknown by gmailapi.google.com with HTTPREST; Fri, 5 May 2017 06:37:32 -0700 MIME-Version: 1.0 Sender: mikael.mayer@epfl.ch From: mikael.mayer@epfl.ch In-Reply-To: References: <44d77cfade1f445e80c07942c06e044d@REXE.intranet.epfl.ch> Date: Fri, 5 May 2017 06:37:32 -0700 X-Google-Sender-Auth: xsbX24UGK5YWxSPg8znZUrJoaYo X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a1144479cda4377054ec6fd0f X-Validation-by: mikael.mayer@epfl.ch Subject: [Caml-list] CAV 2017: Call for participation --001a1144479cda4377054ec6fd0f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable ****************************************************************** CALL FOR PARTICIPATION Computer-Aided Verification, 29th International Conference CAV 2017 Heidelberg, Germany, 22-28 July 2017 http://www.cavconference.org/2017 ****************************************************************** TL;DR Early registration: June 14, 2017; Hotel booking deadlines: early June, 2017 We hope to welcome you at CAV -- we have an exciting program! -- ABOUT CAV -- CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Along with the main conference, CAV will feature eight workshops (including a special workshop in honor of David Dill) and tutorials. Highlights: -- WORKSHOPS (22-23 July) -- VERIFICATION MENTORING WORKSHOP (23 July) -- SPECIAL WORKSHOP Dill@60 in Honor of David Dill (24 July) -- MAIN CONFERENCE (24-28 July) -- INVITED SPEAKERS -- * Chris Hawblitzel, Microsoft Research * Marta Kwiatkowska, Oxford * Viktor Vafeiadis, MPI-SWS * Winner of the CAV award (to be announced at the conference) -- INVITED TUTORIALS * Loris D=E2=80=99Antoni, University of Wisconsin-Madison: The power of s= ymbolic automata and transducers * Mayur Naik, University of Pennsylvania: Maximum Satisfiability in Software Analysis: Applications and Techniques -- PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith * Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the Confirmation Bias is Changing the Public Discourse -- CONTRIBUTED PAPERS -- See the list of accepted papers at the conference website. -- SATELLITE EVENTS (22-23 July) -- 7 satellite workshops will take place before CAV 2017. Check their calls for papers and consider contributing! =E2=80=A2 SYNT =E2=80=93 Sixth Workshop on Synthesis (July 22) =E2=80=A2 DARS =E2=80=93 Design and Analysis of Robust Systems (Jul= y 22) =E2=80=A2 NSV/Rise4CPS =E2=80=93 Numerical Software Verification an= d Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems (July 22-23) =E2=80=A2 SMT =E2=80=93 Satisfiability Modulo Theories (July 22-23) =E2=80=A2 VSTTE =E2=80=93 Verified Software: Theories, Tools, and E= xperiment (July 22-23) =E2=80=A2 VMW =E2=80=93 Verification Mentoring Workshop (July 23) =E2=80=A2 FEVER =E2=80=93 Formal Approaches to Explainable VERifica= tion (July 23) -- REGISTRATION -- Early registration is until Wednesday, June 14, 2017 (AOE). http://cavconference.org/2017/registration/ -- VENUE -- Workshops will be organized at the Crowne Plaza hotel in Heidelberg City Center. The conference will be organized at the beautiful Heidelberg Stadthalle by the River Neckar. -- ACCOMMODATION -- The organizers have negotiated special rates from several hotels in Heidelberg. To benefit from those, follow the instructions on the conference website. The offers expire on different dates on or before the early registration deadline. Heidelberg is a busy tourist destination in July. It is important to book your hotel as soon as possible! -- HOST CITY -- Heidelberg is a picturesque city one the river Neckar at the heart of the 'Rhine-Neckar Triangle' in western Germany. It is renowned for its medieval castle, its old university (founded in 1386) and "Philosopher's Walk," and its historic old town. It is a cosmopolitan and vibrant college town with a rich academic and cultural tradition (including a 16th century Student Jail for mischievous students :-o). https://en.wikipedia.org/wiki/Heidelberg July is warm and sunny for the most part. It is also high tourist season. -- ORGANIZERS -- We hope to welcome you to CAV 2017! Viktor Kuncak (EPFL) Rupak Majumdar (MPI-SWS) --001a1144479cda4377054ec6fd0f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
**************= ****************************************************

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0CALL F= OR PARTICIPATION

Computer-Aided Verification, 29th International Conference
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0CAV 2017

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Heidelberg, Germany, 22-28= July 2017

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http= ://www.cavconference.org/2017

******************************************************************


TL;DR=C2=A0=C2=A0 Early registr= ation: June 14, 2017; Hotel booking deadlines: early June, 2017
We hope to welcome you at CAV -- we have an exciting program!

-- ABOUT CAV --

CAV 2017 is the 29th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for hardware = and
software systems.=C2=A0 The conference covers the spectrum from theoretical= results to
concrete applications, with an emphasis on practical verification tools and= the algorithms
and techniques that are needed for their implementation. Along with the mai= n
conference, CAV will feature eight workshops (including a special workshop = in honor
of David Dill) and tutorials.


Highlights:
-- WORKSHOPS (22-23 July)
-- VERIFICATION MENTORING WORKSHOP (23 July)
-- SPECIAL WORKSHOP Dill@60 in Honor of David Dill (24 July)
-- MAIN CONFERENCE (24-28 July)


-- INVITED SPEAKERS --

=C2=A0 * Chris Hawblitzel, Microsoft Research
=C2=A0 * Marta Kwiatkowska, Oxford
=C2=A0 * Viktor Vafeiadis, MPI-SWS

=C2=A0 * Winner of the CAV award (to be announced at the conference)

-- INVITED TUTORIALS

=C2=A0 * Loris D=E2=80=99Antoni, University of Wisconsin-Madison: The power= of symbolic automata and transducers
=C2=A0 * Mayur Naik, University of Pennsylvania: Maximum Satisfiability in = Software Analysis: Applications and Techniques

-- PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith

=C2=A0 * Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the = Confirmation Bias is Changing the Public Discourse


-- CONTRIBUTED PAPERS --

See the list of accepted papers at the conference website.


-- SATELLITE EVENTS (22-23 July) --

7 satellite workshops will take place before CAV 2017.

Check their calls for papers and consider contributing!

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 SYNT =E2=80=93 Sixth Workshop on Synt= hesis (July 22)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 DARS =E2=80=93 Design and Analysis of= Robust Systems (July 22)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 NSV/Rise4CPS =E2=80=93 Numerical Soft= ware Verification and Formal Methods for Rigorous Systems Engineering of Cy= ber-Physical Systems (July 22-23)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 SMT =E2=80=93 Satisfiability Modulo T= heories (July 22-23)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 VSTTE =E2=80=93 Verified Software: Th= eories, Tools, and Experiment (July 22-23)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 VMW =E2=80=93 Verification Mentoring = Workshop (July 23)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=A2 FEVER =E2=80=93 Formal Approaches to = Explainable VERification (July 23)

-- REGISTRATION --

Early registration is until
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Wednesday, June 14, 2017 (AOE).

http://cavconference.org/2017/registration/

-- VENUE --

Workshops will be organized at the Crowne Plaza hotel in Heidelberg City Ce= nter.
The conference will be organized at the beautiful Heidelberg Stadthalle by = the River Neckar.

-- ACCOMMODATION --

The organizers have negotiated special rates from several hotels in Heidelb= erg.

To benefit from those, follow the instructions on the conference
website. The offers expire on different dates on or before the early regist= ration
deadline.

Heidelberg is a busy tourist destination in July. It is important to book y= our
hotel as soon as possible!


-- HOST CITY --

Heidelberg is a picturesque city one the river Neckar at the heart of the &= #39;Rhine-Neckar Triangle' in western Germany.
It is renowned for its medieval castle, its old university (founded in 1386= ) and "Philosopher's Walk,"
and its historic old town. It is a cosmopolitan and vibrant college town wi= th a rich academic and cultural tradition
(including a 16th century Student Jail for mischievous students :-o). https://en.wikipedia.org/wiki/Heidelberg

July is warm and sunny for the most part. It is also high tourist season.

-- ORGANIZERS --

We hope to welcome you to CAV 2017!

Viktor Kuncak (EPFL)
Rupak Majumdar (MPI-SWS)

--001a1144479cda4377054ec6fd0f--