From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7C99CBC57 for ; Sat, 21 Aug 2010 11:31:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroJAO85b0zBzQKH/2dsb2JhbACaBIcTGrcchTcEjHOHRw X-IronPort-AV: E=Sophos;i="4.56,244,1280700000"; d="scan'208";a="55861064" Received: from www.sti.uniurb.it (HELO raffaello.sti.uniurb.it) ([193.205.2.135]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Aug 2010 11:30:59 +0200 Received: from localhost (localhost [127.0.0.1]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id 05B1F5EB92; Sat, 21 Aug 2010 11:30:54 +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 149CC5EB05; Sat, 21 Aug 2010 11:30:32 +0200 (CEST) Received: from [217.201.75.62] (unknown [217.201.75.62]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by cimabue.sti.uniurb.it (Postfix) with ESMTP id 2728A272D9A; Sat, 21 Aug 2010 11:30:20 +0200 (CEST) Date: Sat, 21 Aug 2010 11:31:32 +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 -- second call for participation (early registration Aug 31) Message-ID: User-Agent: Alpine 2.00 (DEB 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323328-1232167926-1282383117=:29208" 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-1232167926-1282383117=:29208 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-1232167926-1282383117=:29208--