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: Call for Participation
Date: Fri, 12 Jun 2009 17:21:54 +0200 [thread overview]
Message-ID: <4A327292.7020508@cs.unibo.it> (raw)
In-Reply-To: <48DCACFE.6000908@cs.unibo.it>
================================================================
CALL FOR PARTICIPATION:
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** EARLY REGISTRATION IS OPEN 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 programme includes also invited talks given by:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Robin Milner, University of Cambridge, UK
- Corrado Priami, University of Trento and CoSBi, 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.
next prev parent reply other threads:[~2009-06-12 15:21 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 ` Mario Bravetti [this message]
2009-07-16 9:15 ` CONCUR 2009: Second Call for Participation Mario Bravetti
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=4A327292.7020508@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).