From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7571 Path: news.gmane.org!not-for-mail From: Joost-Pieter Katoen Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.petri-nets Subject: ETAPS 2013 Call for Participation Date: Thu, 10 Jan 2013 21:04:48 +0100 Message-ID: <50EF1EE0.2020201@cs.rwth-aachen.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1"; Format="flowed" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1357854533 20681 80.91.229.3 (10 Jan 2013 21:48:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 10 Jan 2013 21:48:53 +0000 (UTC) Cc: Joost-Pieter Katoen To: seworld-cDm04SImthVAfugRpC6u6w@public.gmane.org, nwpt-info-9jONkmmOlFFJyyPhQCpnVw@public.gmane.org, appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org, all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, relmics-l-xc3H/SjimlosA/PxXw9srA@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, THEORYNT-0lvw86wZMd8gmrbMBL3H1uW1CriLhL8O@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, concurrency-ZS/VO/AiPhU@public.gmane.org, petrinet-jNDFPZUTrfQBEfOqpokbeYV0Y/DQsy6Ps0AfqQuZ5sE@public.gmane.org, PetriNets-SSQ8kajmRZpknbxzx/v8hQ@public.gmane.org, theorynt-0lvw86wZMd8gmrbMBL3H1uW1CriLhL8O@public.gmane.org, nvti-list-rh8NL+sEX9E@public.gmane.org, ipalist-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, qest-announce-gKxmbi6P6OL2fBVCVOL8/A@public.gmane.org, easst-members-0Lw5bexNw1wqIlM9+NIdVS5tBLDd1YuL@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, puml-list-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org, papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org, lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9@public.gmane.org, games-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org, rocks-project-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Thu Jan 10 22:49:05 2013 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1TtPzk-0006qq-LI; Thu, 10 Jan 2013 22:49:04 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.UPENN.EDU [127.0.0.1]) by rhizome.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id r0ALdnBt021299; Thu, 10 Jan 2013 16:40:07 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from telepathy.seas.upenn.edu (telepathy.seas.upenn.edu [158.130.68.71]) by rhizome.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id r0AK52Xv017551 for ; Thu, 10 Jan 2013 15:05:02 -0500 Original-Received: from mta-1.ms.rz.rwth-aachen.de (mta-1.ms.rz.rwth-aachen.de [134.130.7.72]) by telepathy.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id r0AK4u7s020105 for ; Thu, 10 Jan 2013 15:05:01 -0500 Original-Received: from mx-out-1.rwth-aachen.de ([134.130.5.186]) by mta-1.ms.rz.RWTH-Aachen.de (Sun Java(tm) System Messaging Server 6.3-7.04 (built Sep 26 2008)) with ESMTP id <0MGF0080XEG71080-VQAYY6A2+UYyMoKJnVKI7zLO/+Hfi/qahC4ANOJQIlc@public.gmane.org> for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Thu, 10 Jan 2013 21:04:55 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.84,446,1355094000"; d="scan'208";a="206354645" Original-Received: from relay-auth-1.ms.rz.rwth-aachen.de (HELO relay-auth-1) ([134.130.7.78]) by mx-1.rz.rwth-aachen.de with ESMTP; Thu, 10 Jan 2013 21:04:56 +0100 Original-Received: from Joost-Pieters-MacBook-Pro.local ([unknown] [84.26.11.70]) by relay-auth-1.ms.rz.rwth-aachen.de (Sun Java(tm) System Messaging Server 7.0-3.01 64bit (built Dec 9 2008)) with ESMTPA id <0MGF001VTEG1WV70-seCBZOkowbhu30RgRN3ep1wseP6cNkUDDp4RMR2EF9GzQB+pC5nmwQ@public.gmane.org> for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Thu, 10 Jan 2013 21:04:55 +0100 (CET) User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:17.0) Gecko/17.0 Thunderbird/17.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.9.8327, 1.0.431, 0.0.0000 definitions=2013-01-10_09:2013-01-10,2013-01-10,1970-01-01 signatures=0 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=6.0.2-1211240000 definitions=main-1301100174 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Thu, 10 Jan 2013 16:39:47 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-Sender: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Xref: news.gmane.org gmane.comp.science.types.announce:3384 gmane.science.mathematics.categories:7571 gmane.science.mathematics.petri-nets:3499 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] ****************************************************************** CALL FOR PARTICIPATION: ETAPS 2013 European Joint Conferences on Theory And Practice of Software March 16 - March 24, 2013 Rome, Italy http://www.etaps.org/2013 Early registration deadline: January 30, 2013 ****************************************************************** -- 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 and invited tutorials (new in 2013). ETAPS 2013 is already the sixteenth event in the series. -- MAIN CONFERENCES -- * 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 SPEAKERS -- * Gilles Barthe (Fundaci=F3n IMDEA Software, Madrid, Spain) * Emily Berger (Univ. of Mussachusetts, Amherst, USA) * Krzysztof Czarnecki (Univ. of Waterloo, Canada) * Cedric Fournet (Microsoft Research, Cambridge, UK) * Orna Grumberg (Technion, Haifa, Israel) * Martin Hofmann (Univ. of Munich, Germany) * Jean-Pierre Hubaux (EPFL, Losanna, Switzerland) * Mark S. Miller (Google Research, USA) -- INVITED TUTORIAL SPEAKERS -- * John C. Mitchell (Stanford Univ., USA) * Martin Fr=E4nzle (Univ. of Oldenburg, Germany) * Ralf K=FCsters (Univ. of Trier, Germany) The tutorials take place on Sunday March 17 before ETAPS 2013. -- SATELLITE EVENTS -- 22 satellite workshops will take place before or after ETAPS 2013. ACCAT, AiSoS, BX, DICE, Found. Syst. Spec., HAS, HotSpot, MBT, MEALS, = SR, OCCP, and VSSE will take place in the weekend on 16-17 March 2013. Bytecode, CerCo, FESCA, GT-VMT, GRAPHITE, IC1201, MLQA, PLACSE, QAPL, and TERMGRAPH are scheduled for 31 March-1 April 2012. -- REGISTRATION Early registration is until Sunday, January 30 2013. -- ACCOMMODATION Roma has a huge hotel capacity. You can either arrange your = accommodation on your own or find some reserved hotels on the = registration page. Such reservations expire on February 15, but new ones = will appear after this deadline during the entire registration period. -- HOST CITY -- Rome is the capital of Italy and the country's largest and most = populated municipality. The city is located in the central- western = portion of the Italian Peninsula, on the Tiber river. Rome's history = spans over two and a half thousand years. It was the capital city of the = Roman Kingdom, of the Roman Republic and of the Roman Empire, which was = a major political and cultural influence in the lands bordering the = Mediterranean Sea. Since the 2nd century AD, Rome has been the seat of = the Papacy and, after the end of the Byzantine domination, in the eighth = century it became the capital of the Papal States. In 1871, Rome became = the capital of the Kingdom of Italy, and in 1946 that of the Italian = Republic. Rome's influence on western Civilisation can hardly be = overstated, and the city is still recognised as a centre of the arts and = education. Due to this centrality on many levels, and much of the city's = past power and influence, Rome has been nicknamed "Caput Mundi" (Latin = for "Capital of the World") and "The Eternal City". -- ORGANIZERS -- The event is organized in Sapienza Universit=E0 di Roma. Sapienza has a = very long and prestigious history, it is the largest university in = Europe and the second-largest in the world, with more than 150,000 = students. * General chair: Daniele Gorla * Conferences Chair: Francesco Parisi Presicce * Workshops Chairs: Paolo Bottoni and Pietro Cenciarelli * Publicity Chair: Ivano Salvo * Finance Chairs: Enrico Tronci and Federico Mari * Web Site Chair: Igor Melatti -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps13-33FTb0/ezhbTqvHmireW7A@public.gmane.org