SAVE02 call for papers *** EXTENDED DEADLINE ***
Fri, 26 Apr 2002 14:56:17 +0200 (MEST)
FloC 2002 workshop SAVE 2002
Workshop on Specification, Analysis and Validation for Emerging Technologies
Copenhagen , Denmark, July 27, 2002
CALL FOR PAPERS
EXTENDED DEADLINE: MAY 15, 2002
* Specification languages and rapid prototyping:
* Logic programming and its extensions
* First-order, constructive, modal and temporal logic
* Type theory
* Abstract interpretation
* Program analysis and transformation
* 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.
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.
* Deadline for submissions: May 15, 2002
* Notification: June 4, 2002
* Final papers due: June 24, 2002
* Workshop date: July 27, 2002
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: email@example.com
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:
* Sandro Etalle - Department of Computer Science- University of Twente
and CWI. e-mail: firstname.lastname@example.org
* Maurizio Gabbrielli - University of Bologna, Italy e-mail: email@example.com