lecture

Inaugural Lecture | PT-FLAD Chair in Smart Cities & Smart Governance

Date: 
Wednesday, February 1, 2017, 2:30pm

MAP-I LECTURE - REQUIREMENTS & DOMAIN ENGINEERING

Date: 
Thursday, May 28, 2015, 10:00am - 5:30pm

Title: Requirements & Domain Engineering

Speaker: Professor Dines Bjorner, an emeritus professor at the Technical University of Denmark

The course is primarily aimed at all students of MAP- i, and also students of Formal Methods of MEI - Master in Computer Engineering. However, all HASLab community is welcome. 

The objectives of the PhD Course are:

MAP-i LECTURE - Requirements & Domain Engineering

Date: 
Monday, May 25, 2015, 10:00am - Tuesday, May 26, 2015, 5:30pm


Title: Requirements & Domain Engineering

Speaker: Professor Dines Bjorner, an emeritus professor at the Technical University of Denmark

The course is primarily aimed at all students of MAP- i, and also students of Formal Methods of MEI - Master in Computer Engineering. However, all HASLab community is welcome. 

The objectives of the PhD Course are:

Lecture "Formal modelling, safety analysis and medical devices”

Date: 
Wednesday, February 18, 2015, 1:45pm - 2:30pm

Title: Formal modelling,  analysis and medical devices

Speaker: Michael Harrison (Newcastle University & Queen Mary University of London)