posted by user: roopsha || 1772 views || tracked by 6 users: [display]

CONCUR 2009 : 20th International Conference on Concurrency Theory

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Concurrency Theory
 
Link: http://concur09.cs.unibo.it/index.html
 
When Sep 1, 2009 - Sep 4, 2009
Where Bologna, Italy
Abstract Registration Due Apr 8, 2009
Submission Deadline Apr 15, 2009
Notification Due May 25, 2009
Final Version Due Jun 10, 2009
 

Call For Papers

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

Related Resources

CONCUR 2019   30th International Conference on Concurrency Theory
CONCUR 2018   29th International Conference on Concurrency Theory
Petri Nets 2019   Applications and Theory of Petri Nets
COLT 2019   Computational Learning Theory
DSTAA 2019   Taylor and Francis - DSTAA 2019 : Call for Book Chapters - Data Science: Theory, Analysis, and Applications
ACSD 2019   19th International Conference on Application of Concurrency to System Design
CryBlockSpecial 2018   Cryptocurrencies and Blockchains for Distributed Systems, (special issue) Concurrency and Computation: Practice and Experience, Wiley
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ISIT 2019   International Symposium on Information Theory
IJIT 2018   International Journal on Information Theory