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 sympa.inria.fr (Postfix) with ESMTPS id F22AD7FA5F; Sat, 21 Jan 2017 21:25:39 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@smtp2.ioc.ee Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tarmo@cs.ioc.ee) identity=pra; client-ip=193.40.251.199; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="tarmo@cs.ioc.ee"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tarmo@cs.ioc.ee) identity=mailfrom; client-ip=193.40.251.199; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="tarmo@cs.ioc.ee"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp2.ioc.ee) identity=helo; client-ip=193.40.251.199; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="postmaster@smtp2.ioc.ee"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A7n93ihxNgZ+2a0LXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uIeIJqq85mqBkHD//Il1AaPBtSHra4ZwLON7OigATVGusnR9ihaMdRlbFwst4?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?bre9JomHhM2y06W2+obPSwROnju0J71oaF29qhyUvc0Li6NjLLwww13HuChmYe?= =?us-ascii?q?NTkF9hP1eU1yvh/du5+IMrpzhZofcm38VbF6T9dOI1QOoLX3wdL2kp6Ziz5lH4?= =?us-ascii?q?RgyV6y5EXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1BAAEw4NY/8f7KMFeHQEFAQsBGAEFA?= =?us-ascii?q?QsBgxIBAQEBAX+EXIp6pC+EHCaCRoYQFAEBAQEBAQEBAQEBYiiCMxmCQQZDAkY?= =?us-ascii?q?CBSECEU8biQcKrX6CJYpFJoELi2yCbYJsDC6CXgWHKZQihXKLa3SEM4tUikGIN?= =?us-ascii?q?TYhgRcTCCqFAIFyPIlKAQEB?= X-IPAS-Result: =?us-ascii?q?A0C1BAAEw4NY/8f7KMFeHQEFAQsBGAEFAQsBgxIBAQEBAX+?= =?us-ascii?q?EXIp6pC+EHCaCRoYQFAEBAQEBAQEBAQEBYiiCMxmCQQZDAkYCBSECEU8biQcKr?= =?us-ascii?q?X6CJYpFJoELi2yCbYJsDC6CXgWHKZQihXKLa3SEM4tUikGINTYhgRcTCCqFAIF?= =?us-ascii?q?yPIlKAQEB?= X-IronPort-AV: E=Sophos;i="5.33,265,1477954800"; d="scan'208";a="256671069" Received: from smtp2-out.ioc.ee (HELO smtp2.ioc.ee) ([193.40.251.199]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Jan 2017 21:25:35 +0100 Received: from cs.ioc.ee (ioc-gw.kybi [172.17.0.254]) by smtp2.ioc.ee (Postfix) with ESMTPS id 6566B4096F; Sat, 21 Jan 2017 22:25:35 +0200 (EET) Date: Sat, 21 Jan 2017 22:25:40 +0200 From: Tarmo Uustalu To: caml-list@inria.fr, coq-club@inria.fr Message-ID: <20170121222540.738daa06@cs.ioc.ee> X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] ETAPS 2017 call for participation ****************************************************************** CALL FOR PARTICIPATION ETAPS 2017 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universit=C3=A4t M=C3=BCnchen, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universit=C3=A4t des Saarlandes, Germany,= =20 Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France,=20 and Tiziana Margaria, LERO, Ireland) =20 TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- UNIFYING PUBLIC LECTURE Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France) -- INVITED TUTORIALS=20 V=C3=A9ronique Cortier (LORIA, CRNS, France) Kenneth McMillan (Microsoft Research Redmond, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at the conference website. -- SATELLITE EVENTS (22-23 April, 29 April) -- 17 satellite workshops and other events will take place before or after ETAPS 2017.=20=20 Check their calls for papers and consider contributing! DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April) FESCA, SNR (22 April) HotSpot, MBT, QAPL, SannellaFest (23 April) BX, CREST, LiVe, MARS, PLACES, VPT (29 April) -- REGISTRATION -- Early registration is until Sunday, 12 March 2017 (23:59 GMT+1). http://www.etaps.org/2017/registration -- ACCOMMODATION -- The organizers have negotiated special rates from several hotels in Uppsala. To benefit from those, follow the instructions on the conference website. The offers expire on different dates. -- HOST CITY -- Uppsala city holds a rich history, having for long periods been the political, religious and academic centre of Sweden. Uppsala University is over 500 years old and ranked among the top 100 in the World and has hosted many great scientists over the years, for instance Carl von Linn=C3=A9, Anders Celsius and Anders Jonas =C3=85ngstr= =C3=B6m. The proximity to the capital of Sweden, Stockholm, provides additional benefits as a potential site for arranging both pre- and post congress tours, as well as for excursions or tourism. -- HOST INSTITUTION -- ETAPS 2017 is hosted by the Department of Information Technology, Uppsala University. -- ORGANIZERS Parosh Abdulla (General chair), Mohamed Faouzi Atig,=20 Andreina Francisco, Kaj Lampka, Philipp R=C3=BCmmer, Konstantinos Sagonas,= =20 Bj=C3=B6rn Victor, Wang Yi, Tjark Weber, Yunyun Zhu