Electronics and Computer Science (ECS), University of Southampton

Electronics and Computer Science (ECS)

Seminars

Seminars

Research Seminars: June 2010

Wednesday 2 June 2010

Guillermo Vega-Gorgojo
Semantic search of tools for collaborative learning with the Ontoolsearch system
LSL Seminar Series

Time: 11:00-12:00

Location: B32/3077

[hidden]
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
DSSE Seminar Series

Time: 13:00-14:00

Location: B53/4025

Friday 4 June 2010

Prof Geerd-Rüdiger Hoffmann (Deutscher Wetterdien
Ensemble Prediction System for Meteorology
DSSE Seminar Series

Time: 10:30-11:30

Location: B53/4025

Monday 7 June 2010

Norman Sanders
Where shall we go from here - if anywhere?
IAM Seminar Series

Time: 13:00-14:00

Location: B67/1027

Wednesday 9 June 2010

Monday 14 June 2010

Zepler Day 2010
School events

Time: 09:00-15:00

Location: B59

Tuesday 15 June 2010

Régine Laleau (Université Paris-Est Créteil)
A goal-based approach to guide the design of Event-B specifications
DSSE Seminar Series

Time: 16:00-17:00

Location: B53/4025

Wednesday 16 June 2010

Dr Andrew M Gravell (aka Andy Gravell)
Title: On the Benefits of Binary Assessment
LSL Seminar Series

Time: 11:00-12:00

Location: B58/1009

Prof. Keith Glover
Reflections on Control
VLC Seminar Series

Time: 14:00-16:00

Location: B6/1083

Thursday 17 June 2010

Alon Altman
Computational Billiards: Success, Strategy, and Skill
IAM Seminar Series

Time: 13:00-14:00

Location: B32/1015

Wednesday 23 June 2010

-
LSL Seminar Series

Time: 11:00-12:00

Location: B58/1009

Friday 25 June 2010

Prof. Kevin W. Bowyer
Iris Biometrics Research at the University of Notre Dame.
VLC Seminar Series

Time: 12:00-14:00

Location: B6/1083

Monday 28 June 2010

Dr. Koen Van Dam and Dr James Keirstead
Modelling energy systems with ontologies
IAM Seminar Series

Time: 14:00-15:00

Location: B32/3077

Wednesday 30 June 2010

Professor Mary Orr
The Cuvier Salon (1810-30): a vital inter-space and model for 21st-century “i-zones”’
IAM Seminar Series

Time: 14:00-15:00

Location: B2/2065