[ecoop-info] Call for Extended Abstracts: Workshop on Interference and Dependence 2013

Kelly Androutsopoulos kellyandrou at googlemail.com
Mon Sep 3 13:05:16 CEST 2012


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


More information about the ecoop-info mailing list