News & Events

Upcoming events:

• February 8-9th 2012 - 15th MT-LAB Workshop (at AAU).
• February 27th - March 1st 2nd International PhD School on Quantitative Model Checking
  

     > For more information about our activities, look at our Wiki

Some past highlights:

FLEMMING NIELSON INTERVIEWED ON DANISH NATIONAL RADIO

On 25th October 2011, 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.

INAUGURATION OF IDEA⁴CPS

Researchers from MT-LAB play a key role in a new Danish-Chinese research centre on the foundations of cyber-physical systems - that is, systems with a tight combination and coordination between computational and physical elements. The inauguration of the centre took place in Aalborg on 1st June 2011.

MLQA - STATIC ANALYSIS VERSUS MODEL CHECKING

Closely related to the aims of MT-LAB, the second annual meeting of the ERCIM working group on Models and Logics for Quantitative Analysis (MLQA) took place on Friday July 9'th 2010 as part of the Federated Logic Conference (FLoC) organized by the School of Informatics at the University of Edinburgh in Scotland. It was attended by more than 30 researchers, from senior researchers to PhD students, and was one of the best attended satellite events taking place at FLoC.

QMC - PHD SCHOOL ON QUANTITATIVE MODEL CHECKING

The PhD school took place on the IT-University on 2-5 March 2010 and was organized by MT-LAB in collaboration with ARTIST Design, an European Network of Excellence in the area of Embedded Systems Design. The program covered advances within quantitative model checking including state-of-the-art modeling and logical formalisms, model checking algorithms as well as practical applications. Furthermore the course offered hands-on experience with several state-of-the-art quantitative model checking tools.

Read more about past events in our newsletters