Scope and Objectives     Important Information     Call for Papers     Electronic Submissions     Program Committee     Organizing Committee  Instructions for Authors     Registration and Local Information    Progam (tentative)

ICALP 2001 Satellite Workshop on

Algorithmic MeThods and Models for Optimization of RailwayS

ATMOS 2001

13 July 2001, Crete, Greece

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 2001 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 2001 and is part of the exciting conference activities held on 4-13 July in Crete (SPAA 2001, STOC 2001, ICALP 2001) organized by the Computer Technology Institute. 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 collecting the contributions to all satellite workshops of ICALP 2001. The volume will be published in the Electronic Notes in Theoretical Computer Science series of Elsevier and a printed version will be distributed to all participants of the workshop.

Important Information

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

Last modified on February 19, 2001 by Christos D. Zaroliagis