[TYPES] COSMICAH 2005: Call for participation

Dino Distefano ddino at dcs.qmul.ac.uk
Mon Jun 27 23:09:14 EDT 2005

         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)


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

Detailed program:

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  
related to the dynamic memory of programs, object calculi and other  
models for software, verification algorithms such as satisfiability  
abstract interpretation, theorem proving and model checking.

More information about the Types-list mailing list