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 714575D5 for ; Mon, 18 Feb 2019 23:43:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,385,1544482800"; d="scan'208";a="369932977" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Feb 2019 00:43:36 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 75B3E825B2; Tue, 19 Feb 2019 00:43:36 +0100 (CET) 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 5851B7F61F; Tue, 19 Feb 2019 00:39:16 +0100 (CET) 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@smtp3.ioc.ee IronPort-PHdr: =?us-ascii?q?9a23=3Aq0y3mx3on3elEFbFsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMUL/ad9pjvdHbS+e9qxAeQG9mDu7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmhi?= =?us-ascii?q?cJOSAk/m/UhcN/kK1VrQm9pxxm2YPYfJ2ZOOZ8c67bYNgURXBBXsFUVyFZHI2z?= =?us-ascii?q?dZEPD+8GPe1FoYb9ukAOrQekCgmoGePk1zhFhmPs0q0g1uQhFhrL0xA7H94UsX?= =?us-ascii?q?TUq8n6OL0MXu+r1aTFyyjIYf1R2Tf48ofIcxYhrOmWXb1uasre11MgFxnZgVWQ?= =?us-ascii?q?s4zpJTSV1v4Cs2SD8eVgSfigi3Y8qw1rpTiv3MgshpHTho0LxVDE8D92wJ0pJd?= =?us-ascii?q?KmUk52bsSoH4dXtyGfMYZ9X8AsQ3lwtSonzrALt4S3cScWxJg92RLSa+GLf5KV?= =?us-ascii?q?7h/gV+udOSp0iXJndb6lgxu/81KsxvD/W8Wu1FtHqixImcTWuH8XzRzc8M2HR+?= =?us-ascii?q?N9/ki/3TaP0Bje6vpBIUAojarWJYQtwr83lpUPq0jMADH5lF33jK+QaEok5vCl?= =?us-ascii?q?5/njb7jovJOROJN4hhvgPqkuh8CzG/k0PwsNUmSD/OSzzrzj/Un3QLVQif02l7?= =?us-ascii?q?HUsIzAKsQBo665BBRY3Zo46xqlDjem18gXkWMZI11bYB6HlZTmO0nSIPDkCvey?= =?us-ascii?q?m0ijny1ux/DCJ7HhBpTNLmPfkLr6ZrZ860tcyBIpwtxF5pJUDKsBIPPpVUPrut?= =?us-ascii?q?zYFAczMxaozOb/FNV9yoQeVHqTDa+eKaPeqEOH5uYyI+aXf4IVozb8K/095/H0?= =?us-ascii?q?l3M5mFkdfbOo3ZQNcny4EO5mcA2lZi/3h9NEFWYRoiI1V6rhjUDEXDJOIz65Vq?= =?us-ascii?q?c4ozU6E56ODIHZR4nrjqbFlCy8B9hdYn1MIlGKC3bhMYueH78HbC+bJIplkycY?= =?us-ascii?q?faOqSoIn3hzorhK8zb4jZvfP9zcDnYjq39t4+6jXnBc9sztuAJezyWaIGl19hG?= =?us-ascii?q?YPDwIrx7x2pVE1nkuKy61/q/dDU91U7LVEX1FpZtbn0+VmBoWqCUr6ddCTRQP+?= =?us-ascii?q?G4T0MXQKVts0huQ2TQN4EtSmgArE2nPzUbQO0b2MD9o5//CEhiSjF4NG03/DkZ?= =?us-ascii?q?IZoRw+WMIWbD+tneh+8AOVCoObyxzExZbvTrwV2Wv2zEnGzWeKuxgEAhV1Tb2e?= =?us-ascii?q?G3EYbQ3boIah6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOAQD/QGtcl7z7KMFJGg6CCYFagRFxE?= =?us-ascii?q?ieEBoM8hT2MM4IDgWaVFIF7Ay2BVIIvhFIGBjAJDQEDAQECAQEBAQETAQEBAQE?= =?us-ascii?q?IFgZMDII6IoMSBkMCRgIFEw4CEU8SCYJOSQGBcgQLNaoDAoE7gS+ELwEDBYVzN?= =?us-ascii?q?FeLUIF/gRGCJoItgV0BAoRpglcCiWwBJJkzCYI9hQCIcIIeJWmBB4VVizuKQ4Q?= =?us-ascii?q?/gQuDOIpmgg4zGggwSAmCVgkJghQOAoNUhRSFBDs/MwGPZAEB?= X-IPAS-Result: =?us-ascii?q?A0BOAQD/QGtcl7z7KMFJGg6CCYFagRFxEieEBoM8hT2MM4I?= =?us-ascii?q?DgWaVFIF7Ay2BVIIvhFIGBjAJDQEDAQECAQEBAQETAQEBAQEIFgZMDII6IoMSB?= =?us-ascii?q?kMCRgIFEw4CEU8SCYJOSQGBcgQLNaoDAoE7gS+ELwEDBYVzNFeLUIF/gRGCJoI?= =?us-ascii?q?tgV0BAoRpglcCiWwBJJkzCYI9hQCIcIIeJWmBB4VVizuKQ4Q/gQuDOIpmgg4zG?= =?us-ascii?q?ggwSAmCVgkJghQOAoNUhRSFBDs/MwGPZAEB?= X-IronPort-AV: E=Sophos;i="5.58,385,1544482800"; d="scan'208";a="296590399" Received: from smtp3-out.ioc.ee (HELO smtp3.ioc.ee) ([193.40.251.188]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Feb 2019 00:39:15 +0100 Received: from cs.ioc.ee (nova-157-097-018-099.cpe.nova.is [157.97.18.99]) by smtp3.ioc.ee (Postfix) with ESMTPSA id 57FC340460; Tue, 19 Feb 2019 01:39:14 +0200 (EET) Date: Mon, 18 Feb 2019 23:39:13 +0000 From: Tarmo Uustalu To: sml-list@cs.cmu.edu, caml-list@inria.fr, coq-club@inria.fr, clean-list@science.ru.nl, users@racket-lang.org Message-ID: <20190218233913.104fdf4e@cs.ioc.ee> 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 2019 call for participation Reply-To: Tarmo Uustalu X-Loop: caml-list@inria.fr X-Sequence: 17352 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: ****************************************************************** CALL FOR PARTICIPATION 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 =20 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 https://conf.researchr.org/home/etaps-2019 ****************************************************************** -- 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 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Lu=C3=ADs Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner H=C3=A4hnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska H=C3=B6gskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tom=C3=A1s Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) =20 TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP) and TOOLympics, an event to celebrate the achievements of the various competitions or comparative evaluations. -- INVITED TALKS AND TUTORIALS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) =20 * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) * Tutorial speakers: Dirk Beyer (LMU M=C3=BCnchen, Germany) Cesare Tinelli (University of Iowa, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at webpages of the individual conferences. For the 2nd year, the proceedings of the ETAPS main conferences in LNCS/ARCoSS will appear in Gold Open Access. -- PROGRAM -- See the full program here: https://conf.researchr.org/program/etaps-2019/program-etaps-2019 -- SATELLITE EVENTS (6-7 April) -- 18 satellite workshops and other events will take place before ETAPS 2019. DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis, TOOLympics (6-7 April) BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April) CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp, Mentoring Workshop (7 April) -- REGISTRATION -- Early registration is until Sunday, 11 March 2019,=20 https://regmaster4.com/2019conf/ETAPS19/register.php -- HOST CITY AND VENUE -- ETAPS 2019 will take place in the centre of Prague, the beautiful capital of the Czech Republic. The main conferences will be held at Orea Hotel Pyramida, while the workshops will take place at the School of Computer Science, Faculty of Mathematics and Physics, Charles University. Both are close to the Prague Castle. For the special deal for accommodation at the conference hotel, see the conference website. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kofron@d3s.mff.cuni.cz and j.vitek@neu.edu.