[Biodevelopers] CfP: Constraint& Logic Programming Security

[Frank D. Valencia]

[Apologies for multiple copies of this message]

Dear all,

The submission deadline for the ICLP'03 workshop  
on Constraint & Logic Programming in Security (COLOPS) 
is approaching (Oct 28).  

Please circulate the following  call for papers 
to colleagues.

Best wishes,
  Frank Valencia.

--------------------------------------------------------------------

                   Final Call for Papers

      COLOPS 2003: International Workshop on
    CONSTRAINT & LOGIC PROGRAMMING IN SECURITY,
at ICLP 2003: 19th International Conference on Logic Programming.
    December 8-13th, 2003, Mumbai (Bombay), India
    (Collocated with FSTTCS 2003 and ASIAN 2003).


- SCOPE OF THE WORKSHOP

 Due to its practical relevance  and complexity, the study of security
has  become  a  serious  challenge involving  several  disciplines  of
computer  science. A noteworthy  aspect is  that in  several instances
this study has  used directly or indirectly tools  and techniques from
(Concurrent)  Constraint Programming  and (Linear)  Logic Programming.
For  example,  constraint  solving  has  successfully  been  used  for
verifying  security  protocols,   and  several  process  algebras  for
modelling cryptographic  protocols (e.g.,  recent variants of  the spi
calculus, SPL) have remarkable similarities with Concurrent Constraint
Programming.   Also (Linear)  Logic  Programming has  been  used as  a
framework  for security  protocols, and  one of  its  central notions,
unification, has been used for the symbolic execution of cryptographic
calculi.

 COLOPS  aims  at  getting  a  broader  perspective  on  the  role  of
Constraint and Logic Programming in  the study of security.  Topics of
interest include  (but are not restricted to)  frameworks for security
using  algorithms,   verification  techniques,  process   algebras  or
programming languages, with a Constraint or Logic Programming flavour.

- IMPORTANT DATES

    Submission      28 Sep  2003
    Notification    28 Oct  2003
    Final Version   16 Nov  2003
    Workshop Date   8 Dec  2003.
  
- SUBMISSION AND PUBLICATION

 Paper submissions should not exceed 15  pages. Submissions  should be
sent  as a  PDF or  Postscript file  via email  to Frank  D.  Valencia
(frankv at it.uu.se).  The email should have:

1. "COLOPS Submission" as subject,

2. submission title and authors'  relevant information as  body,  and

3. submission file as  an attachment.

 The accepted papers will be included in the workshop proceedings as a
research  report of  Uppsala University.

 Publication of selected accepted papers in an ENTCS (Electronic Notes
in  Theoretical  Computer  Science)  volume  dedicated  to  ICLP  2003
workshops is anticipated.


- PROGRAM COMMITTEE

    Ugo Montanari (University of Pisa, Italy),
    Prakash Panangaden (McGill University, Canada),
    Catuscia Palamidessi (INRIA, France),
    Justin Pearson (Uppsala University, Sweden),
    Francesca Rossi (University of Padova, Italy),
    Fred Spiessens (Universite catholique de Louvain, Belgium),
    Frank D. Valencia (Uppsala University, Sweden),
    Pascal Van Hentenryck (Brown University, USA),
    Peter Van Roy (Universite catholique de Louvain, Belgium),
    Bjorn Victor (Uppsala University, Sweden)

- ORGANIZERS

    Martin Leucker (Uppsala University, Sweden),
    Justin Pearson (Uppsala University, Sweden),
    Fred Spiessens (Universite catholique de Louvain, Belgium),
    Frank D. Valencia (Uppsala University, Sweden)

- COORDINATOR AND CONTACT PERSON

   Frank D. Valencia (frankv at it.uu.se, http://www.brics.dk/~fvalenci).


- WORKSHOP VENUE AND RELATED EVENTS

COLOPS is a  satellite event of the 19th  International Conference on
Logic  Programming (ICLP'2003).  The  conference will  be held  at the
Tata  Institute of  Fundamental Research  (TIFR)campus located  at the
southern  tip of  Mumbai facing  the Arabian  Ocean.   Mumbai formerly
known as Bombay is the financial and commercial capital of India. TIFR
(established in 1945) is a premier research Institute (recently it has
been conferred the status of  Deemed University) in India carrying out
research  in various  areas of  Physics, Chemistry,  Biology, Computer
Science,   Technology,  and   Science  Education.   The  international
conferences FSTTCS  2003 and ASIAN  2003 will be collocated  with ICLP
2003.

- WEB SITES

COLOPS         http://www.info.ucl.ac.be/people/fsp/colops/index.html
Postscript Cfp http://www.info.ucl.ac.be/people/fsp/colops/papers.html
ICLP           http://www.tcs.tifr.res.in/~iclp03/

----------------------------------------------------------------------