[TYPES/announce] PLID 2007 Special issue of MSCS
David Clark
david.j.clark at kcl.ac.uk
Wed Jun 27 07:08:10 EDT 2007
Call for Papers
_________________________________________________________
Special issue of Mathemetical Structures in Computer Science
on Programming Language Interference and Dependence
Guest Editors:
David Clark, Kings College London, UK
Roberto Giacobazzi, University of Verona, Itaky
__________________________________________________________
Important Dates:
Guest Editors receive emailed titles and abstracts by
12-Jan-08
Full paper submissions submitted into Manuscript Central by 19-Jan-08
First round of reviews completed
by 19-Mar-08
Major revisions due by
19-May-08
Second round of reviews completed by
19-Jun-08
Minor revisions due by
3-Jul-08
Final acceptances given to Authors by
10-Jul-08
Publication materials due by
24-Jul-08
Publication tentatively
in late 2008 issue
_________________________________________________________________________________
Interference and dependence are closely related concepts, the first
being the observable phenomenon connected to the second. Interference
essentially means that behaviour of some parts of a dynamic system may
influence the behaviour of other parts of the system. Dependence
specifies the relation between the semantics of sub-components of a
dynamic system.
Discovering, measuring and controlling interference is essential in
many aspects of modern computer science, in particular in security,
program analysis and verification, debugging, systems specification,
model checking, program manipulation, program slicing, reverse
engineering, data mining, distributed databases and systems
biology. Doing these things requires theories, models and semantics
for interference and dependence, as well as algorithms and tools for
analysis and reasoning about interference and dependence.
The aim of this special issue is to publish novel research work that
contributes to the development of methodologies, techniques and tools
for analysis of dependence and interference as well as applications of this.
Topics of interest include but are not limited to:
* 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
Papers are solicited that describe basic research on any of the above
topics. Abstracts should be emailed to the guest editors at
David.J.Clark at kcl.ac.uk or Roberto.Giacobazzi at univr.it followed by
full paper submissions (a week later).
Submissions must conform to the journal's submission guidelines and
must not have been published previously or be currently under
consideration for publication in any other journals or conferences.
Significant extensions to substantive papers published in conferences
are also welcome. Selected papers from PLID 2007 will be invited to
submit an extended version to the special issue.
--
_______________________________________________________
David Clark, room 541, Department of Computer Science,
King's College London, The Strand, London, WC2R 2LS, UK.
ph: +44 20 7848 2472
More information about the Types-announce
mailing list