FORMATS 2011

the 9th International Conference on Formal Modeling and Analysis of Timed Systems, will take place at Phønix Hotel, Aalborg, Denmark, from 21 to 23 September 2011.

Invited Talks

This entry was posted in news. Bookmark the permalink. Comments are closed, but you can leave a trackback: Trackback URL.
  • News

  • Contact

    Department of Computer Science
    Aalborg University

    Science Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk


    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89