[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