[TYPES] COSMICAH 2005: Call for participation
ddino at dcs.qmul.ac.uk
Mon Jun 27 23:09:14 EDT 2005
Call for participation
First international workshop on verification of COncurrent Systems
with dynaMIC Allocated Heaps
July 10, 2005, Lisboa, Portugal (a satellite workshop of ICALP 2005)
Andreas Podelski (Max-Planck-Institut, Saarbruecken)
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