Jump to Navigation
Site map
Accessibility Tools
Electronics and Computer Science (ECS), University of Southampton
Electronics and Computer Science (ECS)
Submit
This site
University
ECS Home
News, seminars and events
Latest News
Upcoming Seminars
News Archive
ECS in the News
University Home
You are here
Home
›
News, seminars and events
›
Research Seminars: May 2013
Research Seminars: May 2013
2013
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2012
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2011
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Seminars RSS
Wednesday 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
TBA
ESS Seminar Series (internal)
Time: 13:00-14:00
Location:
B53
/4025
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
close
User login
Log in using OpenID
What is OpenID?
Username
*
Password
*
Log in using OpenID
Cancel OpenID login
Request new password