Workshops

The First International Workshop on

Verification and Validation of Enterprise Information Systems VVEIS-2003

April 22, 2003 – Angers, France

  First Announcement and Call for Papers 

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

See the Workshop Program here. 

Co-Chairs:

Juan Carlos Augusto ( jca@ecs.soton.ac.uk ) and Ulrich Ultes-Nitsche ( uun@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). So 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:

                                               
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. Postscript/RTF versions of the manuscript should be sent electronically to the workshop secretariat (see e-mail below) or submitted thru ICEIS web-based paper submission procedure.

Important Dates

Full paper submission: December 15, 2002
Author notification: January 15, 2003
Camera-ready:  January 30, 2003
Workshop: April 22, 2003 

Workshop Program Committee:

Glenn Bruns, Bell Labs (USA)
Jérôme Delatour, École Supérieure d'Électronique de l'Ouest (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, Universidad Argentina de la Empresa (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-secretariat ( at ) iceis.org
Web site: http://www.iceis.org/workshops/vveis/vveis2003-cfp.html

Page Updated on 09-04-2008

Copyright © Escola Superior de Tecnologia de Setúbal, Instituto Politécnico de Setúbal