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)

4:30pm - 5:00pm: Feedback and Open Discussion (Session chair: Andrew V. Jones)

5:00pm: Closing remarks