From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A335BBBAF for ; Fri, 30 Jul 2010 00:04:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0LAEGXUUzBzQKH/2dsb2JhbACZWocWGsEHhTgEi0mHGw X-IronPort-AV: E=Sophos;i="4.55,283,1278280800"; d="scan'208";a="64610520" Received: from www.sti.uniurb.it (HELO raffaello.sti.uniurb.it) ([193.205.2.135]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Jul 2010 00:04:20 +0200 Received: from localhost (localhost [127.0.0.1]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id C16975EB94; Fri, 30 Jul 2010 00:04:12 +0200 (CEST) Received: from cimabue.sti.uniurb.it (cimabue.sti.uniurb.it [192.168.1.211]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id CE0825EB89; Fri, 30 Jul 2010 00:03:50 +0200 (CEST) Received: from [95.75.169.153] (unknown [95.75.169.153]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by cimabue.sti.uniurb.it (Postfix) with ESMTP id A53AE272D9A; Fri, 30 Jul 2010 00:03:37 +0200 (CEST) Date: Fri, 30 Jul 2010 00:04:09 +0200 (CEST) From: Marco Bernardo X-X-Sender: bernardo@localhost.localdomain To: agents@cs.umbc.edu, appsem@appsem.org, caml-list@inria.fr, categories@mta.ca, coalgebras@iti.cs.tu-bs.de, compunode@compulog.org, concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, emsoft@cs.columbia.edu, fmics@inrialpes.fr, formal-methods@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, lics@informatik.hu-berlin.de, list@prooftheory.org, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, logic-list@helsinki.fi, lotos-world@site.uottawa.ca, mailinglist@fmeurope.org, memocode@cs.columbia.edu, moca-announce@list.it.uu.se, papm@informatics.ed.ac.uk, performance@merlot.usc.edu, petrinet@informatik.uni-hamburg.de, prog-lang@diku.dk, puml-list@cs.york.ac.uk, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, seworld@sigsoft.org, softverf@nist.gov, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu Subject: EPEW 2010 -- first call for participation Message-ID: User-Agent: Alpine 2.00 (DEB 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323328-11937451-1280441076=:28570" X-Virus-Scanned: by AMaViS snapshot-20020222 X-Spam: no; 0.00; unreadable:01 mime-aware:01 ralf:01 karlsruhe:01 model:01 model:01 bernardo:98 bernardo:98 elevation:98 congestion:98 readable:01 bounds:02 breaks:02 proceedings:02 checking:02 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323328-11937451-1280441076=:28570 Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15 Content-Transfer-Encoding: 8BIT ===================================================================== # # # EPEW 2010 # # # # 7th European Performance Engineering Workshop # # Bertinoro (Italy), 23-24 September 2010 # # # # http://www.sti.uniurb.it/events/epew2010/ # # # ===================================================================== # # # CALL FOR PARTICIPATION # # # ===================================================================== ============ REGISTRATION ============ The on-line registration system is open. The fee is as follows (early registration deadline is 31 August 2010): EARLY LATE Regular 350 euros 400 euros Student 310 euros 360 euros The fee includes admission to the workshop, one copy of the proceedings, half-board accommodation in single room at the University Residential Center of Bertinoro, coffee breaks, and the social dinner. ======== LOCATION ======== EPEW 2010 will be held in the medieval hilltop town of Bertinoro. This town is in Emilia Romagna, about 70 km south-east of Bologna, at an elevation of about 230 m. It can be reached in a couple of hours from the international airport "G. Marconi" of Bologna. The closest airport is the "L. Ridolfi" airport of Forlė. Travel info available at http://www.sti.uniurb.it/events/epew2010/. ======= PROGRAM ======= EPEW 2010 aims to gather academic and industrial researchers working on all aspects of performance engineering: * Performance modeling and evaluation. * System and network performance engineering. * Software performance engineering. The program includes two invited talks by: * Marco Roccetti (University of Bologna, IT): "Modeling and Simulation of Vehicular Traffic Congestion in Realistic Urban Scenarios". * Ralf Reussner (Karlsruhe Institute of Technology, DE): "From Performance Prediction to Performance Certification". as well as five sessions on: * Network and software performance. * Timed models and model checking. * Model solutions and bounds. * Compositional analysis. * Case studies. Full program available at http://www.sti.uniurb.it/events/epew2010/. ============ ORGANIZATION ============ General Chair: Marco Bernardo (University of Urbino, IT) Program Committee Chairs: Alessandro Aldini (University of Urbino, IT) Luciano Bononi (University of Bologna, IT) Vittorio Cortellessa (University of L'Aquila, IT) Secretary: Roberta Partisani (CRU Bertinoro, IT) --8323328-11937451-1280441076=:28570--