<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2900.2627" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial size=2><FONT face="Times New Roman" 
size=3>===================================================================================<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
1st International Workshop 
on<BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Applications of <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Constraint Satisfaction and 
Programming <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; to <BR>Computer Security 
<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
(CPSec)<BR>October 1st, 2005<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Barcelona, Spain <BR>&nbsp;&nbsp; Held in conjunction with<BR>11th International 
Conference on<BR>&nbsp; Principles and Practice of Constraint Programming, 
CP2005<BR><BR></FONT><A href=""><FONT face="Times New Roman" 
size=3>http://www.sci.unich.it/~bista/organizing/cpsec/</FONT></A><BR><BR><FONT 
face="Times New Roman" 
size=3>====================================================================================<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Call for Paper<BR>Extended Deadline:<BR>Abstract Submission deadline: June 26th 
<BR>Paper Submission deadline: July 1st 
<BR><BR>====================================================================================<BR><BR><BR>Constraint 
Satisfaction and Programming is emerging as an effective practical <BR>approach 
for solving large complex problems. It offers a significant body of 
<BR>successful techniques for verifying system properties. Recently, researchers 
<BR>have begun using advances in constraint programming and solving to solve 
security <BR>problems, with success. This workshop seeks to act as a catalyst 
for this emerging <BR>area by exploring the challenges and the potential that 
these techniques may offer <BR>when applied to security problems.<BR><BR>The use 
of Constraint Satisfaction and Programming to address security problems is 
<BR>recent, and it has already produced a number of novel solutions and 
insights. For <BR>example, constraints have been successfully used in the the 
analysis of security <BR>protocols, the development of access control models and 
mechanisms, firewall <BR>configuration and secure system configuration in 
general. <BR><BR>Workshop topics include (but are not limited to): <BR><BR>* 
security models<BR>* information flow <BR>* trust management<BR>* database 
security <BR>* data and system integrity<BR>* security protocols<BR>* security 
configuration <BR>* access control <BR>* secure applications<BR>* security 
trade-offs<BR><BR><BR><BR>Submissions<BR><BR>The workshop aim is to provide a 
forum where researchers currently working in <BR>the area of security and 
constraints can discuss their most recent ideas and <BR>developments and think 
together about the most promising new directions. <BR>Therefore we encourage the 
presentation of work in progress or on specialized <BR>aspects of the area. 
Papers that bridge the gap between theory and practice are <BR>especially 
welcome. <BR><BR>Prospective attendees can submit a paper, which can be up to 15 
pages in length. <BR>We encourage authors to submit papers electronically in 
postscript or pdf format. <BR>Papers should be formatted using the Lecture Notes 
in Computer Science (LNCS) style. <BR>Please send your submissions by email to 
</FONT><A href=""><FONT face="Times New Roman" 
size=3>stefano.bistarelli@iit.cnr.it</FONT></A><FONT face="Times New Roman" 
size=3> using the <BR>subject line "cpsec-2005 Workshop Submission". <BR><BR>At 
least one author of each accepted submission&nbsp; must attend the 
<BR>workshop,&nbsp; and&nbsp; all&nbsp; participants&nbsp; must&nbsp; pay&nbsp; 
the&nbsp; workshop&nbsp; fee<BR>(which covers both CP'05 and ICLP'05 
workshops).<BR><BR><BR>Important Dates<BR>The proposed schedule of important 
dates for the workshop is as follows: <BR><BR>Abstract Submission deadline: June 
26th <BR>Paper Submission deadline: July 1st <BR>Notification of acceptance: 
July 24th <BR>Early registration deadline: August 1st <BR>Camera-ready version 
deadline: August 16th <BR>Workshop Date: October 1st <BR><BR><BR>Workshop 
Organizers:<BR><BR>&nbsp;&nbsp; Giampaolo Bella<BR>&nbsp;&nbsp; Dipartimento di 
Matematica e Informatica<BR>&nbsp;&nbsp; Universit`a di Catania, 
Italy<BR>&nbsp;&nbsp; Email: </FONT><A href=""><FONT face="Times New Roman" 
size=3>giamp@dmi.unict.it</FONT></A><BR><FONT face="Times New Roman" 
size=3>&nbsp;&nbsp; Web: </FONT><A href=""><FONT face="Times New Roman" 
size=3>http://www.dmi.unict.it/~giamp/</FONT></A><BR><BR><FONT 
face="Times New Roman" size=3>and<BR><BR>&nbsp;&nbsp; Stefano Bistarelli 
(Primary Contact)<BR>&nbsp;&nbsp; Dipartimento di Scienze<BR>&nbsp;&nbsp; 
UniversitÓ degli studi "G. D'Annunzio" di Chieti-Pescara, Italy<BR>&nbsp;&nbsp; 
Email: </FONT><A href=""><FONT face="Times New Roman" 
size=3>bista@sci.unich.it</FONT></A><FONT face="Times New Roman" size=3> 
<BR>&nbsp;&nbsp; Web: </FONT><A href=""><FONT face="Times New Roman" 
size=3>http://www.sci.unich.it/~bista/</FONT></A><BR><FONT 
face="Times New Roman" size=3>&nbsp;&nbsp; and<BR>&nbsp;&nbsp; Istituto di 
Informatica e Telematica<BR>&nbsp;&nbsp; C.N.R. Pisa, Italy<BR>&nbsp;&nbsp; 
Email: </FONT><A href=""><FONT face="Times New Roman" 
size=3>stefano.bistarelli@iit.cnr.it</FONT></A><FONT face="Times New Roman" 
size=3> <BR><BR>and<BR><BR>&nbsp;&nbsp; Simon N. Foley<BR>&nbsp;&nbsp; 
Department of Computer Science <BR>&nbsp;&nbsp; University College Cork, 
Ireland<BR>&nbsp;&nbsp; Email: </FONT><A href=""><FONT face="Times New Roman" 
size=3>s.foley@cs.ucc.ie</FONT></A><BR><FONT face="Times New Roman" 
size=3>&nbsp;&nbsp; Web: </FONT><A href=""><FONT face="Times New Roman" 
size=3>http://www.cs.ucc.ie/~simon/</FONT></A><BR><BR><FONT 
face="Times New Roman" size=3>and <BR><BR>&nbsp;&nbsp; Barry 
O'Sullivan<BR>&nbsp;&nbsp; Cork Constraint Computation Centre <BR>&nbsp;&nbsp; 
University College Cork, Ireland<BR>&nbsp;&nbsp; and<BR>&nbsp;&nbsp; Department 
of Computer Science <BR>&nbsp;&nbsp; University College Cork, 
Ireland<BR>&nbsp;&nbsp; Email: </FONT><A href=""><FONT face="Times New Roman" 
size=3>b.osullivan@cs.ucc.ie</FONT></A><BR><FONT face="Times New Roman" 
size=3>&nbsp;&nbsp; Web: </FONT><A href=""><FONT face="Times New Roman" 
size=3>http://www.cs.ucc.ie/~osullb/</FONT></A><BR><BR><FONT 
face="Times New Roman" size=3>&nbsp;&nbsp; <BR><BR><BR>Program 
Committee:<BR><BR>Giampaolo Bella -- Dipartimento di Matematica e Informatica, 
Universita' di Catania, Italy<BR>Stefano Bistarelli -- Universita' degli Studi 
"G. D'annunzio", Pescara, Italy and IIT-CNR, Pisa, Italy<BR>Yannick Chevalier -- 
Institut de Recherche en Informatique de Toulouse (IRIT), France<BR>Giorgio 
Delzanno -- Dipartimento Informatica e Scienze dell'Informazione, UniversitÓ di 
Genova, Italy <BR>Alessandra Di Pierro -- Dipartimento di Informatica, 
University of Pisa, Italy<BR>Fabio Fioravanti -- Universita' degli Studi "G. 
D'annunzio", Pescara, Italy<BR>Simon Foley -- Department of Computer Science 
University College Cork, Ireland<BR>John Herbert -- Department of Computer 
Science University College Cork, Ireland<BR>Fabio Martinelli -- Istituto di 
Informatica e Telematica, CNR, Pisa, Italy<BR>Barry O'Sullivan -- Cork 
Constraint Computation Centre, University College Cork, Ireland<BR>Michael 
Rusinowitch -- INRIA Lorraine, Villers les Nancy, Cedex, France<BR>Justin 
Pearson -- Department of information technology, Uppsala University, Sweden 
<BR>Vitaly Shmatikov -- Department of Computer Sciences, The University of Texas 
at Austin, USA <BR>Fred Spiessens -- UniversitÚ catholique de Louvain, 
Louvain-la-Neuve, Belgium<BR>Garret Swart -- IBM Almaden Research Center, 
California, USA<BR>Peter Van Roy -- UniversitÚ catholique de Louvain, 
Louvain-la-Neuve, Belgium<BR>Luca Vigano -- ETH, Zurich, Switzerland<BR>Duminda 
Wijesekera -- ISE, George Mason University, 
USA</FONT><BR></FONT></DIV></BODY></HTML>