Electronics and Computer Science (ECS), University of Southampton
Electronics and Computer Science (ECS)
Research Seminars: May 2013
Research Seminars: May 2013
Seminars RSSWednesday 1 May 2013
Dr. Michael R. Poppleton
Formal Modelling and Verification of Population Protocols
ESS Seminar Series (internal)
Time: 13:00-14:00
Location: B53/4025
Wednesday 8 May 2013
Shekhar Mahmoud and Song Xiao
Transfer viva presentations
EPE Seminar Series
Time: 14:00-15:00
Location: B16/2025
Wednesday 15 May 2013
Jean-Charles Chaudemar (Universite de Toulouse)
How to design safety-critical system in model-based approach: examples of UAV and robots design in ISAE/DMIA
ESS Seminar Series (internal)
Time: 13:00-14:00
Location: B53/4025
Wednesday 22 May 2013
Gennaro Parlato
A Toolchain for Security Analysis of Role Based Access Control Policies
ESS Seminar Series (internal)
Time: 13:00-14:00
Location: B53/4025
Thursday 23 May 2013
Ziyi Huang and Linh Hoang Truong
EIC/Insucon conference practise session 1
EPE Seminar Series
Time: 14:00-15:00
Location: B16/2025
Wednesday 29 May 2013
Pedro Amaro and Rui Huang
EIC/Insucon conference practise session 2
EPE Seminar Series
Time: 14:00-15:00
Location: B16/2025