Scope and Objectives      Important Information      Call for Papers      Program Committee      ICALP 2002     Progam

ICALP 2002 Satellite Workshop on

Algorithmic MeThods and Models for Optimization of RailwayS

ATMOS 2002

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 ICALP 2002. The workshop is supported by the Human Potential Programme of EU under contract no. HPRN-CT-1999-00104 (project AMORE).

The proceedings of the workshop will be published in a single volume including all papers presented to satellite workshops of ICALP 2002. A final copy of each accepted paper is required by 15 May 2002.

Important Information


Program Committee

Proceedings: Electronic Notes in Theoretical Computer Science Volume 66 Issue 6

Invited Speaker: Madhav Marathe (Los Alamos National Laboratory, USA)

Call for Papers: HTML, Ascii


More information will be added in the future to this page. Please check it regularly.

Last modified by Frank Schulz