[TYPES/announce] SecCo 2011: Call for Participation

[Jun PANG]

+-------------------------------------------------------------------------+
!                      Call for Participation                             !
!                             SecCo 2011                                  !
!       9th International Workshop on Security Issues in Concurrency      !
!                          Aachen, Germany                                !
!                     Monday, September 5th, 2011                         !
!           http://www.lix.polytechnique.fr/~kostas/SecCo2011/            !
!                                                                         !
!                       Affiliated with CONCUR 2011                       !
+-------------------------------------------------------------------------+

PROGRAM
=======
This year, we have three invited speakers:
Carroll Morgan (University of New South Wales)
Catuscia Palamidessi (INRIA and LIX, Ecole Polytechnique)
David Rajchenbach-Teller (MLstate)

The workshop program is avaiable at
http://www.lix.polytechnique.fr/~kostas/SecCo2011/program.php


REGISTRATION
============
Online registration at: http://concur2011.rwth-aachen.de/registration
(through CONCUR'11)
Kind reminder: early bird registration closes on July 31, 2011!


BACKGROUND, AIM AND SCOPE
=========================
Emerging trends in concurrency theory require the definition of models and
languages adequate for the design and management of new classes of applications,
mainly to program either WANs (like Internet) or smaller networks of mobile and
portable devices (which support applications based on a dynamically
reconfigurable communication structure). Due to the openness of these systems,
new critical aspects come into play, such as the need to deal with malicious
components or with a hostile environment. Current research on network security
issues (e.g. secrecy, authentication, etc.) usually focuses on opening
cryptographic point-to-point tunnels. Therefore, the proposed solutions in this
area are not always exploitable to support the end-to-end secure interaction
between entities whose availability or location is not known beforehand.

The aim of the workshop is to cover the gap between the security and the
concurrency communities. More precisely, the workshop promotes the exchange of
ideas, trying to focus on common interests and stimulating discussions on
central research questions. In particular, we look for papers dealing with
security issues -- such as authentication, integrity, privacy, confidentiality,
access control, denial of service, service availability, safety aspects, fault
tolerance, trust, language-based security, probabilistic and information
theoretic models -- in emerging fields like web services, mobile ad-hoc
networks, agent-based infrastructures, peer-to-peer systems, context-aware
computing, global/ubiquitous/pervasive computing.


PROGRAM COMMITTEE
=================
 * Miguel E. Andres (Ecole Polytechnique, France)
 * Kostas Chatzikokolakis (Ecole Polytechnique, France; co-chair)
 * Stephanie Delaune (ENS Cachan, France)
 * Ralf Kuesters (University of Trier, Germany)
 * Gavin Lowe (University of Oxford, UK)
 * Jun Pang (University of Luxembourg, Luxembourg; co-chair)
 * Mark Ryan (University of Birmingham, UK)
 * Dominique Unruh (Saarland University, Germany)
 * Luca Vigano (University of Verona, Italy)
 * Chenyi Zhang (University of New South Wales, Australia)