Author Archives: Kim G. Larsen

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

Uli Fahrenberg Farewell

By Kim G. Larsen | Published: November 30, 2010
Posted in Uncategorized | 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.
Posted in news, Uncategorized | Comments closed

PhD School

By Kim G. Larsen | Published: January 21, 2010
Sign up for the upcoming PhD School on Quantitative Model Checking, March 2-5, 2010.
Posted in news | Comments closed