Scope and Objectives
Call for Papers
ICALP 2002 Satellite Workshop on
and Models for Optimization of
13 July 2002, Málaga, Spain
Scope and Objectives
Railway optimization problems are extremely complex and their efficient
solution is a rather difficult task. Problems and user
requirements need to be transformed into formal mathematical models
that have to be as accurate as possible. Advanced mathematical methods
and sophisticated algorithms are required to efficiently tackle the
derived optimization problems. Development of efficient algorithms need
to be alternated with experimental studies to exhibit the practical merits
of the algorithms and provide useful prototype implementations.
Formal models and methods need to be developed to evaluate the whole design
process from requirements and specifications up to software prototyping.
Consequently, the efficient solution of railway optimization problems requires a
coordinated interdisciplinary effort from researchers in mathematical and
combinatorial optimization, formal methods, foundations of software engineering,
algorithm design, theory of computation, and algorithm engineering.
The main aim of ATMOS 2002
is to provide a forum for the exchange
and dissemination of new ideas, techniques, and research in the field of
railway optimization. In particular, the workshop is meant to bring together
researchers from the above areas interested in all aspects
of algorithmic methods and models for railway optimization, including those
interested in formal software
specification and implementation methods, and in formal domain and knowledge models
of railway systems.
The program of the workshop will consist of both contributed and invited talks.
All submissions will be refereed. The workshop collocates with
The workshop is supported by the Human
Potential Programme of EU under contract no. HPRN-CT-1999-00104 (project
The proceedings of the workshop will be published in a single volume
including all papers presented to satellite workshops of
A final copy of each accepted paper is required by 15 May 2002.
Electronic Notes in Theoretical Computer Science Volume 66 Issue 6
Madhav Marathe (Los Alamos National Laboratory, USA)
Call for Papers:
- Deadline for Paper Submission:
2 April 2002
- Notification of Acceptance:
30 April 2002
- Final Version due : 15 May 2002
More information will be added in the future to this
page. Please check it regularly.