INT. WORKSHOP ON VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS

[Juan Carlos Augusto]

================================================
THE FIRST INTERNATIONAL WORKSHOP ON
VERIFICATION AND VALIDATION OF
ENTERPRISE INFORMATION SYSTEMS
(VVEIS-2003)

http://www.iceis.org/workshops/vveis/vveis2003-cfp.html

April 22, 2003 - Angers, France

(Call for Papers)

In conjunction with the Fifth International Conference on
Enterprise Information Systems - ICEIS 2003
(http://www.iceis.org/)

Co-Chairs:

Juan Carlos Augusto ( j...@ecs.soton.ac.uk )
and
Ulrich Ultes-Nitsche ( u...@ecs.soton.ac.uk )

Declarative Systems and Software Engineering Research Group
University of Southampton SO17 1BJ, Hampshire,
United Kingdom

WORKSHOP BACKGROUND AND GOALS

It is the aim of this workshop to stimulate the exchange of
ideas/experiences of practitioners, researchers, and Engineers
working in the area of validating/verifying software for
enterprise information systems (EIS). We will welcome both
practical and theoretical papers, including case studies,
from all areas related to increasing the confidence in the
correctness of EIS software, such as:

Large Scale Component Based Development
Specification-based testing and analysis
Reuse of specifications and proofs
Combination of verification systems
Dependability
Quality control and assurance
Software Architecture
Application Integration
Case studies
Quality attributes
Safety critical systems
Model checking
Process algebra
Deductive systems
Formal methods
Petri nets
Consistency Checking and Data Integrity
Finite-state abstractions of infinite-state systems

We will aim at including reports on methods currently used for
EIS validation/verification as well as existing approaches in
academic environments, hoping that both practioners and
researchers will benefit from such a mixture of presentations.

FORMAT OF THE WORKSHOP

The workshop will consist of oral presentations of papers
submitted in advance, which will be peer reviewed. The proceedings
of the workshop will be published in the form of a book by ICEIS.

SUBMISSION OF PAPERS

Prospective authors are invited to submit papers for oral
presentation in any of the areas listed above. Only full papers
in English will be accepted, and the length of the paper should
not exceed 8 pages. Instructions for preparing the manuscript
(in Word and Latex format) are available at the ICEIS web site
(see below). Postscript/RTF versions of the manuscript should
be sent electronically to the workshop secretariat
(see e-mail below).

IMPORTANT DATES

Paper submission: December 15, 2002 (New Deadline!) <<===
Author notification: January 15, 2003
Camera-ready: January 30, 2003
Workshop: April 22, 2003

PROGRAM COMITEE

Glenn Bruns, Bell Labs (USA)
Jérôme Delatour, ESEO (France)
Stefania Gnesi, National Research Council (Italy)
Andy Gravell, University of Southampton (UK)
John Grundy, University of Auckland (NZ)
Alan Hu, University of British Columbia (Canada)
William Lam, SUN Microsystems
Jose Maldonado, Universidade de Sao Pablo (Brazil)
Radu Mateescu, INRIA (France)
Pedro Merino Gómez, Universidad de Málaga (Spain)
Daniel Moldt, University of Hamburg (Germany)
A. Jefferson Offutt, George Mason University (USA)
Alfredo Olivero, UADE (Argentina)
Marc Roper, University of Strathclyde (UK)
Lone Leth Thomsen, Aalborg University (Denmark)
Pierre Wolper, University of Liege (Belgium)

CONFERENCE LOCATION

The workshop will be held at the École Supérieure d' Électronique de
l' Ouest in Angers, France, which is 90 minutes from Paris by the
high-speed train (TGV).

REGISTRATION INFORMATION

To attend the workshop you need to register at http://www.iceis.org

SECRETARIAT

ICEIS-2003 Secretariat -
The First International Workshop on Verification
and Validation of Enterprise Information Systems
ESEO - École Supérieure d' Électronique de l' Ouest
4, rue Merlet de la Boulaye - BP926 - 49009
ANGERS CEDEX 01 - FRANCE
Fax: +33 2 41 87 99 27
Tel: +33 2 41 86 67 19

E-mail: w6-secr...@iceis.org