Institut for Datalogi: News Archive

2011
October 2011: 1 item
September 2011: 1 item
August 2011: 2 item(s)
July 2011: 2 item(s)
June 2011: 2 item(s)
May 2011: 1 item
February 2011: 2 item(s)
January 2011: 1 item
2010
December 2010: 1 item
November 2010: 1 item
July 2010: 2 item(s)
June 2010: 2 item(s)
May 2010: 2 item(s)
April 2010: 1 item
March 2010: 2 item(s)
February 2010: 1 item
January 2010: 1 item
2009
December 2009: 1 item
November 2009: 4 item(s)
October 2009: 2 item(s)
September 2009: 1 item
August 2009: 1 item
July 2009: 1 item
May 2009: 3 item(s)
April 2009: 1 item
February 2009: 1 item
2008
December 2008: 1 item
October 2008: 2 item(s)
September 2008: 2 item(s)
August 2008: 3 item(s)
July 2008: 1 item
June 2008: 4 item(s)
May 2008: 1 item

Tuesday, 25. May 2010

Ph.D. Lecture by Joseph C. Okika

In partial fulfillment of the terms for obtaining the Ph.D.-degree, Joseph C. Okika will give a lecture on the following subject: "Analysis and Verification of Service Contracts"on 10th of June at 13.30 in room 0.2.12...[more]

Wednesday, 19. May 2010

Computer scientists make it easier to apply for building permits

Computer scientists at Aalborg University and the company Dafolo have partnered on the development of a new solution that makes it simpler to apply for a building permit. See entire story.[more]