[TYPES/announce] Call for Extended Abstract: ID Workshop 2013

[Christian Hammer]

CALL FOR EXTENDED ABSTRACTS

ID 2013 - 1st International Workshop on Interference and Dependence 2013

21 January, 2013, Rome, Italy (Co-located with POPL 2013)

------------------------------------------------------------
Important Dates
------------------------------------------------------------
Extended Abstract deadline: October 5th, 2012
Author notification: November 7th, 2012

URL: https://sites.google.com/site/idworkshop2013/

Interference and dependence are closely related concepts, the first being the observational phenomenon connected to the second. Interference refers to the behaviour of some parts of a system influencing the behaviour of another part of the system. Dependence specifies the relation which determines those parts of the system that influence the computation of another part of the system.

Both interference and dependence analysis underpin many activities of computer science, including program analysis, debugging,  traceability, refinement (longitudinal dependence) that can raise issues in testing, analysing software for security properties, testing software, reverse engineering, slicing, model checking software and specifications. This workshop will bring together researchers working on interference and dependence from both the modelling and programming research communities to discuss connections and challenges.


ID 2013 solicits abstracts on the following topics, but are not limited to these:

   -Security against unwanted interference and dependence
   -Models and theories of program interference
   -Algorithms for reducing or removing interference or for ameliorating its effects
   -Theory and foundations of program slicing and related dependence analyses
   -Resource declassification theories
   -Semantics of dependence and interference
   -Analyses based on interference and dependence
   -Abstract interpretation for dependence and interference
   -Dependence and interference in specifications
   -Slicing models and specifications
   -Interaction between dependence and refinement

----------------------
Submission
----------------------
The workshop welcomes contributions of on-going work and ideas in the field of interference and dependence. Those who are interested in having a talk at the workshop and/or discussing issues related with these subjects are invited to send your extended abstract to Kelly Androutsopoulos (K.Androutsopoulos at cs.ucl.ac.uk) before the 5th October 2012. Submitted extended abstracts should be of at most 10 pages LNCS-style. All the workshop contributions will be displayed on the workshop web-page and be included in the workshop technical report.

Extended Abstract deadline: October 5th, 2012
Author notification: November 7th, 2012

----------------------
Organising Committee
----------------------

Kelly Androutsopoulos, University College London, UK
David Clark, University College London, UK
Tony Clark, Middlesex University, UK
Christian Hammer, CISPA, Saarland University, Germany

----------------------
Program Committee
----------------------

Torben Amtoft, Kansas State University, USA
Kelly Androutsopoulos, University College London, UK
Anindya Banerjee, IMDEA Software Institute, Spain
David Clark, University College London, UK
Tony Clark, Middlesex University, UK
Sebastian Danicic, Goldsmiths College, UK
Christian Hammer, CISPA, Saarland University, Germany
Mark Harman, University College London, UK
Sebastian Hunt, City University London, UK
Kevin Lano, King's College London, UK
Pasquale Malacaria, Queen Mary University of London, UK
Dave Sands, Chalmers University of Technology Gothenburg, Sweden
Andrea Zisman, University College London, UK

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120903/6e712f88/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4860 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120903/6e712f88/attachment.p7s>