From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8822 Path: news.gmane.org!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: ETAPS 2016 call for participation Date: Thu, 11 Feb 2016 18:30:01 +0200 Message-ID: Reply-To: Tarmo Uustalu NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1455213693 1160 80.91.229.3 (11 Feb 2016 18:01:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 11 Feb 2016 18:01:33 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Feb 11 19:01:24 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aTvYR-0006BR-Qd for gsmc-categories@m.gmane.org; Thu, 11 Feb 2016 19:01:24 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:35127) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aTvXX-0004PO-60; Thu, 11 Feb 2016 14:00:27 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aTvXR-00055j-AT for categories-list@mlist.mta.ca; Thu, 11 Feb 2016 14:00:21 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8822 Archived-At: ****************************************************************** 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]