posted by user: roopsha || 9782 views || tracked by 22 users: [display]

CONCUR 2011 : 22nd International Conference on Concurrency Theory

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Concurrency Theory
 
Link: http://concur2011.rwth-aachen.de/
 
When Sep 6, 2011 - Sep 9, 2011
Where Aachen, Germany
Abstract Registration Due Apr 1, 2011
Submission Deadline Apr 8, 2011
Notification Due May 25, 2011
Final Version Due Jun 10, 2011
 

Call For Papers

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 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,
graph transformation systems 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
================================

- Parosh Aziz Abdulla (Uppsala University, Sweden)
- Ursula Goltz (Technical University Braunschweig, Germany)
- Rachid Guerraoui (EPFL Lausanne, Switzerland)
- Wil van der Aalst (Technical University Eindhoven, The Netherlands)

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

8th Int. Conference on Quantitative Evaluation of SysTems (QEST 2011)
6th Int. Symposium on Trustworthy Global Computing (TGC 2011)

There will be co-located workshops, which take place on September 5
and September 10, and tutorials (associated with QEST) on September
5.

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

CONCUR 2011 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 CONVCUR 2011 proceedings will be published by Springer in the
ArCoSS subseries of LNCS. The proceedings will be available at
the conference.

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

Abstract Submission: April 1, 2011
Paper Submission: April 8, 2011
Paper Notification: May 25, 2011
Camera Ready Copy Due: June 10, 2011
CONCUR 2011: September 6 - September 9, 2010

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

- Roberto Amadio (PPS, Universite 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 (Universita di Pisa, Italy)
- Scott Smolka (SUNY, Stony Brook University, USA)


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

- Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Barbara König (University of Duisburg-Essen, Germany)

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

- Christel Baier (TU Dresden, Germany)
- Paolo Baldan (University of Padova, Italy)
- Ahmed Bouajjani (University Paris Diderot, France)
- Franck van Breugel (York University, Toronto, Canada)
- Roberto Bruni (University of Pisa, Italy)
- Rocco De Nicola (University of Florence, Italy)
- Dino Distefano (Queen Mary University of London and Monoidics Ltd, UK)
- Javier Esparza (TU Munich, Germany)
- Yuxi Fu (Shanghai Jiaotong University, China)
- Paul Gastin (ENS de Cachan, Paris, France)
- Keijo Heljanko (Aalto University, Espoo, Finland)
- Anna Ingolfsdottir (Reykjavik University, Iceland)
- Maciej Koutny (Newcastle University, UK)
- Antonin Kucera (Masaryk University, Brno, Czech Republic)
- Gerald Lüttgen (Otto-Friedrich-Universität Bamberg, Germany)
- Bas Luttik (Eindhoven University of Technology, The Netherlands)
- Madhavan Mukund (Chennai Mathematical Institute, India)
- Ernst-Rüdiger Olderog (Universität Oldenburg, Germany)
- Joel Ouaknine (University of Oxford, UK)
- Jan Rutten (CWI Amsterdam and Radboud University Nijmegen,
The Netherlands)
- Vladimiro Sassone (University of Southampton, UK)
- Marielle Stoelinga (University of Twente, Enschede, The Netherlands)
- Irek Ulidowski (University of Leicester, UK)
- Björn Victor (Uppsala University, Sweden)
- Mahesh Viswanathan (University of Illinois, Urbana-Champaign, USA)
- Andrzej Wasowski (IT University of Copenhagen, Denmark)

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

Henrik Bohnenkamp, Arnd Gehrmann, Christina Jansen, Nils Jansen, Ulrich
Loup, Thomas Noll, Elke Ohlenforst, Sabrina von Styp (RWTH Aachen), and
Mathias Hülsbuch and Sander Bruggink (University of Duisburg-Essen).

Related Resources

CONCUR 2024   International Conference on Concurrency Theory
PETRINETS 2024   45th International Conference on Application and Theory of Petri Nets and Concurrency
ICDT 2025   International Conference on Database Theory
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
ICACTE 2024   IEEE--2024 The 17th International Conference on Advanced Computer Theory and Engineering (ICACTE 2024)
AITA 2024   2nd International Conference on Artificial Intelligence: Theory and Applications
CLNLP 2024   2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2024)
ICDD 2024   International Conference on Applied Informatics Imagination, Creativity, Design, Development
PRICAI 2024   The 21st Pacific Rim International Conference on Artificial Intelligence
ICHTML 2024   5th International Conference on History, Theory and Methodology of Learning