Programme
Thursday, September 28th, 2011
9:00am - 9:30am: Registration
9:30am - 10:00am: Welcome and Susan Eisenbach's opening talk
10:00am - 11:00am: Keynote
- Robert Kowalski: Artificial Intelligence and Human Thinking
11:00am - 11:30: Coffee break
11:30am - 12:00am: Two-minute madness
11:30am - 12:00: Coffee break
12:00 - 1:00pm: Session 1
Mark Snaith and Chris Reed: Measuring minimal change in argument premise revision
Evgenios Hadjisoteriou and Antonis Kakas: Argumentation and Temporal Persistence
Alan Perotti: Conditional Labelling for Abstract Argumentation
13:00-14:00: Lunch break
14:00 - 15:20pm: Session 2
Luke Riley: A Persuasive Dialogue Game for Coalition Formation
Leo De Penning, Artur Garcez, Luis Lamb and John-Jules Meyer: Neural-Symbolic Cognitive Agents: Architecture and Theory
Alex Muscar: Agent Oriented Programming: from Revolution to Evolution
Marcel C. Guenther and Jeremy T. Bradley: MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool
15:20 - 15:50: Break
15:50 - 16:50pm: Session 3
Bihan Jiang, Michel Valstar and Maja Pantic: Facial Action Recognition using sparse appearance descriptors and their pyramid representation
Iryna Tsimashenka and William Knottenbelt: Reduction of variability in split-merge systems
Björn Lellmann: A note on a dichotomy for the classes W[P](C)
16:50 - 17:00: Close of day one
Friday, September 29th, 2011
9:00 - 10:00: Keynote
- Ollie Cook, Google: Building and Operating Products at Google-scale
10:00 - 10:15: Break
10:15 - 11:15: Software Engineering panel
11:15 - 11:30: Break
10:15 - 11:15: Machine Learning panel
Stephen Muggleton: Introduction to Machine Learning
13:00 - 14:00: Lunch
14:00 - 15:00: Session 4
Reuben Rowe: Safe, Flexible Recursive Types for Featherweight Java
Marco Diciolla: Time-Bounded Verification of CTMCs against MTL specifications
Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas and Panayiotis Frangos: Applying Algebraic Specifications on Digital Right Management Systems
15:00 - 15:30: Break
15:30 - 16:30: Session 5
Philip Weber, Behzad Bordbar and Peter Tino: Real-Time Detection of Process Change using Process Mining
Ekaterina Abramova, Aldo Faisal and Daniel Kuhn: Combining Markov Decision Processes with Linear Optimal Controllers
Pedro Rodrigues and Emil Lupu: Model-based Self-Adaptive Components: A preliminary approach
16:30 - 16:45: Close and thanks
The 2011 Imperial College Computing Student Workshop agenda is also available as an iCal calendar.