|
|
 |
|
|
|
|
|
|
|
|
|
On March 19-21, 2012, the first General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at Cassiopaia, Aalborg University, Denmark.
|
|
|
|
|
|
The 2nd International PhD School on Quantitative Model Checking took place in Copenhagen 27 Feb - 1 Mar 2012. See pictures from the event here.
|
|
|
|
|
|
For the period 24 November-12 December, Kim Guldstrand Larsen and Radu Mardare will organize the PhD course "Introduction to Logic and Model Theory" at Aalborg University.
|
|
|
|
|
|
On 25th October 2011, co-PI of IDEA4CPS and director of MT-LAB, professor Flemming Nielson, was interviewed on Danish radio station P1 concerning the increased risk on Denmark being targeted in cyber attacks.
|
|
|
|
|
|
|
 |
How do we ensure that increasingly complex cyber-physical systems are correct? Read more...
|
|
|
 |
 |
|
Denmark
Kim Guldstrand Larsen
Aalborg University
|
China
Huibiao Zhu
East China Normal University
|
|
|
|
|
|
|
|
|
|
|
|
|
FINANCED BY
|
 |
|
The Danish National Research Foundation objective is to promote and stimulate basic research at the highest international level at the frontiers of all scientific fields. Read more:
www.dg.dk/en
|
|
|
|
|
