From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9082 Path: news.gmane.org!.POSTED!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: ETAPS 2017 call for participation Date: Sat, 21 Jan 2017 22:12:49 +0200 Message-ID: Reply-To: Tarmo Uustalu NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1485096155 14958 195.159.176.226 (22 Jan 2017 14:42:35 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 22 Jan 2017 14:42:35 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Jan 22 15:42:31 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cVJLF-0001Ea-OR for gsmc-categories@m.gmane.org; Sun, 22 Jan 2017 15:42:01 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:45109) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cVJK9-0008FX-Kk; Sun, 22 Jan 2017 10:40:53 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cVJJk-0003zq-6j for categories-list@mlist.mta.ca; Sun, 22 Jan 2017 10:40:28 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9082 Archived-At: ****************************************************************** CALL FOR PARTICIPATION ETAPS 2017 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 -- See the accepted paper lists at the conference website. -- SATELLITE EVENTS (22-23 April, 29 April) -- 17 satellite workshops and other events will take place before or after ETAPS 2017. =20 Check their calls for papers and consider contributing! DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April) FESCA, SNR (22 April) HotSpot, MBT, 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]