From: Marco Bernardo <bernardo@sti.uniurb.it>
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 -- last call for participation
Date: Thu, 9 Sep 2010 10:45:49 +0200 (CEST) [thread overview]
Message-ID: <Pine.LNX.4.43.1009091044230.3426-100000@dechirico.sti.uniurb.it> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: TEXT/PLAIN; charset=utf-8, Size: 3147 bytes --]
=====================================================================
# #
# 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)
reply other threads:[~2010-09-09 8:46 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.43.1009091044230.3426-100000@dechirico.sti.uniurb.it \
--to=bernardo@sti.uniurb.it \
--cc=agents@cs.umbc.edu \
--cc=appsem@appsem.org \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=compunode@compulog.org \
--cc=concurrency@listserver.tue.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=emsoft@cs.columbia.edu \
--cc=fmics@inrialpes.fr \
--cc=formal-methods@cs.uidaho.edu \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=logic-list@helsinki.fi \
--cc=lotos-world@site.uottawa.ca \
--cc=mailinglist@fmeurope.org \
--cc=memocode@cs.columbia.edu \
--cc=moca-announce@list.it.uu.se \
--cc=papm@informatics.ed.ac.uk \
--cc=performance@merlot.usc.edu \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=qest-announce@iti.uiuc.edu \
--cc=seworld@sigsoft.org \
--cc=softverf@nist.gov \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox