Category Archives: news

IDEA4CPS 1st General Meeting

By Kim G. Larsen | Published: March 12, 2012
1st IDEA4CPS General Meeting, March 19-21, Aalborg University, Denmark
Posted in news | Comments closed

QMC PhD School

By Kim G. Larsen | Published: February 3, 2012
PhD school on Quantitative Model Checking,m February 27-March 1, 2012, in Copenhagen, Denmark.
Posted in news | Comments closed

FORMATS 2011

By Kim G. Larsen | Published: September 20, 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

By Kim G. Larsen | Published: July 6, 2011
Inauguration event of IDEA4CPS, June 1, 2011.
Posted in news | Comments closed

SUMMIT 2011

By Kim G. Larsen | Published: May 10, 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

By Kim G. Larsen | Published: February 10, 2011
The DaNES project goes to Dankernes Akademi.
Posted in news | Comments closed

EliteForsk 2011

By Kim G. Larsen | Published: January 28, 2011
Radu Mardare has received a Sapere Aude Young Elite Researcher Award 2011.
Posted in news | Comments closed

Model Checking PhD course

By Kim G. Larsen | Published: November 17, 2010
Doron Peled, New Dates: February 7 and 8, 2011.
Posted in news | Comments closed

Mobility Stipends in ICT open

By Kim G. Larsen | Published: July 2, 2010
Call for applications to 5 mobility stipends in ICT  by Aug 12, 2010.
Posted in news | Comments closed

Honorary Doctorate

By Kim G. Larsen | Published: January 25, 2010
Prof. Alberto Sangiovanni-Vincentelli becomes Honoris Causa  Jan 29, 10.00.
Also posted in Uncategorized | Comments closed

  • Awards and like

    Knight of the Order of the Dannebrog, 2007

  • 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