[TYPES] PLID'05 call for contributions and participation

David Clark david at dcs.kcl.ac.uk
Thu Jun 23 18:39:46 EDT 2005


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 Clark, room 2F, Department of Computer Science,  
King's College London, The Strand, London, WC2R 2LS, UK. 
ph: +44 20 7848 2472

More information about the Types-list mailing list