Events

Upcoming events

 

Date

Room

Description

(The schedule for the academic year 2016/17 is coming soon)

Past events

 

Date

Room

Description

26/05/2016, 14:00-15:00 C110 MASE group meeting
21/04/2016, 14:00-15:00 C110 MASE group meeting
24/03/2015, 14:00-15:00 S110 External speaker: Rashina Hoda
25/02/2015, 14:00-15:00 C127 Matteo Ragni: Intelligent manufacturing
28/01/2016, 14:00-15:00 V101 Talk by Prof. Juan Augusto: “Revisiting Software Engineering Pioneering Work”
10/12/2015, 14:00-15:00 V102 Talk by Ioana Boureanu: Automatic Verification of Security Protocols with Multi-agent Systems: How Many Alices and Bobs?
22/10/2015, 14:00-15:00 C110 MASE group meeting
26/11/2015, 14:00-15:00 Barn 1 MASE group meeting
24/09/2015, 14:00-15:00 VG02 MASE post-summer catch-up and introduction to new members of staff
30/06/2015, 14:00-15:00 V102 MASE group meeting
09/06/2015, 14:00-15:00 V102 Gianluca Barbon: Introducing network support in the ASIP protocol
12/05/2015, 14:00-15:00 V102 Andrei Popescu: CoCon, a verified software for conference management
14/04/2015, 14:00-15:00 V102 MASE group meeting
10/03/2015, 14:00-15:00 V102 MASE group meeting
10/02/2015, 14:00-15:00 V102 MASE group meeting: writing EPSRC proposals
13/01/2015, 14:00-15:00 VG01 MASE group meeting
02/12/2014, 14:00-15:00 VG01 MASE group meeting
02/12/2014, 15:00-16:00 WG50 Talk by Nazareno Aguirre: Tight Bounds and Applications in Bounded Verification
11/11/2014, 14:00-15:00 V101 MASE group meeting
15/10/2014, 10:00-12:00 T110a Steering committee meeting and ROS internal tutorial
15/10/2014, 16:00-16:00 Town Hall CR 3 Talk by Laurie Tratt: Programming language integration and migration
03/10/2014, 14:00-16:00 VG01 Talk by Dalal Alrajeh (Imperial College): Automated Error-Detection and Repair for Compositional Software Specifications