The Second International Workshop on
Verification and Validation of Enterprise Information Systems VVEIS-2004
April 13, 2004 – Porto, Portugal
First Announcement and Call for Papers
In conjunction with the Sixth International Conference on Enterprise Information Systems - ICEIS 2004 (http://www.iceis.org/)
Carlos Augusto (
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:
Three main categories of submissions/presentations will be considered: a) regular papers, b) abstracts of work in progress and position papers (e.g. for Ph.D. students wishing to obtain feedback on early stages of their research), and c) tool demonstrations. All submissions falling in any of these categories have to follow the procedure explained below under the heading "Submission of Papers".
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.
Contacts will be made with an International Journal to publish a selection of best papers.
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 submitted thru ICEIS web-based paper submission procedure.
Full paper submission: January 15, 2004
Workshop Program Committee:
Glenn Bruns, Bell Labs (United States of America)
The workshop will be held at Departamento de Informática, Universidade Portucalense, Porto, Portugal.
To attend the workshop you need to register at http://www.iceis.org
Workshop on Verification and Validation of Enterprise Information
Copyright © INSTICC
Copyright © INSTICC