[TYPES] CPSec 2005: Extended Submission Deadline

[Stefano Bistarelli]

===================================================================================
                 1st International Workshop on

                 Applications of 
      Constraint Satisfaction and Programming 
       to 
Computer Security 
           (CPSec)
October 1st, 2005
        Barcelona, Spain 
   Held in conjunction with
11th International Conference on
  Principles and Practice of Constraint Programming, CP2005

http://www.sci.unich.it/~bista/organizing/cpsec/

====================================================================================
                              Call for Paper
Extended Deadline:
Abstract Submission deadline: June 26th 
Paper Submission deadline: July 1st 

====================================================================================


Constraint Satisfaction and Programming is emerging as an effective practical 
approach for solving large complex problems. It offers a significant body of 
successful techniques for verifying system properties. Recently, researchers 
have begun using advances in constraint programming and solving to solve security 
problems, with success. This workshop seeks to act as a catalyst for this emerging 
area by exploring the challenges and the potential that these techniques may offer 
when applied to security problems.

The use of Constraint Satisfaction and Programming to address security problems is 
recent, and it has already produced a number of novel solutions and insights. For 
example, constraints have been successfully used in the the analysis of security 
protocols, the development of access control models and mechanisms, firewall 
configuration and secure system configuration in general. 

Workshop topics include (but are not limited to): 

* security models
* information flow 
* trust management
* database security 
* data and system integrity
* security protocols
* security configuration 
* access control 
* secure applications
* security trade-offs



Submissions

The workshop aim is to provide a forum where researchers currently working in 
the area of security and constraints can discuss their most recent ideas and 
developments and think together about the most promising new directions. 
Therefore we encourage the presentation of work in progress or on specialized 
aspects of the area. Papers that bridge the gap between theory and practice are 
especially welcome. 

Prospective attendees can submit a paper, which can be up to 15 pages in length. 
We encourage authors to submit papers electronically in postscript or pdf format. 
Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style. 
Please send your submissions by email to stefano.bistarelli at iit.cnr.it using the 
subject line "cpsec-2005 Workshop Submission". 

At least one author of each accepted submission  must attend the 
workshop,  and  all  participants  must  pay  the  workshop  fee
(which covers both CP'05 and ICLP'05 workshops).


Important Dates
The proposed schedule of important dates for the workshop is as follows: 

Abstract Submission deadline: June 26th 
Paper Submission deadline: July 1st 
Notification of acceptance: July 24th 
Early registration deadline: August 1st 
Camera-ready version deadline: August 16th 
Workshop Date: October 1st 


Workshop Organizers:

   Giampaolo Bella
   Dipartimento di Matematica e Informatica
   Universit`a di Catania, Italy
   Email: giamp at dmi.unict.it
   Web: http://www.dmi.unict.it/~giamp/

and

   Stefano Bistarelli (Primary Contact)
   Dipartimento di Scienze
   Università degli studi "G. D'Annunzio" di Chieti-Pescara, Italy
   Email: bista at sci.unich.it 
   Web: http://www.sci.unich.it/~bista/
   and
   Istituto di Informatica e Telematica
   C.N.R. Pisa, Italy
   Email: stefano.bistarelli at iit.cnr.it 

and

   Simon N. Foley
   Department of Computer Science 
   University College Cork, Ireland
   Email: s.foley at cs.ucc.ie
   Web: http://www.cs.ucc.ie/~simon/

and 

   Barry O'Sullivan
   Cork Constraint Computation Centre 
   University College Cork, Ireland
   and
   Department of Computer Science 
   University College Cork, Ireland
   Email: b.osullivan at cs.ucc.ie
   Web: http://www.cs.ucc.ie/~osullb/

   


Program Committee:

Giampaolo Bella -- Dipartimento di Matematica e Informatica, Universita' di Catania, Italy
Stefano Bistarelli -- Universita' degli Studi "G. D'annunzio", Pescara, Italy and IIT-CNR, Pisa, Italy
Yannick Chevalier -- Institut de Recherche en Informatique de Toulouse (IRIT), France
Giorgio Delzanno -- Dipartimento Informatica e Scienze dell'Informazione, Università di Genova, Italy 
Alessandra Di Pierro -- Dipartimento di Informatica, University of Pisa, Italy
Fabio Fioravanti -- Universita' degli Studi "G. D'annunzio", Pescara, Italy
Simon Foley -- Department of Computer Science University College Cork, Ireland
John Herbert -- Department of Computer Science University College Cork, Ireland
Fabio Martinelli -- Istituto di Informatica e Telematica, CNR, Pisa, Italy
Barry O'Sullivan -- Cork Constraint Computation Centre, University College Cork, Ireland
Michael Rusinowitch -- INRIA Lorraine, Villers les Nancy, Cedex, France
Justin Pearson -- Department of information technology, Uppsala University, Sweden 
Vitaly Shmatikov -- Department of Computer Sciences, The University of Texas at Austin, USA 
Fred Spiessens -- Université catholique de Louvain, Louvain-la-Neuve, Belgium
Garret Swart -- IBM Almaden Research Center, California, USA
Peter Van Roy -- Université catholique de Louvain, Louvain-la-Neuve, Belgium
Luca Vigano -- ETH, Zurich, Switzerland
Duminda Wijesekera -- ISE, George Mason University, USA