News & Events

Upcoming events:

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

 > January 2013 - PhD course on Strategy Iteration @ DTU

Some past highlights:

> KIM G. LARSEN INTERVIEWED IN INGENIØREN

On February 1st, 2013, Kim G. Larsen, prof. at MT-LAB/AAU, was interviewed by Ingeniøren about the security of smart energy grids.

> KIM G. LARSEN INTERVIEW ON JYLLANDS POSTEN

On October 31st, 2012, Kim G. Larsen, prof. at MT-LAB/AAU, was interviewed by Jyllands Posten about the increasing importance of embedded devices in our everyday lives.

> FLEMMING NIELSON INTERVIEW ON DANISH NATIONAL TELEVISION

On October 26th, 2012, Flemming Nielson, prof. at MT-LAB/DTU, was interviewed by the Danish television DR. Prof. Nielson comments and analyses a security issues related to cyber attacks in the real world.

> October 24-31, 2012 -- PhD course on SOS for stochastic processes at ITU

> ENDER YÜKSEL ON VIDENSKAB.DK AND JYLLANDS POSTEN

On September 3rd, 2012, Ender Yüksel, PostDoc at MT-LAB/DTU, was interviewed on videnskab.dk about the security threats arising in the future smart home. The article appeared also on Jyllands Posten.

> August 29, 2012 - 18th MT-LAB Workshop (ITU)

> BO FRIIS NIELSEN ON RADIO 24/7

On June 25th, 2012, professor Bo Friis Nielsen was interviewed on the Danish Radio 24/7 about queueing theory and its applications.

> KEBIN ZENG ON DANISH NATIONAL TELEVISION

On June 25th, 2012, Kebin Zeng, PhD studenty at MT-LAB/DTU, was interviewed on the Danish television TV2 about the mathematical instruments for addressing the traffic jam issue that troubles Copenhagen.

> June 19-20, 2012 - 17th MT-LAB Workshop (AAU)

> FLEMMING NIELSON INTERVIEWED ON DANISH NATIONAL TELEVISION

On June 4th 2012, the director of MT-LAB, professor Flemming Nielson, was interviewed on Danish television DR2 about hacker infiltrations in military systems.

> FLEMMING NIELSON INTERVIEWED ON DANISH NATIONAL RADIO

On June 1st, 2012, the director of MT-LAB, professor Flemming Nielson, was interviewed on Danish radio station P1 about the Flame virus and cyber security in general.

> Two talks on Maude and Rewrite Systems (DTU 25/5 and 1/6/2012)

> FLEMMING NIELSON INTERVIEWED ON DANISH NATIONAL RADIO

On May 11th 2012, the director of MT-LAB, professor Flemming Nielson, was interviewed on Danish radio station P1 concerning the security issues related to the coming Smart Grid.

> FLEMMING NIELSON INTERVIEWED ON ING.DK

On April 23rd 2012, the director of MT-LAB, professor Flemming Nielson, was interviewed on the webzine ing.dk.

> FLEMMING NIELSON INTERVIEWED ON ELEKTRONIKBRANCHEN.DK

On April 23rd 2012, the director of MT-LAB, professor Flemming Nielson, was interviewed on the webzine elektronikbranchen.dk.

> April 24-25, 2012 - 16th MT-LAB Workshop (DTU)

> March 19-21, 15th MT-LAB Workshop in cooperation with IDEA4CPS (AAU)

> February 27th-March 1st - QMC 2012 - 2nd International PhD School on Quantitative Model Checking

> February 8-9th 2012 - 15th MT-LAB WORKSHOP (AAU)

> 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