[TYPES/announce] reminder: call for presentations at PLID 2007

David Clark david.j.clark at kcl.ac.uk
Wed Jun 27 06:59:36 EDT 2007


*REMINDER: CALL FOR PRESENTATIONS*

********************************************************
*         The Third International Workshop             *
*                         on                           *
*   Programming Language Interference and Dependence   *
*                                                      *
*        (affiliated with SAS'07 and LOPSTR'07)        *      
*                                                      *
*        21 August, 2007, Kongens Lyngby, Denmark      *
*                                                      *
*                 Call for Contributions               *
*                                                      *
*          http://www.dcs.kcl.ac.uk/pg/cmu/plid07/     *
*                                                      *
********************************************************

PLID'07 

Important dates:

[Expression of interest]	 July 6, 2007

[Extended abstract]		 July 20, 2007

[Workshop]			 August 21, 2007

Scope

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 workshop is to gather together the community of people
that study dependence and interference from the different points of
view in order to generate new possible research directions. PLID is
devoted to bridging all these communities and assisting work towards a
common goal, providing the appropriate environment for reasoning about
the state of the art in interference and dependence.


Organisation and Submission:

The workshop welcomes contributions of on-going work and ideas in the
field of dependence and interference. Those who are interested in
having a talk at the workshop and/or discussing issues related with
these subjects are invited to send your expression of interest to
David Clark (david.j.clark at kcl.ac.uk) before July 6, 2007.

A web-page will be organised collecting all the workshop
contributions.  Submitted extended abstracts should be of at most 10
pages LNCS-style and should be sent before July 20th 2007.

A special issue of Mathematical Structures in Computer Science on the
theme of workshop has been arranged. The special issue will not be
restricted to papers based on workshop presentations. It will have a
December 2007 deadline and its own, separate call for papers.



Program Committee

Michele Boreale (U. Florence, Italy)
David Clark (Kings College, London, UK) (Chair)
Roberto Giacobazzi (U. Verona, Italy)
Samir Genaim (U. Politecnica de Madrid, Spain)
Chris Hankin (Imperial College, London, UK)
Mark Harman (King's College, London, UK)
Sebastian Hunt (City U., London, UK)
Pasquale Malacaria (Queen Mary, London, UK)
Isabella Mastroeni (U. Verona, Italy)
David Sands (Chalmers UT, Goteborg, Sweden)
Nobuko Yoshida (Imperial College, London, UK)


-- 
_______________________________________________________
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