From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2A4107EF0D; Thu, 11 Feb 2016 17:33:01 +0100 (CET) IronPort-PHdr: 9a23:e0cNshTCsD+yfd9IErRUcy7ibNpsv+yvbD5Q0YIujvd0So/mwa65ZhaN2/xhgRfzUJnB7Loc0qyN4/+mAjBLscjJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuIP04Y2nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtTbVDDzkiN0g17dbouB3HCwyV6T9UWWwTll9MAhPZxBD8RJb49CXg8qJ23zDfNsnrR5g1Xy6j5uFlUluglTwKLSUR6mjcicFsyaZSph3noAZwh8bfZIycMr96f7jBVcgRRGdHVcsXTTEHBIfvQZEICr89NPxdqMHAukASpB+jTV2wDfnqzRdDnTn32qZ83ul3QlKO5xApA99b6Cecl97yLqpHCe0= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@postiljon.ioc.ee Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tarmo@cs.ioc.ee) identity=pra; client-ip=193.40.251.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="tarmo@cs.ioc.ee"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tarmo@cs.ioc.ee) identity=mailfrom; client-ip=193.40.251.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="tarmo@cs.ioc.ee"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@postiljon.ioc.ee) identity=helo; client-ip=193.40.251.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tarmo@cs.ioc.ee"; x-sender="postmaster@postiljon.ioc.ee"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0APBQBUt7xW/wP7KMFegzpSbYhbqUaFRYQIHYJAhGc8EAEBAQEBAQEBgQmCLYI4BkVGAgUhAhEtIhIJiBUBCbI7jnIeGGOLA4V8gToFlneNSml9hEOIVYcPhy0CNyuCD4FYaAGIUgEBAQ X-IPAS-Result: A0APBQBUt7xW/wP7KMFegzpSbYhbqUaFRYQIHYJAhGc8EAEBAQEBAQEBgQmCLYI4BkVGAgUhAhEtIhIJiBUBCbI7jnIeGGOLA4V8gToFlneNSml9hEOIVYcPhy0CNyuCD4FYaAGIUgEBAQ X-IronPort-AV: E=Sophos;i="5.22,431,1449529200"; d="scan'208";a="164369095" Received: from postiljon.ioc.ee ([193.40.251.3]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Feb 2016 17:32:51 +0100 Received: from localhost (butler.kybi [172.17.0.12]) by postiljon.ioc.ee (Postfix) with ESMTP id 2BBCA244C301; Thu, 11 Feb 2016 18:32:50 +0200 (EET) X-Virus-Scanned: Debian amavisd-new at ioc.ee Received: from postiljon.ioc.ee ([172.17.0.3]) by localhost (butler.kybi [172.17.0.12]) (amavisd-new, port 10024) with ESMTP id sWz7ILZgFQoA; Thu, 11 Feb 2016 18:32:49 +0200 (EET) Received: from duality (kybi.ioc.ee [193.40.251.4]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by postiljon.ioc.ee (Postfix) with ESMTPS id B6891244C1F6; Thu, 11 Feb 2016 18:32:49 +0200 (EET) Date: Thu, 11 Feb 2016 18:32:39 +0200 From: Tarmo Uustalu To: haskell@haskell.org, caml-list@inria.fr, coq-club@inria.fr, users@racket-lang.org, clean-list@science.ru.nl Message-ID: <20160211183239.0577f20c@duality> X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; i686-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 2016 call for participation ****************************************************************** CALL FOR PARTICIPATION ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ****************************************************************** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (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 2016 is already the nineteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) FASE invited speaker: Oscar Nierrstrasz (Universit=C3=A4t Bern, Switzerland) POST invited speaker: Vitaly Shmatikov (Cornell Tech, USA) -- TUTORIALS=20 Peter Ryan (University of Luxembourg, Luxembourg) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists and the programme of the main conferences at the conference website. http://www.etaps.org/2016/programme -- SATELLITE EVENTS (2-3 and 8 April) -- 22 satellite workshops will take place before or after ETAPS 2016. CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April) RAC, VerifyThis, VPT, VSSE (2 April) FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April) BX, CREST, MSFP, PLACES, TermGraph (8 April) -- REGISTRATION -- Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1). Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1). http://www.etaps.org/2016/registration -- ACCOMMODATION -- We request that participants arrange their accommodation on their own. See our recommendations on the conference website. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- ORGANIZERS -- General chair: Jan Friso Groote Workshop chairs: Erik de Vink and Julien Schmaltz Publicity chair: Anton Wijs --- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.groote@tue.nl, a.j.wijs@tue.nl.