10.00-11.00 Security/Verification

• 10.00-10.30 Farah Al-Shareefi (Supervisors: Alexei Lisitsa, Clare Dixon)
  Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
  Feedback: Sven Schewe (chair), Boris Konev
  
  
• 10.30-11.00 Ge Chu (Supervisors: Alexei Lisitsa, Boris Konev)
  Automation of penetration testing
  Feedback: Sven Schewe (chair), Frans Coenen

11.00-11.15 Coffee

11.15-12.45 Robotics/Game Theory/Machine Learning

• 11.15-11.45 Joe Collenette (Supervisors: Katie Atkinson, Karl Tuyls)
  Simulating Emotion and Mood to Improve Decision Making in Social Dilemmas
  Feedback: Frans Oliehoek (chair), Michael Fisher
  
  
• 11.45-12.15 Richard Klima (Supervisors: Karl Tuyls, Rahul Savani)
  Space Debris Removal: A Game Theoretic Analysis
  Feedback: Frans Oliehoek (chair), Martin Gairing
  
  
• 12.15-12.45 Xenofon Evangelopoulos, (Yannis Goulermas, Giorgos Christodoulou, Jason Ralph)
  Combinatorial Methods for Object Sequencing
  Feeedback: Piotr Krysta (chair), Danushka Bollegala

12.45-13.45 Lunch (provided in the staff/PhD common room)

13.45-15.15 Machine Learning

• 13.45-14.15 Mohammed Alsuhaibani (Supervisors: Danushka Bollegala, Yannis Goulermas)
  Joint Word Representation Learning Using Structured and Unstructured Data
  Feedback: Frans Oliehoek (chair), Frans Coenen
  
  
• 14.15-14.45 Xia Cui (Supervisors: Danushka Bollegala, Frans Coenen)
  Feature Learning for Domain Adaptation in Natural Language Processing
  Feedback: Yannis Goulermas (chair), Daan Bloembergen
  
  
• 14.45-15.15 Huda Hakami, (Supervisors: Danushka Bollegala, Yannis Goulermas)
  A Compositional Semantic-based Approach for Representing Relations between Words
  Feedback: Frans Coenen (chair), Daan Bloembergen

15.15-15.30 Coffee

15.30-16.30 Verification

• 15.30-16.00 Mete Ozbaltan (Supervisors: Sven Schewe, Dominik Wojtczak)
  Energy Efficiency Control System Level Design Space Exploration
  Feedback: Frans Oliehoek (chair), Boris Konev
  
  
• 16.00-16.30 Paul Gainer (Supervisors: Clare Dixon, Ullrich Hustadt/Michael Fisher)
  Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking
  Feedback: Davide Grosse (chair), Sven Schewe

9.30-11.00 AI/Algorithms/Game Theory

• 9.30-10.00 Yousef Alfaifi (Supervisors: Floriana Grasso, Valentina Tamma)
  Towards an Ontology to Overcome Barriers to Physical Activity for Type 2 Diabetes
  Feedback: Frans Oliehoek (chair), Sebastian Coope
  
  
• 10.00-10.30 Ioannis Lamprou, (Supervisors: Russell Martin, Sven Schewe)
  Mobility problems in Distributed Search
  Feedback: Darek Kowalski (chair), Igor Potapov
  
  
• 10.30-11.00 Themistoklis Melissourgos, (Paul Spirakis, Giorgos Christodoulou)
  Games in Evolution
  Feedback: Martin Gairing (chair), Piotr Krysta
  
  

11.00-11.15 Coffee and Close