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 302187FC21; Fri, 13 Feb 2015 21:13:22 +0100 (CET) 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: A0AdBQBrWt5U/wP7KMFbDoJ4UlrCJwKFeYEWQwEBAQEBAXyEDgYBARodLhE8JQ8tIAISCQ2IG9UmAQEBBwEBAQEeGIwxglxUhDEFmGiBGYMHjmQCIoIPgSI/bYJDAQEB X-IPAS-Result: A0AdBQBrWt5U/wP7KMFbDoJ4UlrCJwKFeYEWQwEBAQEBAXyEDgYBARodLhE8JQ8tIAISCQ2IG9UmAQEBBwEBAQEeGIwxglxUhDEFmGiBGYMHjmQCIoIPgSI/bYJDAQEB X-IronPort-AV: E=Sophos;i="5.09,572,1418079600"; d="scan'208";a="100014827" Received: from postiljon.ioc.ee ([193.40.251.3]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Feb 2015 21:13:20 +0100 Received: from localhost (butler.kybi [172.17.0.12]) by postiljon.ioc.ee (Postfix) with ESMTP id 3972A244E628; Fri, 13 Feb 2015 22:13:19 +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 pz0Il6-Jvx81; Fri, 13 Feb 2015 22:13:19 +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 6A52E244E607; Fri, 13 Feb 2015 22:13:14 +0200 (EET) Date: Fri, 13 Feb 2015 22:13:07 +0200 From: Tarmo Uustalu To: seworld@sigsoft.org, ecoop-info@ecoop.org, fmics@inrialpes.fr, concurrency@listserver.tue.nl, petrinet@informatik.uni-hamburg.de, theorynt@listserv.nodak.edu, nvti-list@cwi.nl, ipalist@listserver.tue.nl, qest-announce@iti.uiuc.edu, puml-list@cs.york.ac.uk, papm@informatics.ed.ac.uk, lics@informatik.hu-berlin.de, games@lists.rwth-aachen.de, synalp@inrialpes.fr, nwpt-info@lists.ioc.ee, relmics-l@mcmaster.ca , security@fosad.org, announce@informatics-europe.org, ProofTheory.List@gmail.com, theorem-provers@ai.mit.edu, acm-fse@lists.inf.unisi.ch, pvs-announce@csl.sri.com, isabelle-users@cl.cam.ac.uk, sigsoft-l@acm.uiuc.edu, business-process-management@jiscmail.ac.uk, sml-list@cs.cmu.edu, caml-list@inria.fr, coq-club@inria.fr, fmnet@jiscmail.ac.uk, fortest@jiscmail.ac.uk, ifmsig@cs.tcd.ie, users@racket-lang.org, richmodels-all@laraserver.epfl.ch, gratra@lists.uni-paderborn.de, proglang@cs.uiuc.edu, clean-list@science.ru.nl, fm-announcements@lists.nasa.gov Cc: tarmo@cs.ioc.ee Message-ID: <20150213221307.45cbc51b@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=US-ASCII Content-Transfer-Encoding: 7bit X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] ETAPS 2015 call for participation ****************************************************************** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/ ****************************************************************** -- 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 six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is already the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction * 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: Daniel Licata (Wesleyan University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) CC invited speaker: Keshav Pingali (University of Texas, USA) FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) TACAS invited speaker: Wang Yi (Uppsala University, Sweden) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (11-12 and 18 April) -- 17 satellite workshops will take place before or after ETAPS 2015. GALOP, GaM, QAPL (11-12 April) FMSPLE, FOPARA, SynCop, VPT (11 April) DICE, FESCA, VerifyThis, WoC, WPLI (12 April) HotSpot, MBT, PLACES, TTATT, TPDP (18 April) -- REGISTRATION Early registration is until Saturday, 14 February 2015. Normal-rate registration is until Tuesday, 10 March 2015. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. -- ORGANIZERS General chairs: Pasquale Malacaria, Nikos Tzevelekos Workshop chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Further organizers: Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh --- HOST INSTITUTION Queen Mary University of London -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2015@qmul.ac.uk