Past events - IDEA4CPS
EMSIG Autumn School 2015
Embedded Systems Special Interest Group together with IDEA4CPS, Aalborg University and Technical University of Denmark organized a five day Autumn School on Embedded Systems.
IDEA4CPS research workshop Aalborg 2014
On September 25-26 IDEA4CPS organized a research Workshop in Aalborg, with the participation of researchers from all the four partners of IDEA4CPS.
IDEA4CPS 2nd General Meeting
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).
IDEA4CPS 1st General Meeting
On March 19-21, 2012, the first General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at Cassiopeia, Aalborg University, Denmark.
2nd International PhD School on Quantitative Model Checking
The 2nd International PhD School on Quantitative Model Checking took place at the IT University of Copenhagen 27 Feb – 1 Mar 2012.
PhD course: Introduction to Logic and Model Theory
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
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.
ARTIST Summer School in China 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.
Inauguration of IDEA4CPS
The inauguration event for IDEA4CPS took place at Aalborg University on June 1, 2011.