Programme
Registration and Coffee/lunch breaks will be held on the concourse on level 3 in the Huxley building (Department of Computing).
The workshop sessions and keynotes will take place in Lecture Theatre 2 in the Blackett building (Department of Physics). Please note that the Huxley and Blackett buildings are connected so it is easiest to get into the Blackett building starting from Huxley building. Signs will be posted to make the route clear.
More details about the WIFI setup, Social Event arrangement, and proceeding schedule can be found in in the Welcome talk’s Slides.
Thursday, September 25th, 2014
9:00am - 9:30am: Registration
9:45am - 11:00am: Welcome talk + Gone in 60 Seconds (Session chair: Claudia Schulz) (Slides)
11:00am - 11:30am: Coffee break
11:30am - 1:00pm: Session 1 (Session chair: Bertan Kavuncu)
- Romain Franceschini, Paul-Antoine Bisgambiglia, Luc Touraille, Paul Bisgambiglia and David Hill: A survey of modelling and simulation software frameworks using Discrete Event System Specification (Survey track)
- Jörg Pührer: Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation (Traditional track)
- Quoc-Sang Phan: Symbolic Execution as DPLL Modulo Theories (Traditional track)
1:00pm - 2:00pm: Lunch break
2:00pm - 3:00pm: Keynote (Session Chair: Feryal Mehraban Pour Behbahani)
- Shane Legg: From Academia to Industry: The story of Google DeepMind
3:00pm - 3:30pm: Coffee break
3:30pm - 4:30pm: Session 2 (Session chair: Nicholas Ng)
- Juliana Franco, Sophia Drossopoulou and Nobuko Yoshida: STS: communication costs with Sessions Types & Sizes (Traditional track)
- Christof Spanring: Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games (Survey track)
5:00pm - 7:00pm: The View from the Shard (Entry window for the building is 5:30 - 6:00) - Note: Ticket Needed.
7:30pm - 10:00pm: Anglesea Arms pub in South Kensington - Note: Ticket Needed.
Friday, September 26th, 2014
9:00am - 9:30am: Registration
9:30am - 10:30pm: Session 3 (Session chair: Calin-Rares Turliuc)
- Andrew Cropper: Identifying and inferring objects from textual descriptions of scenes from books (Traditional track)
- Lei Shi: Defining and Evaluating Learner Experience for Social Adaptive E-Learning (Traditional track)
10:30am - 11:00am: Coffee break
11:00am - 12:30pm: Session 4 (Session chair: Dr. Thomas Grocutt from ARM)
- Ethel Bardsley: Everything you know is lies: The amazing time traveling CPU, and other horrors of concurrency (Survey track)
- Evgenij Belikov: History-Based Adaptive Work Distribution (Traditional track)
- Pantazis Deligiannis and Alastair Donaldson: Automatic Verification of Data Race Freedom in Linux Device Drivers (Traditional track)
12:30pm - 1:30pm: Lunch break
1:30pm - 2:30pm: Session 5 (Session chair: Nicholas Ng)
- Jakub Daniel and Pavel Parízek: Predicate Abstraction in Program Verification: Survey and Current Trends (Survey track)
- Maciej Skorski: On Recent Advances in Key Derivation by the Leftover Hash Lemma (Traditional track)
2:30pm - 3:00pm: Coffee break
3:00pm - 4:00pm: Keynote (Seesion Chair: Rumyana Neykova)
- Philip Wadler: You and Your Research and the Elements of Style (video)
4:00pm - 4:30pm: Prize giving and Closing (Session chair: Claudia Schulz)