[Haskell] (no subject)

Samir Genaim genaim at clip.dia.fi.upm.es
Fri Apr 18 16:18:09 EDT 2008


       *********************************************************
       *         The Fourth International Workshop             *
       *                         on                            *
       *   Programming Language Interference and Dependence    *
       *                                                       *
       *     co-located with LOPSTR'08, PPDP'08 and SAS'08     *
       *                                                       *
       *           15 July, 2008, Valencia, Spain              *
       *                   		                       *
       *      Venue: The Technical University of Valencia      *
       *                                                       *
       *              2nd Call for Contributions               *
       *                                                       *
       *   http://www.clip.dia.fi.upm.es/Conferences/PLID08    *
       *                                                       *
       *********************************************************



Important Dates
===============

Expression of interest 	   	June 1,  2008
Extended abstract 	   	June 15, 2008
Workshop			July 15, 2008



Workshop Description
====================

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.

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



Keynote Speaker
===============

Gilles Barthe, IMDEA-software (Madrid, Spain)



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
Samir Genaim (samir at clip.dia.fi.upm.es) before June 1st, 2008.

There will  be no  formal publication of  papers.  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 June 15th 2008.



Program Committee
=================

David Clark 	   	Kings College, London, UK
Sebastian Danicic 	University of London, UK
Samir Genaim (chair)   	Technical University of Madrid, Spain
Roberto Giacobazzi 	University of Verona, Italy
Daniele Gorla 	   	University of Roma, Italy
Sebastian Hunt 	   	City University, London, UK
Herbert Wiklicky 	Imperial College, London, UK
Steve Zdancewic 	University of Pennsylvania, USA



Local organization chair
========================

Christophe Joubert 	Technical University of Valencia / DSIC


More information about the Haskell mailing list