[TYPES] COSMICAH 2005: Call for participation

[Dino Distefano]

         Call for participation

              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/


Invited speaker:
--------------
         Andreas Podelski (Max-Planck-Institut, Saarbruecken)


Detailed program:
-------------------
http://www-verimag.imag.fr/~iosif/ws/cosmicah05/cosmicah-program.html



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 covered by COSMICAH include logics for the specification of  
properties
related to the dynamic memory of programs, object calculi and other  
semantic
models for software, verification algorithms such as satisfiability  
solving,
abstract interpretation, theorem proving and model checking.