Events

October 26-27, 2010 - Two Days Meeting with the Advisory Board (DTU)
August 23-24, 2010 - Workshop (AAU)
June 17-18, 2010 - 8th MT-LAB workshop (DTU)
April 21-22, 2010 - 7th MT-LAB workshop (AAU)
March 2-5, 2010 - Quantitative Model Checking PhD School (QMC 2010) at ITU
February 8-9, 2010 - 6th MT-LAB workshop (DTU)
December 11, 2009 - Talk by Ernst-Rudiger Olderog from Oldenbrug University.
December 3, 2009 - Talk by Sebastian Mödersheim from IBM Zürich Research Lab.
December 1, 2009 - Talk by Aslan Askarov from Cornell University.
November 30, 2009 - Talk by Thomas Wahl from Oxford University.
November 27, 2009 - Web-transmitted talk by Axel Legay from INRIA, Rennes.
November 23-24, 2009 - 5th MT-LAB workshop (AAU).
November 18, 2009 - Talk by Lijun Zhang from Universtaat des Saarlandes.
November 16, 2009 - Talk by Achim D. Brucker from SAP Research.
November 15, 2009 - Best MEMICS'09 Paper Award given to Claus Thrane, Uli Fahrenberg and Kim G. Larsen.
November 12-13, 2009 - DTUM Meeting 2009.
November 3, 2009 - Roblon Prize awarded to three elite-students from AAU.
October 27-30, 2009 - visit to AAU by Vaclav Kaczmarczyk, Brno University of Technology, Czech Republic.
October 23, 2009 - Talk by Michael Smith from DTU
October 9, 2009 - Talk by Michael Smith from DTU (content).
October 5, 2009 - Talk by Florian Kammüller from TU-Berlin.
October 2, 2009 - Talk by Michael Smith from DTU (content).
September 25, 2009 - Lecture by Chris Hankin from Imperial College London.
September 23, 2009 - Talk by Sandie Balaguer, Ecole Centrale de Nantes, France
September 18, 2009 - Talk by Aske Brekling, Technical University, Denmark
September 18, 2009 - Lecture by Chris Hankin from Imperial College London.
September 15-16, 2009 - Two Day Meeting with the Advisory Board at DTU.
September 11, 2009 - Lecture by Chris Hankin from Imperial College London.
September 9th, 2009 - Talk by Guadalupe Ortiz, Centro universitario de Mérida (University of Extremadura), Spain
August 20th, 2009 - Talk by Oded Maler, VERIMAG Grenoble.
August 17th and 18th, 2009 - 4th MT-LAB workshop at DTU.
August 14th, 2009 - Talk by Oded Maler, VERIMAG Grenoble.
August 12th, 2009 - Talk by Andrew Kennedy from Microsoft Research Cambridge.
August 5th, 2009 - Talk by Lijun Zhang from Saarland University.
August 3rd-25th, 2009 - Visit by Oded Maler, VERIMAG Grenoble.
June 19th, 2009 - Talk by Sietske Greeuw from Amsterdam.
June 12th, 2009 - Talk by Ger Koole from VU Amsterdam.
May 29th, 2009 - Talk by Andrei Sabelfeld, Chalmers
May 28th-29th, 2009 - 3rd MT-LAB workshop (AAU)
May 18th, 2009 - Talk by Matthias Fruth from Oxford.
May 5th, 2009 - Talk by Michael Smith from Edinburgh.
May 1st, 2009 - Talk by Gerrit Muller, Buskerud, Norway
April 23rd, 2009 - Visit at DTU, MT-LAB by a Chinese Research Delegagtion
April 17th, 2009 - Talk by Gennady Samorodnitsky from Cornell.
April 2nd, 2009 - Talk by Luca Vigano from Verona.
March 19th-20th, 2009 - 2nd MT-LAB workshop at IT University
March 28th, 2009 - MLQA kick-off event at ETAPS in York
February 27th, 2009 - Talk by Jan Madsen from IMM
January 23rd, 2009 - Talk by Chris Hankin from Imperial College London.
January 16th, 2009 - Talk by Hichem Boudali from Twente.
January 8th and 9th, 2009 - 1st MT-LAB Workshop in Aalborg
November 19th and 20th, 2008 - Opening Event