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 B46555D4 for ; Mon, 18 Jun 2018 16:01:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,240,1526335200"; d="scan'208,217";a="332313667" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jun 2018 18:01:06 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5A13C82491; Mon, 18 Jun 2018 18:01:06 +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 C844682474 for ; Mon, 18 Jun 2018 17:58:10 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=caterina.urban@inf.ethz.ch; spf=None smtp.mailfrom=caterina.urban@inf.ethz.ch; spf=None smtp.helo=postmaster@edge10.ethz.ch IronPort-PHdr: =?us-ascii?q?9a23=3AM4YWfRY9ONW+kMiJwgav0WH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs24bnLW6fgltlLVR4KTs6sC17KL9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa9bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul86pmRgPkhD?= =?us-ascii?q?oeOzIl7W3cl8h8gL9brR6koRF03ozab5yPNPdmfq3TY84URXZPUMhSVixOHoyz?= =?us-ascii?q?YpAVAOYdOOZVtZXxq0cQoRa4GAKiBPnvyjhNhnLu06E13f4hHhrc0wwmAtkFrW?= =?us-ascii?q?rZo8/pNKgMS+C1za/Iwi/NY/hL3jry9JLHcgw/rvGWXLJwd9DexVMyFwPflVqf?= =?us-ascii?q?s4rlMiiU1uQLvWiX9fRvVf6vi28msQ1+vjivy94qh4LUiIwVzVXE+j94wIYzPd?= =?us-ascii?q?C4U1J7bsS4EJtRqy6VLY12TdkmQ2BooyY6y6YGtYS8fCgQx5QqwQPUZf+fc4WQ?= =?us-ascii?q?4R/vSvydLSp2iX55Yr6yhRa//VK9xuD/V8S4yEtGojRBn9XWq3wA2QLf5tKaRv?= =?us-ascii?q?Zz+kqtwzWC2xjd6u5aIk04ia/WJps9zbIti5UevkHOETLolEnojKKbc0sk9fKz?= =?us-ascii?q?5OTpZ7jqu5uROo17hwz4L68ggNawAf4iPQgLR2Wb+fqz1Lnk/UDhXrpFk/I2nb?= =?us-ascii?q?fEvJzGP8gUuLK5Aw9U04o59xm/Dy+q0NUenXYZMFJIYBGKg5bzN13TLv30Ee2z?= =?us-ascii?q?jlasnTtx2vzLPbzsDo3ILnfZkbfhebh961RbyAo21d1Q+4hbCq0fL/LpW0/xss?= =?us-ascii?q?bXAgUkMwyu2OnoEtN925gfWWKJDK+VKr3dsUOI5uMuOeWDeI8VtC7nK/c5//7u?= =?us-ascii?q?kWM5mVgFcKa1x5QXbXS4Eu1iI0WYenrsnswMEXwKvwo7VOzlkkeOUT9VZ3aoXq?= =?us-ascii?q?Iz/Cs3CIy8DdSLeof4yoGb1i69VtV9b3xLEFGKGD2gI46NR/oWaSSbZNJ7mDUC?= =?us-ascii?q?fbmnRcksyRG88gT6nelJNO3Rr2clr5jq0pA9zOTPmAsz8zU+R5CW2n2AVWByly?= =?us-ascii?q?UVXTU/2oh+p0I7x0uDw+5zg6oLRpRo+/pVX1JiZtbnxOtgBoWrB1uQLOfMc06v?= =?us-ascii?q?R5CdOR90S9swx9EUZEMkQIejiB6F0jaqEfkel+7TXcBmwufnx3H0Yv1F5TPezq?= =?us-ascii?q?B41AsnRMUJOHGmlOh091qLXtObowCij6+vMJ8k8mvN+WOElDTcsU1XXVcoF6jZ?= =?us-ascii?q?XWJZbUuE9dk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DXAwCH1Sdbh7pLglJbHgEYC4JkgTWBF?= =?us-ascii?q?AEBEQqHX5Bjgg6CaZF5FIFkCyMJgUuFVhkGBjAYAQIBAQEBAQEBAQETAQEBCgs?= =?us-ascii?q?JCCkjDII1DIMLSyMBRzkUEwQTgyUCgRtkAQMBCqwChFuDaYFoCQGISoITgQ8kg?= =?us-ascii?q?jiBcYFHCwECgSwBCwQDAYNRgiQChiSBL4luh1UHAgJ2hDhMgl+HbUGDP4d8iXI?= =?us-ascii?q?ghzuBQYEZWw4IgUAqAXIIgR4JgiQCiGKFPm+BFYx0DxeBCAGBGQEB?= X-IPAS-Result: =?us-ascii?q?A0DXAwCH1Sdbh7pLglJbHgEYC4JkgTWBFAEBEQqHX5Bjgg6?= =?us-ascii?q?CaZF5FIFkCyMJgUuFVhkGBjAYAQIBAQEBAQEBAQETAQEBCgsJCCkjDII1DIMLS?= =?us-ascii?q?yMBRzkUEwQTgyUCgRtkAQMBCqwChFuDaYFoCQGISoITgQ8kgjiBcYFHCwECgSw?= =?us-ascii?q?BCwQDAYNRgiQChiSBL4luh1UHAgJ2hDhMgl+HbUGDP4d8iXIghzuBQYEZWw4Ig?= =?us-ascii?q?UAqAXIIgR4JgiQCiGKFPm+BFYx0DxeBCAGBGQEB?= X-IronPort-AV: E=Sophos;i="5.51,240,1526335200"; d="scan'208,217";a="269188597" Received: from edge10.ethz.ch ([82.130.75.186]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Jun 2018 17:58:09 +0200 Received: from CAS20.d.ethz.ch (172.31.51.110) by edge10.ethz.ch (82.130.75.186) with Microsoft SMTP Server (TLS) id 14.3.399.0; Mon, 18 Jun 2018 17:57:54 +0200 Received: from MBX117.d.ethz.ch ([fe80::c1d4:d225:fabf:1974]) by CAS20.d.ethz.ch ([fe80::2cd8:4907:7776:c56d%10]) with mapi id 14.03.0399.000; Mon, 18 Jun 2018 17:57:57 +0200 From: "Urban Caterina" To: "Urban Caterina" Thread-Topic: SAS 2018 - Call for Participation Thread-Index: AQHUBx0fENQToT6IJ0y6MlvhRyvL0Q== Date: Mon, 18 Jun 2018 15:57:56 +0000 Message-ID: <10DD0377-756D-499F-94F5-DC66D7D06BE4@inf.ethz.ch> Accept-Language: en-US, de-CH Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [129.132.139.8] Content-Type: multipart/alternative; boundary="_000_10DD0377756D499F94F5DC66D7D06BE4infethzch_" MIME-Version: 1.0 X-Validation-by: caterina.urban@inf.ethz.ch Subject: [Caml-list] SAS 2018 - Call for Participation Reply-To: "Urban Caterina" X-Loop: caml-list@inria.fr X-Sequence: 16949 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: --_000_10DD0377756D499F94F5DC66D7D06BE4infethzch_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable --------------------------------------------------------------------- CALL FOR PARTICIPATION SAS 2018 25th Static Analysis Symposium Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018 --------------------------------------------------------------------- ABOUT Static Analysis is widely recognized as a fundamental tool for program veri= fication, bug detection, compiler optimization, program understanding, and = software maintenance. The series of Static Analysis Symposia has served as = the primary venue for the presentation of theoretical, practical, and appli= cation advances in the area. The 25th Static Analysis Symposium, SAS 2018, = will be held in Freiburg im Breisgau, Germany. REGISTRATION Registration is now open. Please visit: http://staticanalysis.org/sas2018/registration.html STUDENT GRANTS A limited number of students grants will be available. The grant will cover= the cost for lodging during the conference and a contribution to travel ex= penses. For further information, please send an informal email to the PC Ch= air via sas2018-0@easychair.org. INVITED TALKS - Aws Albarghouthi (University of Wisconsin-Madison, USA) Program Fairness through the Lens of Formal Methods - Zak Kincaid (Princeton University, USA) Non-linear Invariant Generation via Recurrence Analysis - Ruzica Piskac (Yale University, USA) Firewall Repair and Verification of Configuration Files - Sharon Shoham (Tel Aviv University, Israel) Verification of Distributed Systems Using First-Order Logic INVITED TUTORIALS - Roberto Bagnara (University of Parma/BUGSENG, Italy) MISRA C and its Role in the Development of Safety- and Security-Critical = Embedded Software - Ken McMillan (Microsoft Research, USA), Oded Padon (Tel Aviv University, = Israel) Ivy: Safety Verification by Interactive Generalization - Peter O'Hearn (University College London/Facebook, UK) Experiences developing and deploying a concurrency analysis at Facebook ACCEPTED PAPERS The list of accepted papers is available at: http://staticanalysis.org/sas2018/accepted.html AFFILIATED EVENTS - 9th Workshop on Static Analysis and Systems Biology (SASB 2018) Chairs: Tatjana Petrov (University of Konstanz, Germany) and Ankit Gupta = (ETH Zurich, Switzerland) - 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018) Chair: Fausto Spoto (University of Verona/Julia Srl, Italy) Hope to see you in Freiburg! Andreas Podelski, Program Chair Caterina Urban, Publicity Chair --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --_000_10DD0377756D499F94F5DC66D7D06BE4infethzch_ Content-Type: text/html; charset="us-ascii" Content-ID: Content-Transfer-Encoding: quoted-printable
-----------------------------------------------------------= ----------

                &nb= sp;       CALL FOR PARTICIPATION

                &nb= sp;              SAS 2018
                &nb= sp;   25th Static Analysis Symposium
      Freiburg im Breisgau, Germany, August = 29th-August 31st, 2018
               http://stati= canalysis.org/sas2018

-----------------------------------------------------------= ----------

ABOUT
Static Analysis is widely recognized as a fundamental tool = for program verification, bug detection, compiler optimization, program und= erstanding, and software maintenance. The series of Static Analysis Symposi= a has served as the primary venue for the presentation of theoretical, practical, and application advances i= n the area. The 25th Static Analysis Symposium, SAS 2018, will be held in F= reiburg im Breisgau, Germany. 

REGISTRATION
Registration is now open. Please visit:
http://staticanalysis.org/s= as2018/registration.html

STUDENT GRANTS
A limited number of students grants will be available. The = grant will cover the cost for lodging during the conference and a contribut= ion to travel expenses. For further information, please send an informal em= ail to the PC Chair via sas2018-0@easychair.o= rg.

INVITED TALKS
- Aws Albarghouthi (University of Wisconsin-Madison, USA)
  Program Fairness through the Lens of Formal Methods<= /div>
- Zak Kincaid (Princeton University, USA)
  Non-linear Invariant Generation via Recurrence Analy= sis
- Ruzica Piskac (Yale University, USA)
  Firewall Repair and Verification of Configuration Fi= les
- Sharon Shoham (Tel Aviv University, Israel)
  Verification of Distributed Systems Using First-Orde= r Logic

INVITED TUTORIALS
- Roberto Bagnara (University of Parma/BUGSENG, Italy)
  MISRA C and its Role in the Development of Safety- a= nd Security-Critical Embedded Software
- Ken McMillan (Microsoft Research, USA), Oded Padon (Tel A= viv University, Israel)
  Ivy: Safety Verification by Interactive Generalizati= on
- Peter O'Hearn (University College London/Facebook, UK)
  Experiences developing and deploying a concurrency a= nalysis at Facebook

ACCEPTED PAPERS
The list of accepted papers is available at:
http://staticanalysis.org/sas2018/accepted.html

AFFILIATED EVENTS
- 9th Workshop on Static Analysis and Systems Biology (SASB= 2018)
  Chairs: Tatjana Petrov (University of Konstanz, Germ= any) and Ankit Gupta (ETH Zurich, Switzerland)
- 9th Workshop on Tools for Automatic Program Analysis (TAP= AS 2018)
  Chair: Fausto Spoto (University of Verona/Julia Srl,= Italy)

Hope to see you in Freiburg!

Andreas Podelski, Program Chair
Caterina Urban, Publicity Chair

--_000_10DD0377756D499F94F5DC66D7D06BE4infethzch_--