CONCUR 2009: Call for Affiliated Workshops

[Mario Bravetti]

CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it/

*Call for Affiliated Workshops*

Conference Dates:  September 1-4, 2009
Affiliated Workshop Dates:  August 31, 2009 and September 5, 2009

The 20th Conference on Concurrency Theory will be held this coming
summer in Bologna, Italy, and will be co-locate with the
7th Conference on Computational Methods in Systems Biology (CMSB) and
the 6th International Workshop on Web Service and Formal Methods
(WS-FM).

Researchers and practitioners are invited to submit proposals for
workshops on topics related to concurrency theory and its applications.
Example topics include, semantics, logics, verification techniques
for concurrent systems, and cross-fertilization between industry and
academia. Past CONCUR conferences have been accompanied by successful
workshops on a variety of topics, like formal and foundational methods,
models of systems (biological, timed), security issues, semantical
issues, and verification methods.

The purpose of the workshops is to provide participants with a friendly,
interactive atmosphere for presenting novel ideas and discussing their
application.

Proposals should include:

* The name and the preferred date of the proposed workshop.
* A very brief cv of the chairperson(s) or a link to some web page
including such information.
* A short scientific summary of the topic, its scope and significance
(and possibly a description of past versions of the workshop, including,
e.g., dates, organizers, submission and acceptance counts, and
attendance).
* Procedures for selecting papers, plans for dissemination (for example,
proceedings and special issues of journals), and the expected number of
participants.

Important Dates:

Workshop proposals due November 15th, 2008.
Notification of acceptance: December 1st, 2008.
Submissions to: concur09@...

The CONCUR organization offers:

* Link from CONCUR and Workshop web sites.
* Setup of meeting space, and related equipment.
* Coffee-breaks.
* On-line and on-site registration to the workshop.

The main responsibility of organizing a workshop goes to the
workshop chairperson(s), including:

* Workshop publicity (possibly including call for papers,
submission and review process).
* Scheduling workshop activities in collaboration with the CONCUR
local organizers.

Please contact the CONCUR organizers (Mario Bravetti and
Gianluigi Zavattaro) for any further details at the address:
concur09@...


_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

[Mario Bravetti]

================================================================
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
*CALL FOR PAPERS*
Abstract submission: April 3, 2009
Paper submission: April 10, 2009
================================================================

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.

The list of invited speakers at CONCUR 09 currently includes:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Corrado Priami, University of Trento and CoSBi, Italy

Furthermore, there will be the following collocated 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, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The overall event will take place at the University of Bologna
on August 31-September 5, 2009.

TOPICS OF INTERESTS:

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- BASIC MODELS OF CONCURRENCY
such as abstract machines, domain theoretic models, game
theoretic models, process algebras, and Petri nets;
- LOGICS FOR CONCURRENCY
such as modal logics, probabilistic and stochastic logics,
temporal logics, and resource logics;
- MODELS OF SPECIALIZED SYSTEMS
such as biology-inspired systems, circuits, hybrid systems,
mobile and collaborative systems, multi-core processors,
probabilistic systems, real time systems, service oriented
computing, and synchronous systems;
- VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS
such as abstract interpretation, atomicity checking,
model checking, race detection, pre-order and equivalence
checking, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving, and
type systems;
- RELATED PROGRAMMING MODELS
such as distributed, component-based, object-oriented, and
web services.

SUBMISSION GUIDELINES:

The CONCUR 2009 conference solicits high quality papers
reporting research results and/or experience reports related
to the topics mentioned above. All papers must be original,
unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15
pages in length. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the
discretion of the program committee. Each paper will undergo
a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference.

Selected papers will be invited to a special issue of the
Information and Computation journal.

IMPORTANT DATES:

Abstract Submission: April 3, 2009
Paper Submission: April 10, 2009
Notification: May 25, 2009
Final version due: June 12, 2009

PROGRAM COMMITTEE:

Luca Aceto, Reykjavik University, Iceland
Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands
Michele Boreale, University of Florence, Italy
Mario Bravetti, University of Bologna, Italy (co-chair)
Luis Caires, Universidade Nova de Lisboa, Purtugal
Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Cedric Fournet, Microsoft Research, Cambridge, UK
Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Holger Hermanns, Saarland University, Germany
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Jane Hillston, University of Edinburgh, UK
Barbara Koenig, University of Duisburg-Essen, Germany
Francois Laroussinie, Universite Paris Diderot-Paris 7, France
Ugo Montanari, University of Pisa, Italy
Uwe Nestmann, Technische Universitaet Berlin, Germany
Manuel Nunez, Universidad Complutense de Madrid , Spain
Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France
Joachim Parrow, Uppsala University, Sweden
Shaz Qadeer, Microsoft Research, Redmond, USA
Julian Rathke, University of Southampton, UK
Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy (co-chair)

STEERING COMMITTEE:

Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

[Mario Bravetti]

================================================================
2nd Call for Papers:
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** NEWS with respect to the 1st CfP **

To celebrate 20 years of International Conference on Concurrency
Theory the conference program will include:
- an additional invited talk given by Robin Milner
- a special session jointly organized by the IFIG Working Groups
1.8 "Concurrency Theory" and 2.2 "Formal Description of
Programming Concepts" (contact persons: Jos Baeten and Davide
Sangiorgi).

Deadlines postponed:
--------------------
- Abstract Submission: April 8, 2009
- Paper Submission: April 13, 2009

Electronic submission is now open:
----------------------------------
http://www.easychair.org/conferences/?conf=concur09
================================================================

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.

The list of invited speakers at CONCUR 09 currently includes:
- 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 collocated 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, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The overall event will take place at the University of Bologna
on August 31-September 5, 2009.

TOPICS OF INTERESTS:

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- BASIC MODELS OF CONCURRENCY
such as abstract machines, domain theoretic models, game
theoretic models, process algebras, and Petri nets;
- LOGICS FOR CONCURRENCY
such as modal logics, probabilistic and stochastic logics,
temporal logics, and resource logics;
- MODELS OF SPECIALIZED SYSTEMS
such as biology-inspired systems, circuits, hybrid systems,
mobile and collaborative systems, multi-core processors,
probabilistic systems, real time systems, service oriented
computing, and synchronous systems;
- VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS
such as abstract interpretation, atomicity checking,
model checking, race detection, pre-order and equivalence
checking, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving, and
type systems;
- RELATED PROGRAMMING MODELS
such as distributed, component-based, object-oriented, and
web services.

SUBMISSION GUIDELINES:

The CONCUR 2009 conference solicits high quality papers
reporting research results and/or experience reports related
to the topics mentioned above. All papers must be original,
unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15
pages in length. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the
discretion of the program committee. Each paper will undergo
a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference.

Selected papers will be invited to a special issue of the
Information and Computation journal.

IMPORTANT DATES:

Abstract Submission: April 8, 2009
Paper Submission: April 13, 2009
Notification: May 25, 2009
Final version due: June 12, 2009

PROGRAM COMMITTEE:

Luca Aceto, Reykjavik University, Iceland
Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands
Michele Boreale, University of Florence, Italy
Mario Bravetti, University of Bologna, Italy (co-chair)
Luis Caires, Universidade Nova de Lisboa, Portugal
Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Cedric Fournet, Microsoft Research, Cambridge, UK
Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Holger Hermanns, Saarland University, Germany
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Jane Hillston, University of Edinburgh, UK
Barbara Koenig, University of Duisburg-Essen, Germany
Francois Laroussinie, Universite Paris Diderot-Paris 7, France
Ugo Montanari, University of Pisa, Italy
Uwe Nestmann, Technische Universitaet Berlin, Germany
Manuel Nunez, Universidad Complutense de Madrid , Spain
Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France
Joachim Parrow, Uppsala University, Sweden
Shaz Qadeer, Microsoft Research, Redmond, USA
Julian Rathke, University of Southampton, UK
Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy (co-chair)

STEERING COMMITTEE:

Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

[Mario Bravetti]

================================================================
Final Call for Papers:
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** NEWS with respect to the 1st and 2nd CfP **

In addition to the Information and Computation journal special issue,
papers relating to distributed computing will be considered for
publication on the Springer Distributed Computing journal.

Paper Submission deadline postponed: April 15, 2009
================================================================

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 CONCUR the conference program will include
a special session organized by IFIP WGs 1.8 Concurrency Theory and
2.2 Formal Description of Programming Concepts.

The list of invited speakers at CONCUR 09 is:
- 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 co-located 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, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The overall event will take place at the University of Bologna
on August 31-September 5, 2009.

TOPICS OF INTEREST:

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- BASIC MODELS OF CONCURRENCY
such as abstract machines, domain theoretic models, game
theoretic models, process algebras, and Petri nets;
- LOGICS FOR CONCURRENCY
such as modal logics, probabilistic and stochastic logics,
temporal logics, and resource logics;
- MODELS OF SPECIALIZED SYSTEMS
such as biology-inspired systems, circuits, hybrid systems,
mobile and collaborative systems, multi-core processors,
probabilistic systems, real time systems, service oriented
computing, and synchronous systems;
- VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS
such as abstract interpretation, atomicity checking,
model checking, race detection, pre-order and equivalence
checking, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving, and
type systems;
- RELATED PROGRAMMING MODELS
such as distributed, component-based, object-oriented, and
web services.

SUBMISSION GUIDELINES:

The CONCUR 2009 conference solicits high quality papers
reporting research results and/or experience reports related
to the topics mentioned above. All papers must be original,
unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15
pages in length. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the
discretion of the program committee. Each paper will undergo
a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference.

Selected papers will be invited to a special issue of the
Information and Computation journal. Moreover, papers relating
to distributed computing will be considered for publication on
the Springer Distributed Computing journal.

IMPORTANT DATES:

Abstract Submission: April 8, 2009
Paper Submission: April 15, 2009
Notification: May 25, 2009
Final version due: June 10, 2009

PROGRAM COMMITTEE:

Luca Aceto, Reykjavik University, Iceland
Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands
Michele Boreale, University of Florence, Italy
Mario Bravetti, University of Bologna, Italy (co-chair)
Luis Caires, Universidade Nova de Lisboa, Portugal
Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Cedric Fournet, Microsoft Research, Cambridge, UK
Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Holger Hermanns, Saarland University, Germany
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Jane Hillston, University of Edinburgh, UK
Barbara Koenig, University of Duisburg-Essen, Germany
Francois Laroussinie, Universite Paris Diderot-Paris 7, France
Ugo Montanari, University of Pisa, Italy
Uwe Nestmann, Technische Universitaet Berlin, Germany
Manuel Nunez, Universidad Complutense de Madrid , Spain
Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France
Joachim Parrow, Uppsala University, Sweden
Shaz Qadeer, Microsoft Research, Redmond, USA
Julian Rathke, University of Southampton, UK
Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy (co-chair)

STEERING COMMITTEE:

Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

[Mario Bravetti]

================================================================
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.
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

[Mario Bravetti]

================================================================
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

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog