Call For Papers

  WORKSHOP ON ALGORITHMIC METHODS AND MODELS FOR OPTIMIZATION OF RAILWAYS 

                              ATMOS 2002

                      July 13, 2002, Málaga, Spain 

                http://www.inf.uni-konstanz.de/atmos2002



Efficient solution of railway optimization problems requires a coordinated
interdisciplinary effort from various areas in mathematical optimization and
theoretical computer science, including graph and network algorithms, theory
of computation, approximation algorithms, formal methods, foundations of
software engineering, combinatorial optimization, and algorithm engineering.

The goal of the workshop 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.

ATMOS 2002 will collocate with ICALP 2002 and is supported by the Human 
Potential Programme of EU under contract no. HPRN-CT-1999-00104 (AMORE).


TOPICS
======

Papers are solicited in all aspects of algorithmic methods and models for 
railway optimization problems including (but not limited to):

- Time Table Information 
- Time Table Generation
- Time Table on Demand (Disposition)
- Railway Crew Scheduling and Rostering
- Rolling Stock Scheduling
- Line Planning
- Infrastructure and Rolling Stock Planning
- Maintenance and Shunting of Rolling Stock
- Pricing Systems
- Simulation Tools


SUBMISSIONS
============

Authors are invited to submit by e-mail an extended abstract (max 10 pages) 
including their fax number and e-mail address to

       atmos2002@fmi.uni-konstanz.de

If authors feel that additional details are necessary, they may include them 
in a clearly marked appendix, which will be read at the discretion of the 
program committee. 

The extended abstract must be received by April 2, 2002. Authors will be sent 
notification of acceptance or rejection by email after April 30, 2002.


PROCEEDINGS
===========

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 May 15, 2001.


PROGRAM COMMITTEE
=================

Dines Bjorner  (co-chair)      (TU Lyngby, Denmark)
Leo Kroon                      (NS Reizigers, Utrecht, Holland)
Gabriele Di Stefano            (Univ. of L'Aquila, Italy)
Anita Schöbel                  (Univ. Kaiserslautern)
Dorothea Wagner  (co-chair)    (Univ. of Konstanz, Germany)
Frank Wagner                   (Deutsche Bahn, Berlin, Germany)
Peter Widmayer                 (ETH Zurich, Switzerland)
Jim Woodcock                   (Univ. of Kent, UK)
Christos Zaroliagis            (CTI & Univ. of Patras, Greece)


INVITED SPEAKER
===============

Madhav Marathe                 (Los Alamos National Laboratory, USA)


IMPORTANT DATES
===============

Submission of Papers       : April 2, 2002
Notification of Acceptance : April 30, 2002
Final Version due          : May 15, 2002 


LOCATION
========

The workshop collocates with ICALP 2002.

http://sirius.lcc.uma.es/ICALP2002/


ORGANISING COMMITTEE
====================

Dines Bjorner  (co-chair)  
Dorothea Wagner  (co-chair)