[TYPES] second cfp: COSMICAH 2005

[Dino Distefano]

========================== CALL FOR PAPERS ===========================

			     COSMICAH 2005
First international workshop on verification of COncurrent Systems with
dynaMIC Allocated Heaps

July 10, 2005, Lisboa, Portugal (a satellite workshop of ICALP 2005)

http://www-verimag.imag.fr/~iosif/ws/cosmicah05/

=====================================================================

The ongoing growth in complexity of concurrent  programs requires new
techniques capable of predicting their runtime errors.  One of the
reasons this complexity arises is the use of dynamic memory allocation 
and of
recursive data structures in a concurrent setting.  This is the case of
most object-oriented languages with support for multithreading, where
communication between threads is performed via shared objects
implementing various synchronization policies.

   Over the past decade, new techniques for the analysis of object-based
and object-oriented programs have emerged.  These solutions stem from a
wide range of domains such as static analysis, model checking, theorem
proving and Hoare logic.

   This workshop aims at bringing together researchers from different
   subdomains of formal verification that share interest in the analysis
of concurrent heap-manipulating programs. Topics of interest are, but 
are
not limited to:


- application of graph rewriting to the verification of object-based 
programs
- logics for describing heap topologies and their evolutions
- abstraction techniques for infinite-state systems with dynamic heaps
- high-level specification of local behaviors (e.g, object protocols, 
separation logic)
- comparisons between existing techniques and tools
- test cases and experimental results
- specification and analysis of security protocols



Submissions
-----------
       Authors are invited to submit papers presenting recent work in 
the areas
       relevant for the scope of COSMICAH.  Contributions should not 
exceed 15
       pages in LNCS style.  Accepted papers will be published in 
informal
       proceedings (as technical report of Queen Mary University of 
London) and
       distributed to the participants at the workshop. Given the 
informal
       proceedings, submitting to COSMICAH does not preclude 
simultaneous or
       future submission of the paper to major conferences. In this
       sense COSMICAH represents for authors a great platform to present
       their work and receive feedback.

       To increase interaction among the participants, COSMICAH includes 
a
       special 5 minutes madness session.  Authors are invited to submit 
one
       page research abstracts/statement (on recent and/or ongoing work) 
for
       this session. Abstracts/statements will be considered on the 
bases of
       their originality and attractiveness to the scope of the workshop.

       Papers and abstracts should be submitted electronically (in ps or 
pdf
       format), by email to (ddino at dcs.qmul.ac.uk). Please indicate the 
type of
       your submission (regular paper or abstract).



Invited speaker: TBA


Important dates:
---------------
       Submission deadline for regular paper: May 13th, 2005
       Submission deadline for abstract/statements: June 10th, 2005
       Notification: June 17th, 2005
       Final version for informal proceedings: June 24th, 2005



Program Committee
----------------
Cristiano Calcagno (Imperial College, London)
Dino Distefano (Queen Mary, Univ. of  London, co-chair)
Peter Habermehl (Liafa, Paris 7 University)
Peter O'Hearn (Queen Mary, Univ. of London, general chair)
Radu Iosif (Verimag, Grenoble, co-chair)
Yassine Lakhnech (Verimag, Grenoble)
Arend Rensink (University of Twente, Enschede)
Robby (Kansas State University, Manhattan KS)
Eran Yahav (IBM Research, New York)


Organizers
----------
   Dino Distefano, Queen Mary, University of London, UK
   Radu Iosif, Verimag/CNRS, France