Past events

Embedded Systems Special Interest Group together with IDEA4CPS, Aalborg University and Technical University of Denmark organized a five day Autumn School on Embedded Systems.

On September 25-26 IDEA4CPS organized a research Workshop in Aalborg, with the participation of researchers from all the four partners of IDEA4CPS.

On 21-23 November 2012, the second General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at East China Normal University, 3663 Zhongshan Road (North).

On March 19-21, 2012, the first General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at Cassiopeia, Aalborg University, Denmark.

The 2nd International PhD School on Quantitative Model Checking took place at the IT University of Copenhagen 27 Feb – 1 Mar 2012.

For the period 24 November-12 December 2011, Kim Guldstrand Larsen and Radu Mardare will organize the PhD course “Introduction to Logic and Model Theory” at Aalborg University.

FORMATS 2011, the 9th International Conference on Formal Modeling and Analysis of Timed Systems, will take place at Phønix Hotel, Aalborg, Denmark, from 21 to 23 September 2011.

The ArtistDesign European Network of Excellence on Embedded Systems Design will organize the 6th edition of a school on Embedded Systems Design at the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, August 8-12, 2011.

The inauguration event for IDEA4CPS took place at Aalborg University on June 1, 2011.