Category Archives: news

FORMATS 2011

FORMATS 2011, 9th International Conference on Formal Modeling and Analysis of Timed Systems, Aalborg, 21-23 September, 2011.
Posted in news | Comments closed

Inauguration of IDEA4CPS

Inauguration event of IDEA4CPS, June 1, 2011.
Posted in news | Comments closed

SUMMIT 2011

SUMMIT 2011, May 18, 2011 Aalborg Kongres & Kulturcenter. ICT meets food, energy, production, health and transport
Posted in news | Comments closed

DaNES goes to DA

The DaNES project goes to Dankernes Akademi.
Posted in news | Comments closed

EliteForsk 2011

Radu Mardare has received a Sapere Aude Young Elite Researcher Award 2011.
Posted in news | Comments closed

Model Checking PhD course

Doron Peled, New Dates: February 7 and 8, 2011.
Posted in news | Comments closed

Mobility Stipends in ICT open

Call for applications to 5 mobility stipends in ICT  by Aug 12, 2010.
Posted in news | Comments closed

Honorary Doctorate

Prof. Alberto Sangiovanni-Vincentelli becomes Honoris Causa  Jan 29, 10.00.
Also posted in Uncategorized | Comments closed

PhD School

Sign up for the upcoming PhD School on Quantitative Model Checking, March 2-5, 2010.
Posted in news | Comments closed

New website

Welcome to my new website, if you wish you can compare to my old.
Posted in news | Leave a comment
  • Contact

    Department of Computer Science
    Aalborg University

    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