Category Archives: news

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

    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