From: Mario Bravetti <bravetti@cs.unibo.it>
To: agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it,
behavior@cs.ucsd.edu, cmcs@cs.indiana.edu,
coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk,
concurrency@cwi.nl, Concurrency@listserver.tue.nl,
csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu,
dipartimento@di.unipi.it, eacsl@dimi.uniud.it,
eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, etalle@cs.utwente.nl,
focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it,
formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de,
gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it,
gulp-all@yahoogroups.com,
hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it,
idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie,
lics@informatik.hu-berlin.de, lics@research.att.com,
lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu,
logic-list@cs.rice.edu, m4m@science.uva.nl,
maude-users@peepal.cs.uiuc.edu, moca-announce@list.it.uu.se,
nvti-list@cwi.nl, oose@uni-paderborn.de,
petrinet@informatik.uni-hamburg.de, qed@mcs.anl.gov,
resist@laas.fr, rewriting@ens-lyon.fr, SAFE-NL@NIC.SURFNET.NL,
sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de,
seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com,
theory-a@listserv.nodak.edu, theory@brics.dk,
theory@cl.cam.ac.uk, theory@cs.bham.ac.uk,
theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it,
types-announce@lists.seas.upenn.edu,
formal-methods@cs.uidaho.edu,
types-announce@lists.seas.upenn.edu, pvs@csl.sri.com,
concurrency@tue.nl, coalgebras@iti.cs.tu-bs.de,
lprolog@cs.umn.edu, moca-announce@list.it.uu.se,
theorynt@listserv.nodak.edu, papm@inf.ed.ac.uk,
categories@mta.ca, caml-list@inria.fr, list@prooftheory.org
Subject: CONCUR 2009: Second Call for Participation
Date: Thu, 16 Jul 2009 11:15:53 +0200 [thread overview]
Message-ID: <4A5EEFC9.8080609@cs.unibo.it> (raw)
In-Reply-To: <48DCACFE.6000908@cs.unibo.it>
================================================================
CALL FOR PARTICIPATION:
CONCUR 2009: 20th International Conference on Concurrency Theory
and colocated events/satellite workshops
August 31 - September 5, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** EARLY REGISTRATION IS OPEN UNTIL JULY 31 **
** SPECIAL ROOM RATES FOR HOTELS CLOSE TO
CONFERENCE VENUE GUARANTEED UNTIL JULY 31 **
----------------------------------------------------------------
CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the
theory of concurrency, and promote its applications.
To celebrate 20 years of International Conference on Concurrency
Theory the conference program will include a special session
jointly organized by the IFIG Working Groups 1.8 "Concurrency
Theory" and 2.2 "Formal Description of Programming Concepts".
The CONCUR 09 invited talks will be given by:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, Technical University of Dresden, Germany
- Robin Milner, University of Cambridge, UK (joint with WS-FM)
- Corrado Priami, Univ. of Trento/CoSBi, Italy (joint with CMSB)
The 20 years of CONCUR session will include invited talks by:
- Robert van Glabbeek, Kensington Res. Lab., Australia
- Bill Roscoe, University of Oxford, UK
- Davide Sangiorgi, University of Bologna, Italy
Furthermore, there will be the following colocated events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods
and the following satellite workshops:
Express, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.
The invited speakers of the colocated events are:
CMSB
- Rita Casadio, University of Bologna, Italy
- John K. Heath, University of Birmingham, UK
- Corrado Priami, Univ. of Trento/CoSBi, Italy
WS-FM
- Maurizio Lenzerini, University Sapienza of Rome, IT
- Robin Milner, University of Cambridge, UK
The invited speakers of the satellite workshops are:
Express
- Samson Abramsky, University of Oxford, UK
- Davide Sangiorgi, University of Bologna, Italy
ICE
- Farhad Arbab, CWI, The Netherlands
- Doron Peled, Bar Ilan University, Israel
Infinity
- Byron Cook, Microsoft Research, UK
- Martin Leucker, Technical Univ. Munich, Germany
MecBIC
- Luca Cardelli, Microsoft Research, Cambridge, UK
SecCo
- Riccardo Focardi, University Ca' Foscari, Italy
SOS
- Robert van Glabbeek, Kensington Res. Lab., Australia
- Paul Blain Levy, University of Birmingham, UK
next prev parent reply other threads:[~2009-07-16 9:17 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-09-26 9:35 CONCUR 2009: Call for Affiliated Workshops Mario Bravetti
2009-01-15 10:34 ` CONCUR 2009: Call for Papers Mario Bravetti
2009-03-06 9:44 ` CONCUR 2009: 2nd " Mario Bravetti
2009-03-24 14:51 ` CONCUR 2009: Final " Mario Bravetti
2009-06-12 15:21 ` CONCUR 2009: Call for Participation Mario Bravetti
2009-07-16 9:15 ` Mario Bravetti [this message]
2010-03-16 6:25 ` CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing Mario Bravetti
2010-05-06 8:27 ` 2nd " Mario Bravetti
2010-05-24 11:08 ` Final " Mario Bravetti
2010-07-16 17:45 ` Call for Participation " Mario Bravetti
2011-03-01 17:26 ` [Caml-list] INTRUSO 2011 CFP Mario Bravetti
2011-03-31 9:51 ` [Caml-list] INTRUSO 2011 - Second CFP Mario Bravetti
2011-04-17 18:41 ` [Caml-list] LAM'11: 2nd Call for Paper "Dr. Michael Köhler-Bussmeier"
2012-03-08 14:04 ` [Caml-list] CfPart HATS International School on Formal Models for Objects and Components Mario Bravetti
2013-07-16 13:23 ` [Caml-list] 2nd CFP: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing Mario Bravetti
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=4A5EEFC9.8080609@cs.unibo.it \
--to=bravetti@cs.unibo.it \
--cc=Concurrency@listserver.tue.nl \
--cc=FMxSOCandBPM@cs.unibo.it \
--cc=SAFE-NL@NIC.SURFNET.NL \
--cc=Sensoria@lists.tcs.ifi.lmu.de \
--cc=agents@cs.umbc.edu \
--cc=aiia@di.unito.it \
--cc=appsem@disi.unige.it \
--cc=behavior@cs.ucsd.edu \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=cmcs@cs.indiana.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=comlab@comlab.ox.ac.uk \
--cc=concurrency@cwi.nl \
--cc=concurrency@tue.nl \
--cc=csl@dbai.tuwien.ac.at \
--cc=dbworld@cs.wisc.edu \
--cc=dipartimento@di.unipi.it \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it-l@unifi.it \
--cc=etalle@cs.utwente.nl \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=generative@rz.tu-ilmenau.de \
--cc=gragra@i3.informatik.rwth-aachen.de \
--cc=grin@di.unipi.it \
--cc=gulp-all@yahoogroups.com \
--cc=hise-safety-critical@minster.cs.york.ac.uk \
--cc=ic.eatcs@di.unipi.it \
--cc=idss@socs.uts.EDU.AU \
--cc=ifip@ifip.or.at \
--cc=ifmsig@cs.tcd.ie \
--cc=lics@informatik.hu-berlin.de \
--cc=lics@research.att.com \
--cc=lics@research.bell-labs.com \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=lprolog@cs.umn.edu \
--cc=m4m@science.uva.nl \
--cc=maude-users@peepal.cs.uiuc.edu \
--cc=moca-announce@list.it.uu.se \
--cc=nvti-list@cwi.nl \
--cc=oose@uni-paderborn.de \
--cc=papm@inf.ed.ac.uk \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=resist@laas.fr \
--cc=rewriting@ens-lyon.fr \
--cc=sensoria-core@di.unipi.it \
--cc=seworld@cs.colorado.edu \
--cc=stimdi-rek-subscribe@yahoogroups.com \
--cc=theory-a@listserv.nodak.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=tocai@dis.uniroma1.it \
--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;
as well as URLs for NNTP newsgroup(s).