SAVE02 call for papers

[Sandro.Etalle@cwi.nl]

		     FloC 2002 workshop SAVE 2002
Workshop on Specification, Analysis and Validation for Emerging Technologies
		 Copenhagen , Denmark, July 27, 2002

			   CALL FOR PAPERS

SUBMISSION DEADLINE: APRIL 27, 2002
                     ^^^^^^^^^^^^^^
TOPICS

* Specification languages and rapid prototyping:
          * Logic programming and its extensions
          * First-order, constructive, modal and temporal logic
          * Constraints
          * Type theory
* Analysis:
          * Abstract interpretation
          * Program analysis and transformation
* Validation:
          * 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: e.g. specification and verification of security protocols.
* Interaction, coordination, negotiation, communication and exchange on the Web.
* Open and Parametrized Systems.

PUBLICATION 

The proceedings of the workshop will be published as technical
report. We are planning a journal special issue: a selection of the
workshop papers will be invited for submitting a full version to it.

MOTIVATIONS AND GOALS

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 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.

The first edition of SAVE 2001 took place as a one-day satellite event
of ICLP/CP 2001 in Paphos, Cyprus. The technical program consisted of
an invited talk and seven paper presentations covering problems
related to security, real time systems, simulation and performance
evaluation, and general purpose verification techniques (all papers are
available on line in the here).

The aim of this new edition is to bring together researchers
interested in the use of computational logic as 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, control and real-time systems, open
and distributed systems.


IMPORTANT DATES

    * Deadline for submissions: April 27, 2002 
    * Notification: May 27, 2002 
    * Final papers due: June 24, 2002 
    * Workshop date: July 27, 2002


PROGRAM COMMITTEE

Alessandro Armando DIST, University of  Genova, Italy 
Radhia Cousot, Ecole Polytecnique, France 
Thierry Massart, U. Libre de Brussels, Belgium 
Catuscia Palamidessi, Penn State University, USA 
Frank Pfenning, Carnegie Mellon University, USA 
Andreas Podelski Max-Planck-Institut, Germany
Sriram Rajamani, Microsoft Research, USA
Jean-Francois Raskin, U. Libre Brussels, Belgium

INSTRUCTION FOR AUTHORS

Please send your submission as a (uuencoded, gzipped, if possible)
Postscript or PDF file to: giorgio@disi.unige.it

The paper must not exceed 15 pages, and must contain a cover page
with: title, name and addresses of the authors, abstract and
keywords. Please prepare the manuscript using LaTex article style,
single column, 12.2cm x 19.3cm text area.

The proceedings will be published in electronic format.

A printed version will be distributed to all participants of the workshop. 

WORKSHOP ORGANISERS/PC CHAIRS

*  Giorgio Delzanno - Dipartimento di Informatica e Scienze *
   dell'Informazione - Universita' di Genova. e-mail:
   giorgio@disi.unige.it

*  Sandro Etalle - Department of Computer Science- University of Twente
   and CWI. e-mail: etalle@cwi.nl

*  Maurizio Gabbrielli - University of Bologna, Italy e-mail: gabbri@cs.unibo.it