Programme

Thursday, September 26th, 2013

8:30am - 9:00am: Registration

9:00am - 9:30am: Welcome and opening talk by Head of Dept

9:30am - 10:00am: Welcome from committee + Gone in 60 Seconds (Session chair: Marily Nika)

10:00am - 10:15am: Coffee break

10:15am - 11:15am: Logics and Formal Methods (Session chair: Claudia Schulz)

• Ionut Tutu: Logical Foundations of Services
• Quoc-Sang Phan: Self-composition by Symbolic Execution
• Bas van Gijzel: Tools for the implementation of argumentation models Demo

11:15am - 11:30am: Coffee break

11:30am - 12:30am: Video and Imaging (Session chair: Zhongliu Xie)

• Xin Lu and Graham Martin: Improved Rate Control Algorithm for Scalable Video Coding
• Theofanis Apostolopoulos: A swarm based heuristic for sparse image recovery
• Xin Lu and Graham Martin: Fast Implementation of the Scalable Video Coding Extension of the H.264/AVC Standard

12:30pm - 1:30pm: Lunch break

1:30pm - 2:30pm: Keynote (Session chair: Calin-Rares Turliuc)

• Tony Hoare: Laws of programming with concurrency

2:30pm - 5:00pm: Free time

5:00pm - 10:00pm: Social evening and Banquet

• Departing 5:45pm at Westminister Pier (Meet at 5:30pm)
• Returning 9:45pm at Westminister Pier

Friday, September 27th, 2013

9:00am - 9:30am: Registration

9:30am - 10:30pm: Evaluation Frameworks (Session chair: Feryal Mehraban Pour Behbani)

• Lei Shi: Evaluation of Social Personalized Adaptive E-Learning Environment: From End User Point of View
• Maria Kechagia, Dimitris Mitropoulos and Diomidis Spinellis: Improving the quality of APIs through the analysis of software crash reports
• Tim Wood: Refactoring Boundary

10:30am - 11:00am: Coffee break

11:00am - 12:00pm: High Performance and Cloud Computing (Session chair: Chris Guenther)

• Huanzhou Zhu and Ligang He: Optimal Co-Scheduling Parallel Jobs in Multicore Computers
• Raul Castro Fernandez, Peter Pietzuch, Matteo Migliavacca and Evangelia Kalyvianaki: Scalable and Fault-tolerant Stateful Stream Processing
• Ali Mustafa Zaidi and David Greaves: Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing

12:00pm - 1:30pm: Lunch break

1:30pm - 2:30pm: Languages, Modelling and Machine Learning (Session chair: Calin-Rares Turliuc)

• Sardar Jaf and Allan Ramsay: Towards the Development of a Hybrid Parser for Natural Languages
• Fan-Lin Meng and Xiao-Jun Zeng: An Optimal Real-time Pricing Algorithm for the Smart Grid: A Bi-level Programming Approach
• Valentina Fedorova, Alex Gammerman, Ilia Nouretdinov and Vladimir Vovk: Conformal Prediction under Hypergraphical Models

2:30pm - 3:00pm: Coffee break

3:00pm - 4:30pm: Machine Learning and Knowledge Representation (Session chair: Daniel Bernhardt, Facebook)

• Hu Xu, Karen Petrie and Iain Murray: Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems
• Manoel França, Artur Garcez and Gerson Zaverucha: Relational Knowledge Extraction using Attribute-Value Learners
• Stefan Ellmauthaler: Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications
• Leo de Penning, Artur D'Avila Garcez and John-Jules Meyer: Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents Demo

4:30pm - 5:00pm: Coffee break

5:00pm - 6:00pm: Keynote (Session chair: Calin-Rares Turliuc)

• Peter Norvig: Building Better Online Courses

6:00pm - 6:30pm: Prize giving and Closing (Session chair: Nicholas Ng)