"Copenhagen" Meeting on Modal Transition Systems (Sep 20, 2007)

A well-scoped informal one-time workshop for researchers currently working on modal transition systems, sponsored by Aalborg University (CISS) and ITU Copenhagen. The purpose is to increase interaction between us, and to get on overview of recent results and interesting open problems; perhaps even to foster some new cooperations, resulting in paper authorship in unusual configurations.

Topics of interest:

  • Theory of modal transition systems and related logics
  • Derived models (disjunctive MTSs, timed MTSs, ...)
  • Analysis techniques, tools and algorithms using MTSs, or deriviatives.

Participants are asked to submit proposals of presentations (with abstracts) on the above topics. Discussing current work, future work, or recent work is well seen. There is no formal proceedings, but prepared manuscripts will be distributed in hardcopy to participants of the workshop. There will be no review process; we will just make sure that submitted abstracts fit the scope of the workshop.

Time and Venue

The meeting will take place on September 20, 2007 at IT University in Copenhagen. Rued Langaards Vej 7, Room 2A08 (second floor)

Copenhagen has a well connected airport, which is efficiently reachable from ITU. It will be possible to fly-in in the morning and leave Copenhagen on the same day. If you need accommodation we will be happy to help you in arranging it.

We expect to start around 10am and finish not later than 5pm. Please, let us know if your flight is landing later than 9am, on Sep 20th. You can safely book departures at 6:40pm or later, if you do not want to join us for dinner.

A taxi ride from the airport to ITU takes up to 15 minutes, and costs approximetly 125kr during the day. For public transportation you should get a ticket for 2 zones (go to the DSB sales in the arrival hall, 19kr). Board any regional train bound for Copenhagen or Helsingor and leave after two stations (at Orestad), where you should change to Metro towards Vanløse. Leave at DR-byen (Universitetet) station. On this map you can see both the metro station and ITU. You can't see the shortcut path though :) Just follow the pavement directly towards and through the large construction site of DR. Duration of the whole trip is 30-40 minutes.


Please register by email with Andrzej Wąsowski at wasowski "at" itu.dk.

  • Xinxin Liu (Beijing)
  • Heiko Schmidt (Kiel)
  • Dario Fischbein (Imperial College, London)
  • Flemming Nielson (DTU, Lyngby)
  • Hanne Riis Nielson (DTU, Lyngby)
  • Sebastian Nanz (DTU, Lyngby)
  • Nir Piterman (Imperial College, London)
  • Michael Huth (Imperial College, London)
  • Harald Fecher (Imperial College, London)
  • Dennis Dams (via a remote link from Bell Labs)
  • Jens Christian Godskesen (ITU, Copenhagen)
  • Mads Christian Olsen (Aalborg)
  • Jesper Brix Rosenkilde (Aalborg)
  • Claus Thrane (Aalborg)
  • Uffe Sørensen (Aalborg)
  • Anders Franz Terkelsen (Aalborg)
  • Organizers: Andrzej Wąsowski, Ulrik Nyman, and Kim G. Larsen.