Conference Schedule
Friday, 16th November 2012, Lecture Theatre A| When | Events | ||
|---|---|---|---|
| 10.45–11.00 | Coffee - Atrium | ||
| 11.00–11.30 | Introduction and Keynote Speech by Professor James Worrell. | ||
| 11:30–12:50 | Session 1 - Verification - Chair: Ventsislav Chonev | ||
| Name | Title | ||
| 11:30–11:50 | Ratislav Lenhardt | LTL Model Checking on Interval Markov Chains | |
| 11:50–12:10 | Aistis Simaitis | Playing Stochastic Games Precisely | |
| 12:10–12:30 | Martin Lester | Information Flow Analysis for JavaScript | |
| 12:30–12:50 | Andrew Bate | A Debugger for Communicating Scala Objects | |
| 13.00–13:30 | Lunch - Atrium | ||
| 13.30–14.50 | Session 2 - Security - Chair: Tom Gibson-Robinson | ||
| 13:30–13:50 | Julie Makelberge | Exploring Multitask Learning for Steganalysis | |
| 13:50–14:10 | Andrew Paverd | Hardware Security for Device Authentication in the Smart Grid | |
| 14:10–14:30 | Martin Strohmeier | Neighbourhood Watch - Network Coding Efficiency Depends on Good Neighbours | |
| 14:30–14:50 | Xin Huang | Multi-Channel Key Distribution Protocols Using Visible Light Communications in Body Sensor Networks | |
| 14:50–15:10 | Tea break - Atrium | ||
| 15:10–16:30 | Session 3 - Computational Biology - Chair: Sara Dutta | ||
| 15:10–15:30 | Oliver Britton | Experimentally-calibrated population of models predicts and explains inter-subject variablity in cardiac cellular electrophysiology | |
| 15:30–15:50 | Lloyd Chapman | Mathematical Models of Tissue Engineering: The influence of cell seeding strategy and culture conditions on the growth of cell aggregates on a permeable membrane | |
| 15:50–16:10 | Daniel Harvey | A distributed algorithm for simulating an off-lattice model of a population of cells | |
| 16:10–16:30 | Anna Jones | Spatial Stochastic Modelling of Gene Regulatory Mechanisms | |
| 16:30–16:40 | Tea break - Atrium | ||
| 16:40–17.40 | Session 4 - Info Systems/Quantum - Chairs: Ernesto Jimenez-Ruiz & Miriam Backens | ||
| 16:40–17:00 | Despoina Magka | Extending Logic Programming for Life Sciences Applications | |
| 17.00–17:20 | Alex Wilson | A Hierarchical Word Alignment Model based on Pitman-Yor Processes | |
| 17.20–17:40 | David Quick | Orderly Algorithm for Fast Enumeration of String Graphs | |
| 17.45:18.30 | Drinks reception, poster session and prize-giving in the Atrium | ||
| 19.30 | A conference dinner
with wine will take place at
Rewley House*
at 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.
| ||