The Third International Workshop on
Simulation,Verification and Validation of Enterprise Information Systems
May 24, 2005 – Miami, USA
First Announcement and Call for Papers
In conjunction with the Seventh International Conference on Enterprise Information Systems - ICEIS 2005 (http://www.iceis.org/)
Juan Carlos Augusto (
Joseph Barjis (JBarjis@GeorgiaSouthern.edu)
Workshop Background and Goals
It is the aim of this workshop to stimulate the exchange of ideas and experiences of practitioners, researchers, and engineers working in the area of modelling, simulation, verification and validation of software for enterprise information systems (EIS). We welcome papers, both theoretical and practical, from all areas related to those aspects of software development and evaluation that can increase the confidence in the correctness of EIS systems, such as:
- Business process modelling
Three main categories of
submissions/presentations will be considered: a) regular papers, b)
work in progress by Ph.D. students, 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”.
Please indicate clearly which of the three categories of papers your
submission belongs to.
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 INSTICC Press.
During the event keynotes will be given by invited speakers. After the event, as in previous years, contacts will be made with an International Journal to publish a selection of best papers.
- Klaus Havelund, NASA Ames Research Center
Submission of Papers
Prospective authors are invited to submit papers for oral presentation in any of the areas listed above. Only papers in English will be accepted. The length of the paper should not exceed 10 pages. Instructions for preparing the manuscript (in Word and Latex format) are available at the ICEIS web site. Submissions not complying with the formatting guidelines will not be evaluated. PDF/PS//RTF versions of the manuscript should be submitted electronically by using the facilities provided by ICEIS web-based paper submission procedure. In addition, to avoid lost papers, an email must be sent to all workshop chairs including: category of paper, title, authors' affiliation, and an abstract of the paper submitted.
Full paper submission: February 15, 2005
Workshop Program Committee
Osman Balci, Virginia Tech (USA)
The workshop will be organized by INSTICC and
Florida International University (U.S.A.).
To attend the workshop you need to register at http://www.iceis.org
Workshop on Modelling, Simulation,Verification and Validation of
Enterprise Information Systems