CFP: ICLP ws SAVE 2001

                        ICLP 2001 workshop SAVE 2001

        Specification, Analysis and Validation for Emerging Technologies

                           in Computational Logic

	  Dec 1, 2001 , Coral Beach Hotel and Resort, Paphos, Cyprus
                     Submission Deadline: August 25, 2001

The huge increase in interconnectivity we have witnessed in the last
decade has boosted the development of systems which are often
large-scale, distributed, time-critical, and possibly acting in an
unreliable or malicious environment. Furthermore, software and
hardware components are often mobile, and have to interact with a
potentially arbitrary number of other entities.

These systems require solid formal techniques for their verification
and analysis. In this respect, computational logic plays an
increasingly important role, both providing formal methods for proving
system's correctness and tools - e.g. using techniques like constraint
programming and theorem proving - for verifying their properties.

In addition, computational logic is gaining importance as tool for the
specification of (part) of these systems. For instance, one can think
at the specification, in a form of temporal logic, of a communication
protocol. Such specification offers the advantage that one can reason
about it using formal methods, and at the same time it is often easily
executable by rewriting it into a logic-based programming language.

Extending and shifting slightly from the scope of the predecessors (on
verification and logic languages) held in the context of past editions
of ICLP, the aim of this workshop is to bring together researchers
interested in the use of computational logicas a tool for the
specification, analysis and validation of systems, with particular
emphasis on (but not restricted to) emerging technologies like World
Wide Web and E-Commerce, (protocols for) Smart Cards and Mobile
Telephony, Wireless Technology, Hybrid Systems, Real-Time and
Distributed systems etc.


The topics of interest include but are not limited to: 

    Specification languages and rapid prototyping: 
        Logic programming and its extensions 
        First-order, constructive, modal and temporal logic 
        Type theory 
        Abstract interpretation 
        Static analysis 
        Simulation and testing 
        Deductive methods 
        Model checking 
        Theorem proving 

The preferred issues include, but are not limited to: 

    Mobility: specification and verification of mobile code. 
    Security: access rights, information flow, and security protocols. 
    Interaction, coordination, negotiation, communication and exchange on the Web. 
    Open and infinite-state systems. 
    Real-time systems. 

Important Dates: 

    Deadline for submissions: August 25, 2001. 
    Notification of acceptance/rejection: September 15, 2001. 
    Final papers due: October 5, 2001. 

Authors should submit papers of at most 15 pages, in postscript format,
formatted for A4 paper, to Giorgio Delzanno (giorgio@disi.unige.it) by 
the 25th of August 2001. The proceedings will be published in electronic
format.  A printed version will be distributed to all
participants of the workshop. 
On the basis of the number and quality of the submissions, we could also consider the 
possibility of inviting submissions for a special issue of an international journal
dedicated to the workshop. 

Workshop Organizers/PC Chairs: 

    Giorgio Delzanno 
    Dipartimento di Informatica e Scienze dell'Informazione 
    Universita'  di Genova 
    Sandro Etalle 
    Department of Computer Science 
    University of Twente and CWI 
    Maurizio Gabbrielli 
    Dipartimento di Matematica ed Informatica 
    Universita' di Udine 
Program Committee: 

    Radhia Cousot, CNRS & École Polytechnique, France 
    Giorgio Delzanno, University of Genova, Italy 
    Sandro Etalle, University of Twente and CWI, The Netherlands 
    Maurizio Gabbrielli, University of Udine, Italy 
    Thierry Massart, University of Brussels, Belgium 
    Frank Pfenning, Carnegie Mellon University, USA 
    Andreas Podelski, Max Planck Institute, Germany 
    Sriram Rajamani, Microsoft Research, USA 
    Jean-Francois Raskin, University of Brussels, Belgium