posted by system || 7282 views || tracked by 14 users: [display]

CONCUR 2010 : 21st International Conference on Concurrency Theory

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Concurrency Theory
 
Link: http://concur2010.inria.fr/
 
When Aug 31, 2010 - Sep 3, 2010
Where Paris, France
Abstract Registration Due Apr 8, 2010
Submission Deadline Apr 15, 2010
Notification Due May 25, 2010
Final Version Due Jun 10, 2010
Categories    computer science   logic   programming languages
 

Call For Papers

CONCUR 2010 - First Call for Papers

21st International Conference on Concurrency Theory

August 31 - September 3, 2010, Paris, France

http://concur2010.inria.fr/
concur2010@lsv.ens-cachan.fr

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.

================================
TOPICS
================================

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.

================================
INVITED SPEAKERS
================================

- Frank S. de Boer, CWI, Amsterdam, The Netherlands
- Maurice Herlihy, Brown University, Providence, USA
- Holger Hermanns, Saarland University, Saarbr¸cken, Germany
- Anca Muscholl, LaBRI, University Bordeaux 1, France
- Vladimiro Sassone, ECS, University of Southampton, UK

================================
CO-LOCATED EVENTS
================================

There will be co-located workshops, which take place on August 30 and
September 4. CONCUR 2010 will be followed by the 17th International Symposium
on Temporal Representation and Reasoning (TIME 2010), which is scheduled for
September 6 - 8, 2010, Paris, France.

================================
PAPER SUBMISSION
================================

CONCUR 2010 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. Each paper will
undergo a thorough review process. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the discretion of
the program committee.

The conference proceedings will be published by Springer in the LNCS series.
Proceedings will be made available at the conference.

================================
IMPORTANT DATES
================================

Abstract Submission: April 8, 2010
Paper Submission: April 15, 2010
Paper Notification: May 25, 2010
Camera Ready Copy Due: June 10, 2010
CONCUR 2010: August 31 - September 3, 2010

================================
STEERING COMMITTEE
================================

- Roberto Amadio (PPS, UniversitÈ Paris Diderot - Paris 7, France)
- Jos Baeten (Eindhoven University of Technology, The Netherlands)
- Eike Best (Carl von Ossietzky Universit‰t Oldenburg, Germany)
- Kim Larsen (Aalborg University, Denmark)
- Ugo Montanari (Universit‡ di Pisa, Italy)
- Scott Smolka (SUNY, Stony Brook University, USA)


================================
PROGRAM CHAIRS
================================

- Paul Gastin (LSV, ENS Cachan, France)
- FranÁois Laroussinie (LIAFA, UniversitÈ Denis Diderot - Paris 7, France)

================================
PROGRAM COMMITTEE
================================

- MartÌn Abadi (UC Santa Cruz and Microsoft Research, CA, USA)
- Parosh Abdulla (Uppsala University, Sweden)
- Jos Baeten (Eindhoven University of Technology, The Netherlands)
- Steffen van Bakel (Imperial College London, UK)
- Julian Bradfield (University of Edinburgh, UK)
- LuÌs Caires (Universidade Nova de Lisboa, Portugal)
- Luca Cardelli (Microsoft Research Cambridge, UK)
- Vincent Danos (University of Edinburgh, UK)
- Paul Gastin (LSV, ENS Cachan, France)
- Daniele Gorla (Universit‡ di Roma "La Sapienza", Italy)
- Anna IngÛlfsdÛttir (Reykjavik University, Iceland)
- Petr Jancar (Technical University of Ostrava, Czech Republic)
- Joost-Pieter Katoen (RWTH Aachen University, Germany and University of Twente, The Netherlands)
- FranÁois Laroussinie (LIAFA, UniversitÈ Denis Diderot - Paris 7, France)
- Kim Larsen (Aalborg University, Denmark)
- Nancy Lynch (Massachusetts Institute of Technology, USA)
- Ugo Montanari (Universit‡ di Pisa, Italy)
- Markus M¸ller-Olm (M¸nster University, Germany)
- K. Narayan Kumar (Chennai Mathematical Institute, India)
- Catuscia Palamidessi (LIX, INRIA, France)
- Prakash Panangaden (McGill School of Computer Science, Canada)
- Wojciech Penczek (IPI PAN, University of Podlasie, Poland)
- Shaz Qadeer (Microsoft Research Redmond, WA, USA)
- Jan Rutten (CWI, The Netherlands)
- Roberto Segala (Universit‡ di Verona, Italy)
- P.S. Thiagarajan (National University of Singapore)
- Walter Vogler (University of Augsburg, Germany)

================================
ORGANIZING COMMITTEE
================================

- Benedikt Bollig (LSV, CNRS, France)
- Stefan Haar (LSV, INRIA, France)
- Olivier Serre (LIAFA, CNRS, France)
- Mihaela Sighireanu (LIAFA, UniversitÈ Denis Diderot - Paris 7, France)

Related Resources

YR-CONCUR 2022   10th Young Researchers Workshop on Concurrency Theory
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
Petri Nets 2023   44th International Conference on Application and Theory of Petri Nets and Concurrency
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
CONCUR 2022   International Conference on Concurrency Theory
MSE 2023   7th International Conference on Materials Science and Engineering
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex
ICoCTA 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
ACM-Ei/Scopus-MLBDM 2022   2022 2nd International Conference on Machine Learning and Big Data Management(MLBDM 2022)-EI Compendex