Logic List Mailing Archive

CfP: Special Issue on "Theory and Foundations of Programming Language Interference and Dependence" (JLAP)

****************************************************
  *                 Call for Papers                  *
  *                                                  *
  *    Journal of Logic and Algebraic Programming    *
  *    Special Issue on Theory and Foundations of    *
  * Programming Language Interference and Dependence *
  ****************************************************

Recently there has been much interest in the semantics,
theory and foundations of program dependence and interference.
This special issue will bring together work from several research
communities working on dependence and interference.

Topics of interest for the special issue 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

Submission Procedure
====================
Authors considering submitting should notify Mark Harman by email
(Mark <symbol> dcs.kcl.ac.uk)
of their intension to submit (with a copy to jlap@doc.gold.ac.uk).
Authors should submit their papers in PDF or Ghostscript-viewable
Postscript to jlap@doc.gold.ac.uk.


Important Dates
===============
Friday  January 28th 2005: Call officially issued.

Monday June 27th 2005: Due date for submissions.

Monday September 12th 2005: Author Notification

Monday October  10th 2005  Final copy due

This call for papers comes after the highly successful Programming
Language Interference and Dependence (PLID) workshop in Verona this
August (http://profs.sci.univr.it/~mastroen/noninterference.html)
Authors of papers which appeared at the PLID workshop are
encouraged to submit extended versions of their papers for
consideration for this special issue. Of course, the special issue
is also open to submission from authors who did not submit to PLID
and such submission are also strongly encouraged.

Guest editors
=============
David Clark, Department of Computer Science, King's College London, UK
http://www.dcs.kcl.ac.uk/staff/david/index.html

Sebastian Danicic, Department of Computing, Goldsmiths College,
University of London, UK
http://www.mcs.gold.ac.uk/~mas01sd/

Roberto Giacobazzi, Dipartimento di Informatica,
Universit? degli Studi di Verona, Italy
http://profs.sci.univr.it/~giaco/

Mark Harman, Department of Computer Science, King's College London, UK
http://www.dcs.kcl.ac.uk/staff/mark/

Robert Hierons, Department of Information Systems and Computing,
Brunel University, UK
http://www.brunel.ac.uk/~csstrmh/