Category Archives: news

Lecturing at Collegè de France

Real-Time Model Checking of Embedded Systems, Collegè de France, March 30, 2016
Posted in news | Comments closed

Post Doc & PhD Positions, ERC Adv Grant LASSO

Post Doc and PhD Positions, ERC Adv Grant LASSO
Posted in news | Comments closed

EMSIG PhD School

EMSIG Autumn School, DTU, Lyngby, Denmark, November 9-13, 2015.
Posted in news | Comments closed

Opening of DiCyPS; Smart City of the Future

Opening of the new Innovation Center DiCyPS, June 19, 2015.
Also posted in Uncategorized | Comments closed

IDEA4CPS Workshop

The Sino-Danish Basic Research Center organizes Workshop in Aalborg, September 25-26, 2014.
Posted in news | Comments closed

IDEA4CPS 1st General Meeting

1st IDEA4CPS General Meeting, March 19-21, Aalborg University, Denmark
Posted in news | Comments closed

QMC PhD School

PhD school on Quantitative Model Checking,m February 27-March 1, 2012, in Copenhagen, Denmark.
Posted in news | Comments closed

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
  • 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