[TYPES] PLID'05 call for contributions and participation

[David Clark]

Hi,

Apoligies for any repetitions of this announcement.

The second international workshop on programming laguage interference 
and dependency (PLID'05) is being held on 6 September, 2005, co-located 
with SAS'05 and LOPSTR'05 at Imperial College in London

URL: http://www.dcs.kcl.ac.uk/events/PLID05/index.html

Important dates are:
- July 4:             expression of interest
- July 30:           extended abstract (at most ten pages)
- September 6   workshop


Topics of interest include but are not limited to:
- security against unwanted interference and dependence
- models and theories of program inference
- resource declassification
- program analyses of dependence and interference
- quantitative methods for measuring interference
- tools for interference and dependence analysis
- control and data flow analysis for dependence and interference
- program slicing
- interference and dependence in systems biology
- abstract interpretation for dependence and interference

more information in the attached call for contributions and participation

best wishes,

David

-- 
_______________________________________________________
David Clark, room 2F, Department of Computer Science,  
King's College London, The Strand, London, WC2R 2LS, UK. 
ph: +44 20 7848 2472