Programme
Thursday, September 27th, 2012
8:30am - 9:00am: Registration
9:00am - 9:30am: Welcome and Susan Eisenbach's opening talk
9:30am - 10:30am: Keynote (Session chair: Roman Kolcun)
- Greg Page, Cisco: Cloud Centric Networking
10:30am - 11:00am: Coffee break
11:00am - 11:30am: Gone in 60 Seconds (Session chair: Marily Nika)
11:30am - 12:00: Coffee break
12:00 - 1:00pm: Reasoning About Systems (Session chair: Andrew V. Jones)
- Artur Meski, Wojciech Penczek and Maciej Szreter: Bounded Model Checking for Linear Time Temporal-Epistemic Logic
- William Denman: Abstracting Continuous Nonpolynomial Dynamical Systems
- Andrada Voinitchi, Elizabeth Black and Michael Luck: Introduction to Team Disruption Mechanisms
1:00pm - 2:00pm: Lunch break
2:00pm - 3:00pm: Performance Analysis (Session chair: Chris Guenther)
- Davide Morelli and Antonio Cisternino: A compositional model to characterize software and hardware from their resource usage
- Wilson Tan and Stephen A. Jarvis: Blurring the Computation-Communication Divide: Extraneous Memory Accesses and their Effects on MPI Intranode Communications
- Gareth L. Jones and Peter G. Harrison: Collecting battery data with Open Battery
3:00pm - 3:30pm: Coffee break
3:30pm - 4:30pm: Words, Sequences and Learning (Session chair: Calin-Rares Turliuc)
- Alexandru Lucian Gînscă: Fine-Grained Opinion Mining as a Relation Classification Problem
- Tib Chis and Peter G. Harrison: Incremental HMM with an improved Baum-Welch Algorithm
- Hu Xu and Karen Petrie: Self-Learning Genetic Algorithm For Constrains Satisfaction Problems
4:30pm - 5:00pm: Coffee break
5:00pm - 6:00pm: Meta-Software Engineering (Session chair: Roman Kolcun)
- Marcelo Serrano Zanetti, Emre Sarigöl, Ingo Scholtes, Claudio Juan Tessone and Frank Schweitzer: A Quantitative Study of Social Organisation in Open Source Software Communities
- Jan-Peter Ostberg and Stefan Wagner: Get started imminently: Using tutorials to accelerate learning in automated static analysis
- Lei Shi, Dana Qudah and Alexandra Cristea: Apply the We!Design Methodology in the E-learning 2.0 System Design: A Pilot Study
6:00pm - 7:00pm: Poster session
7:00pm - 9:00pm: Banquet
Friday, September 28th, 2012
8:30am - 9:00: Registration
9:00am - 10:00am: Keynote (Session chair: Andrew V. Jones)
- Gilad Bracha, Google: The Art of Programming Language Design: Confessions of a Connoiseur
10:00am - 10:30am: Coffee break
10:30am - 11:30am: Logic and Knowledge-based Systems (Session chair: Calin-Rares Turliuc)
- Lama Al Khuzayem and Peter McBrien: Knowledge Transformation using a Hypergraph Data Model
- Kalia Orphanou: Temporal Abstraction and Temporal Bayesian Networks in Medical Knowledge-Based Systems
- Duangtida Athakravi, Krysia Broda and Alessandra Russo: Predicate Invention in Inductive Logic Programming
11:30am - 12:00: Coffee break
12:00 - 1:00pm: Computational Systems (session chair: Nicholas Ng)
- Naveneetha Vasudevan and Laurence Tratt: Search-Based Ambiguity Detection in Context-Free Grammars
- Dionysios Efstathiou, Peter McBurney, Noel Plouzeau and Steffen Zschaler: Improving the Quality of Distributed Composite Service Applications
- Gabriele Cocco and Antonio Cisternino: Device specialization in heterogeneous multi-GPU environments
1:00pm - 2:00pm: Lunch break
2:00pm - 3:00pm: Imaging and Signals (Session chair: Feryal Mehraban Pour Behbani)
- Emanuela Boroș: Targeting a Practical Approach for Robot Vision with Ensembles of Visual Features
- Theofanis Apostolopoulos: A heuristic for sparse signal reconstruction
- Martin Jantsch, Daniel Rueckert and Jo Hajnal: 4D Cardiac Volume Reconstruction from Free-Breathing 2D Real-Time Image Acquisitions using Iterative Motion Correction
3:00pm - 3:30pm: Coffee break
3:30pm - 4:30pm: Multi-Agent Systems (Session chair: Xiuyi Fan)
- Christos Hadjinikolis, Sanjay Modgil, Elizabeth Black and Peter Mcburney: Mechanisms for opponent-modelling
- Laura Surcel: An Implementation Model of a Declarative Framework for Automated Negotiation
- Martyn Lloyd-Kelly and Luke Riley: Informing Coalition Structure Generation in Multi-Agent Systems Through Emotion Modelling and Trust Development
4:30pm - 5:00pm: Feedback and Open Discussion (Session chair: Andrew V. Jones)
5:00pm: Closing remarks