From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7214 Path: news.gmane.org!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.petri-nets Subject: ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012 Date: Thu, 23 Feb 2012 01:54:28 +0200 Message-ID: <20120223015428.321a6ec0@duality> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1329998918 11550 80.91.229.3 (23 Feb 2012 12:08:38 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 23 Feb 2012 12:08:38 +0000 (UTC) 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 Feb 23 13:08:33 2012 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 1S0XTH-0006fx-Ox; Thu, 23 Feb 2012 13:08:27 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.14.4/8.14.3) with ESMTP id q1NC32me002576; Thu, 23 Feb 2012 07:03:22 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by rhizome.seas.upenn.edu (8.14.4/8.14.3) with ESMTP id q1MNsfcU017385 for ; Wed, 22 Feb 2012 18:54:41 -0500 Original-Received: from smtp.ioc.ee (suhkur.cc.ioc.ee [193.40.251.100]) by psychopathy.seas.upenn.edu (8.14.4/8.14.3) with ESMTP id q1MNsYQD001077 for ; Wed, 22 Feb 2012 18:54:40 -0500 Original-Received: from duality (myyr.kybi [172.17.0.4]) by smtp.ioc.ee (Postfix) with ESMTPSA id E75872C8DC0; Thu, 23 Feb 2012 01:54:28 +0200 (EET) X-Mailer: Claws Mail 3.7.9 (GTK+ 2.24.6; i686-pc-linux-gnu) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.6.7498, 1.0.260, 0.0.0000 definitions=2012-02-22_06:2012-02-21,2012-02-22,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=2 phishscore=0 bulkscore=98 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=6.0.2-1012030000 definitions=main-1202220271 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Thu, 23 Feb 2012 07:03:00 -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:2795 gmane.science.mathematics.categories:7214 gmane.science.mathematics.petri-nets:3071 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Things to notice: - The programme of the main conferences and a draft summary programme of the workshops of ETAPS 2012 are on the web. - Normal registration will close 26 February 2012, in 4 days. After that date, late registration fees will apply. ****************************************************************** CALL FOR PARTICIPATION: ETAPS 2012 European Joint Conferences on Theory And Practice of Software March 24 - April 1, 2012 Tallinn, Estonia http://www.etaps.org/2012 ****************************************************************** -- 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 (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is already the fifteenth 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 * New! POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speaker 1: Bruno Blanchet (INRIA / ENS / CNRS, France). Security protocol verification: Symbolic and computational models * Unifying speaker 2: Georg Gottlob (Univ. of Oxford, UK). Querying UML class diagrams * CC invited speaker: Francois Bodin (IRISA and CAPS Entreprise, France). Programming heterogeneous many-cores using directives * ESOP invited speaker: Bjarne Stroustrup (Texas A&M Univ., USA) Foundations of C++ * FASE invited speaker: Wil van der Aalst (Techn. Univ. of Eindhoven, Netherlands). Distributed process discovery and conformance checking * FoSSaCS invited speaker: Glynn Winskel (Univ. of Cambridge, UK). Bicategories of concurrent games * POST invited speaker: Cynthia Dwork (Microsoft Research, Silicon Valley, USA). Differential privacy and the power of (formalizing) negative thinking * TACAS invited speaker: Holger Hermanns (Saarland University, Germany). Quantitative models for a not so dumb grid -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS -- 21 satellite workshops will take place before or after ETAPS 2012. BX, FICS, FIT, GT-VMT, iWIGP, MBT, MSFP, VSSE, WRLA will take place in the weekend on 24-25 March 2012. ACCAT, AIPA, Bytecode, CMCS, DICE, FESCA, Graphite, HAS, LDTA, Linearity, PLACES, QAPL are scheduled for 31 March-1 April 2012. See a draft summary programme of the workshops at the conference website. -- REGISTRATION Normal registration is until Sunday, 26 February 2012. -- ACCOMMODATION Tallinn has developed ample hotel capacity. We request that participants arrange their accommodation on their own. -- HOST CITY -- Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, was the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn (TLL) is only 4 kms from the city centre. -- ORGANIZERS * General chair: Tarmo Uustalu * Workshops chair: Keiko Nakata * Organizing committee: James Chapman, Juhan Ernits, Tiina Laasma, Monika Perkmann and colleagues * Host institution: Institute of Cybernetics at Tallinn University of Technology -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps12-Bw8ALBayTmfkYYGmuGtpCw@public.gmane.org