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 -- second call for participation (early registration Aug 31)
Date: Sat, 21 Aug 2010 11:31:32 +0200 (CEST) [thread overview]
Message-ID: <alpine.DEB.2.00.1008211129160.29208@localhost.localdomain> (raw)
[-- Attachment #1: Type: TEXT/PLAIN, Size: 3062 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-08-21 9:31 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=alpine.DEB.2.00.1008211129160.29208@localhost.localdomain \
--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