Upcoming events
|
Date |
Room |
Description |
| 09/07/2019, 14:00-15:00 | C138 | Talk by Giovanni Quattrone: The Social Side of Airbnb: Large-scale Linguistic Analysis of Hosts and Guests Reviews |
| 03/07/2019, 13:00-14:00 | C106 | Talk by Franco Raimondi (Amazon): Automated Reasoning at Prime Video |
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 |