EMSIG Autumn School 2015 Embedded Systems Special Interest Group together with IDEA4CPS, Aalborg University and Technical University of Denmark organized an Autumn School on Embedded Systems in November 2015. The lectures were selected to span both embedded techniques...
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. The event took place at the Restaurant Skovbakken (inside Aalborg Zoo),...
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). Program: Wednesday, November 21 9:30~11:00 Registration and...
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. Program: Monday March 19 – Room: 0.0.90 9.30-10.00 REGISTRATION...
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. The PhD school is organized by the European Network of Excellence...
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. The course is research-based...
Recent Comments