[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                    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                  
Full paper submissions submitted into Manuscript Central by    19-Jan-08
First round of reviews completed
by                                             19-Mar-08
Major revisions due by                                                  
Second round of reviews completed by                                   
Minor revisions due by                                                 
Final acceptances given to Authors by                                  
Publication materials due by                                            
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
    * 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
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

Reply via email to