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...
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. Invited Talks Rajeev Alur, University of Pennsylvania, Philadelphia...
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,...
Inauguration of IDEA4CPS The inauguration of took place on June 1, 2011 at the Department of Computer Science, Aalborg University IDEA4CPS Inauguration Programme: 10.00 Kristian G. Olesen, Head of Computer Science, Aalborg 10.05 Thomas Sinkjær,Director of the Danish...
Recent Comments