Electronics and Computer Science (ECS), University of Southampton
Electronics and Computer Science (ECS)
Seminars
Research Seminars: June 2010
Seminars RSSWednesday 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
Lester Gilbert
Neither educational nor computational approaches to learning design have succeeded in enhancing teaching practice: a discussion
LSL Seminar Series
Time: 11:00-12:00
Location: B58/1009
Monday 14 June 2010
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
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
[hidden]
On Proving with Event-B that a Pipelined Microprocessor Instruction implements its Instruction Set Architecture Specification
DSSE Seminar Series
Time: 13:00-14:00
Location: B53/4025
Friday 25 June 2010
Prof. Kevin W. Bowyer
Iris Biometrics Research at the University of Notre Dame.
ISIS 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