Conference Schedule
Friday, 13th June, 2014, Lecture Theatre B| When | Events | ||
|---|---|---|---|
| 09.45–10.00 | Coffee - Atrium | ||
| 10.00–10.05 | Opening Remarks | ||
| 10.05–10.40 | Keynote Speech by Professor Ursula Martin. | ||
| 10.40–12:00 | Session 1 - Chair: Will Smith | ||
| Name | Title | ||
| 10.40–11:00 | James Mountain | The lognormal lung: Quantifying Inhomogeneity of Ventilation | |
| 11:00–11.20 | Sara Dutta | Efficacy of Anti-arrhythmic Drugs during Ischaemia: A Computational Modelling Whole Heart Study | |
| 11:20–11:40 | Varduhi Yeghiazaryan | Experiments on the Use of Fast Marching for Feature Identification | |
| 11:40–12:00 | Conrad Cotton-Barrett | Weak and Nested Class Memory Automata | |
| 12.00–12:40 | Lunch - Atrium | ||
| 12.40–14.00 | Session 2 - Chair: Anthony Potter | ||
| 12:40–13:00 | Martin Strohmeier | OpenSky - Using A Large-Scale Sensor Network for Air Traffic Research | |
| 13:00–13:20 | Elizabeth Phillips | Identity Security in CyberSpace - A Data-reachability Model | |
| 13.20–13.40 | Katriel Cohn-Gordon | Deniabililty in Security Protocols | |
| 13.40–14:00 | Lihao Liang | Effective Verification of Low-Level Software with Nested Interupts | |
| 14:00–14:40 | Poster Session & Tea - Atrium | ||
| 14:40–16:00 | Session 3 - Chair: Krzysztof Bar | ||
| 14:40–15:00 | Oana Tifrea-Marciuska | Search as a Group: Query Answering for the Semantic Web under Group Preferences | |
| 15:00–15:20 | Stefano Ortona | Web Object Matching - An Analysis of Duplicates from Web Extracted Records | |
| 15:20–15:40 | Abhishek Dasgupta | Generic Inference and Machine Learning | |
| 15.40–16:00 | Miriam Backens | Completeness Results for the ZX-calculus for Quantum Computation | |
| 16.00 | Drinks reception and prize-giving in the Atrium | ||
| 19.30 | Conference dinner at
Somerville College
- 19.30 for 20.00. Sign up is now closed— Please contact Julie.Sheppard@cs.ox.ac.uk if you have any questions regarding the dinner.
| ||