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 94EA67FD5C; Tue, 28 Feb 2017 21:54:28 +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@smtp3.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.188; 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.188; 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@smtp3.ioc.ee) identity=helo; client-ip=193.40.251.188; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="postmaster@smtp3.ioc.ee"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AqCZeLBE2NIfvkRk7ezkXZJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75p8WwAkXT6L1XgUPTWs2DsrQf2reQ6fCrADBcqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2a3IyL0LWy8obQbgFMrDq0erB/KBHwqh/e8oEdiI5mb6Iw0Qfho31Seu?= =?us-ascii?q?0Qy3ksbVmUhlP34tq61J9l6SVZ/fw7pOBaVqCvQ60iSLsQMSk9L2kx+YW/qRDZ?= =?us-ascii?q?SAyn7WBaU2Id1BdFVVuWpCrmV4v853Op/tF23zOXaJX7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BfBwDQ4rVY/7z7KMFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAaEZIp7pBaCD4INJoJGhiYXAQEBAQEBAQEBAQFhKIIzIIJBBkMCRgIFIQI?= =?us-ascii?q?RTxuJcgqxRYImizAmgQuLbIJ4gyaCXwWHPJRnhgSMG3aEPotxim2IRSABNoEBI?= =?us-ascii?q?RQILIUagXM+iiUBAQE?= X-IPAS-Result: =?us-ascii?q?A0BfBwDQ4rVY/7z7KMFdHQEFAQsBGAEFAQsBhAaEZIp7pBa?= =?us-ascii?q?CD4INJoJGhiYXAQEBAQEBAQEBAQFhKIIzIIJBBkMCRgIFIQIRTxuJcgqxRYImi?= =?us-ascii?q?zAmgQuLbIJ4gyaCXwWHPJRnhgSMG3aEPotxim2IRSABNoEBIRQILIUagXM+iiU?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.35,221,1484002800"; d="scan'208";a="262507304" Received: from smtp3-out.ioc.ee (HELO smtp3.ioc.ee) ([193.40.251.188]) by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Feb 2017 21:53:31 +0100 Received: from cs.ioc.ee (ioc-gw.kybi [172.17.0.254]) by smtp3.ioc.ee (Postfix) with ESMTPSA id 76651402B4; Tue, 28 Feb 2017 22:53:30 +0200 (EET) Date: Tue, 28 Feb 2017 22:53:32 +0200 From: Tarmo Uustalu To: haskell@haskell.org, caml-list@inria.fr, coq-club@inria.fr Message-ID: <20170228225332.202f59d2@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 early registration deadline approaching Early registration deadline 12 March 2017! ****************************************************************** CALL FOR PARTICIPATION 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, PROGRAMME -- See the accepted paper lists and conference programme=20 at the conference website. -- SATELLITE EVENTS (22-23 April, 29 April) -- 16 satellite workshops and other events will take place before or after ETAPS 2017.=20=20 DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April) FESCA, SNR (22 April) HotSpot, 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