[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Establishing a RAILWAY SOFTWARE INTEREST GROUP E-MAIL ADDRESS LIST


Dear Colleague,

I am in the process of establishing an e-mail address list
that covers people whoi are interested in RAILWAY SOFTWARE 
(and, in general Computing) from

   * railway infrastructure agencies
   * railway passenger and freight train operators
   * computing science - research institutions and univs.
   * software houses
   * design consultants
   * etc.
   
If you are interesting in joining, then please send me
your e-mail address as well as full mailing address:

   \fmemailaddr{name}
               {postal address}
               {e-mail}
               {url}
               {fax}
               
As a first bonus, pls. inspect an evolving railway software
etc. bibliography:

   http://www.it.dtu.dk/~db/racosy/fmerail.ps
   
As a further bonus, pls. inspect:

   http://www.cert.fr/fm99/             - FM'99 World Congress 
                                          on Formal Methods
   
   http://www.cert.fr/fm99/industri.htm - see item on 
   
              Railway Systems Godziejewski (ERRI), bogdan@wxs.nl 
              This tutorial culminates the EU sponsored FMERail project. 

Sincerely

Dines Bjorner




Please surf to - and onwards:

   ======================================================
   |  FM'99 WORLD CONGRESS: http://www.cert.fr/FM99/    |
   ======================================================

Dines's work:
   
   +----------------------------------------------------+
   |  You may wish to see my home page                  |
   |  Home page: http://www.it.dtu.dk/~db               |
   +----------------------------------------------------+

   +----------------------------------------------------+
   |  "Triptych"  -  My main "project" activities       | 
   +----------------------------------------------------+
   |  Overview page of documents &c.                    | 
   |      http://www.it.dtu.dk/~db/triptych             |    
   +----------------------------------------------------+
   |  The Triptych Cluster of R&D Projects              |
   |    HTML:                                           |
   |      http://www.it.dtu.dk/~db/triptych/trip        |
   |    Postscript:                                     |
   |      http://www.it.dtu.dk/~db/triptych/triptych.ps | 
   +----------------------------------------------------+

Addresses:

   +----------------------------------------------------+
   |                                                    |
   |  Prof., Dr. Dines Bjorner                          |  
   |  Department of Information Technology              |
   |  Bldg.344, Technical University of Denmark         |
   |  DK--2800 Lyngby, Denmark                          |
   |                                                    |
   |  Phone:       +45-45.25.37.20                      |
   |  Fax:         +45-45.88.45.30                      |
   |  E-Mail:      db@it.dtu.dk                         |
   |                                                    |
   |  Secretariat: Ms Eva Bing, ebi@it.dtu.dk           |
   |               +45-45.25.75.09                      |
   |  IT/DTU Info: +45-45.93.33.32                      |
   |                                                    |
   +----------------------------------------------------+
   |                                                    |
   |  Kari S. + Dines Bjorner                           |
   |  Fredsvej 11                                       |
   |  DK--2840 Holte                                    |
   |  Denmark       ++---> Denmark Prefix               |
   |                VV                                  |
   |  Phone:       +45-45-42.21.41                      | 
   +----------------------------------------------------+