Seminars 2006-2014

Winter/Spring 2014

DatePerson ResponsibleEventPlaceOther
Jan 31Giuseppe Primiero Speaker: Bruce Christianson (University of Hertfordshire)
Title: Living with the Consequences of Intransitive Trust
V103 abstract
Feb 7Daming Shi Speaker: Alex Freitas (Kent University)
Title: Automating the Design of Data Mining Algorithms with an Evolutionary Algorithm
V103 abstract
Feb 14Roman Belavkin Speaker: Roman Belavkin
Title: Optimisation and Information Geometry for Randomised Algorithms
V103 abstract
Mar 12
Taolue Chen Speaker: Nicolas Basset (University of Oxford)
Title: A maximal entropy stochastic process for a timed automaton
V101 abstract
Mar 14Roman Belavkin Middlesex Algorithms Day (MAD! 2014) abstract
Mar 21Roman Belavkin Speaker: Jaap Boender
Title: Formal Verification of Quantum Protocols using the Proof Assistant Coq
V103 abstract
Apr 11Xiaochun Cheng Speaker: Kerstin Siakas (ATEI of Thessaloniki, Greece)
Title: Agile software development
V103 abstract
May 16Barnaby Martin Speaker: Daniel Kral (University of Warwick)
Title: Algorithms for FO model checking
V103 abstract
May 30Roman Belavkin Speaker: Vasily Demyanov (Institute of Petroleum Engineering)
Title: Uncertainty quantification for oil reservoir predictions: stochastic optimisation and machine learning
V103 abstract

Autumn 2013

DatePerson ResponsibleEventPlaceOther
Oct 18Roman Belavkin Speaker: Sander van Dijk (University of Hertfordshire)
Title: Informational constraints-driven organization in goal-directed behavior
V103 abstract
Oct 25Roman Belavkin Speaker: Chris Huyck
Title: NEAL: Neuromorphic Embodied Agents that Learn
V103 abstract
Nov 1Kelly Androutsopoulos Speaker: David Clark (University College London)
Title: An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
V103 abstract
Nov 8Franco Raimondi Speaker: Paolo Turrini
Title: Endogenous Boolean Games
V103 abstract
Nov 15Barnaby Martin Speaker: Oded Lachish (Birkbeck, University of London)
Title: Improved Competitive Ratio for the Matroid Secretary Problem
V103 abstract
Nov 22Roman Belavkin Speaker: Luca Calatroni (University of Cambridge)
Title: Total variation in imaging: theory, models, examples and challenges
V103 abstract
Nov 29Roman Belavkin Speaker: Fawad Jamshed and Andrew Thwaites, (Neurolex Group, Psychology Department, Cambridge University)
Title: Examining the processing properties of the Cerebral Cortex
V103 abstract
Dec 6Roman Belavkin V103
Dec 13Roman Belavkin V103

Winter / Spring 2013

DatePerson ResponsibleEventPlaceOther
Jan 11Barnaby Martin Speaker: Igor Razgon
Title: Fixed parameter algorithms for satisfiability testing
G230 abstract
Jan 25Roman Belavkin Speaker: Barnaby Martin
Title: A brief introduction to Parameterized Complexity
Feb 1Roman Belavkin Speaker: Franco Raimondi
Title: A new framework for multi-agent system verification
G230 abstract
Feb 8Roman Belavkin Speaker: Roman Belavkin
Title: On Optimality of Deterministic and Non-Deterministic Transformations
G230 abstract
Mar 4
Roman Belavkin Speaker: Tomasz Radzik
Title: New approximation bounds for some Maximum Network Lifetime problems in wireless ad-hoc networks
G230 abstract
Mar 8Roman Belavkin Speaker: Alberto Moraglio
Title: The Geometry of Evolutionary Algorithms
G230 abstract
Mar 15Roman Belavkin Speaker: S.Y.Novak
Title: Lower bounds to the accuracy of statistical inference on heavy-tailed distributions
G230 abstract
May 17Roman Belavkin Speaker: Jaap Boender
Title: Dependent types: the good, the bad and the ugly
G230 abstract
May 24Roman Belavkin Speaker: Pasquale Malacaria
Title: Security, Information Theory, Thermodynamic and Verification: a common thread
G230 abstract
May 31Roman Belavkin Speaker: Eun-Seok Kim
Title: Scheduling with step-improving process times
G230 abstract
June 7Daming Shi Speaker: Zhijun Yang
Title: Visual Signal Processing and Biological Pattern Generation
G230 abstract
June 14Daming Shi Speaker: Xin-She Yang
Title: Nature-Inspired Algorithms: Promise and Prejudice
G230 abstract
June 21Roman Belavkin Speaker: Roman Belavkin
Title: Which relational algebra corresponds to algebra of utility functions and their cones?
G230 abstract

Autumn 2012

DatePerson ResponsibleEventPlaceOther
Sep 17Barnaby Martin Speaker: Richard Stocker
Title:Verifying Brahms Human-Robot Teamwork Models
CG48 abstract
Oct 12Roman Belavkin Organisational meeting G230
Oct 19Rajagopal Nagarajan Speaker: Mystery Speaker
Title: Something quantum
Oct 26Roman Belavkin Speaker: Jaap Boender
Title: Formalisation of a theory of packages in Coq
G230 abstract
Nov 9Xiao Hong Gao Speaker: Yu Qian
Title: Bag of Visual Words for Medical Images
G230 abstract
Nov 16Christian Huyck Speaker: Christian Huyck
Title: Spiking Neurons with Boltzmann-like Properties to Learn Xor
G230 abstract
Nov 23Roman Belavkin Speaker: Kai Xu
Title:Connecting the Dots - Understanding Complex Relations with Networks and Visualisation
G230 abstract
Nov 30Roman Belavkin Speaker: Irene Kotsia
Title: Sensorless Human Behaviour Understanding using Computer Vision techniques
G230 abstract
Dec 7Roman Belavkin Speaker: Mehrnoosh Sadrzadeh
Title: Compact Closed Categories and Frobenius Algebras for Reasoning about Natural Language Meaning
G230 abstract
Dec 14Roman Belavkin Speaker: Roman Belavkin
Title: Mutation and Adaptation in Non-Monotonic Landscapes
G230 abstract
Dec 21Roman Belavkin Speaker: Artemis Parvizi
Title: Knowledge Authoring as Dialogue: The Challenges of the What-If Project
G230 abstract

Spring/Summer 2012

DatePerson ResponsibleEventPlaceOther
Feb 17Roman Belavkin Speaker: Roman Belavkin.
Title:Variational Problems of Information Theory and Optimal Markov Evolution
TG23b abstract
Mar 2Roman Belavkin Speaker: Artur d'Avila Garcez.
Title:Neural-Symbolic Systems for Cognitive Reasoning
TG23b abstract
Mar 30Franco Raimondi Speaker: Daniele Magazzeni
Title: Policy learning for hybrid systems under uncertainty
TG23b abstract
Apr 20Roman Belavkin Speaker: Panos M. Pardalos.
Title: Detecting Critical Subsets (nodes, edges, shortest paths, or cliques) in Large Networks
G220 abstract
Apr 27Roman Belavkin Speaker: William Langdon.
Title:In Silico Infection of the Human Genome
G229 abstract
July 6Roman Belavkin Speaker: Frantisek Simancik.
Title:ELK: A Reasoner for OWL EL Ontologies
TG23b abstract

Autumn/Winter 2011

DatePerson ResponsibleEventPlaceOther
Oct 7 Roman Belavkin Speaker: Roman Belavkin.
Title:Mutation and Optimal Search of Sequences in Nested Hamming Spaces
T110a abstract
Nov 11Roman Belavkin Speaker: Christoph Salge
Title: Digested Information: From Information-Theoretic Behaviour Generation towards Agent-Agent Interaction
TG23b abstract
Nov 18Roman Belavkin Speaker: Marc Hanheide
Title: Where are the cornflakes? Exploration and Exploitation of Probabilistic Knowledge under Uncertain Sensing
TG23b abstract
Nov 25Daming Shi Speaker: Payam Rahmdel
Title: Radon Boundary Analysis for Line Segment Detection
TG23b abstract
Dec 2Roman Belavkin Speaker: Florian Kammueller
Title: ASPfun: a Calculus for Distributed Active Objects
TG23b abstract
Dec 9Roman Belavkin Speaker: Dan Diaper
Title: A Formal Systems Approach to Machine Capture, Representation and Use of Activity Context for Machine Capture and Use
TG23b abstract
paper 1
paper 2
Dec 16Roman Belavkin Guest speaker: Ekaterina Komendantskaya
Title: Machine learning automated proofs
TG23b abstract

Winter 2011

DatePerson ResponsibleEventPlaceOther
Jan 14Kailash Nadh Discussion of Dan Dennett on Consciousness T103 (Town Hall) Dennett's lecture
Jan 28Catherine Flick Natural Language Processing and Ethics T103 (Town Hall) An ethical Internet monitoring device ....
Feb 11Payam Rahmdel Image Processing T103 (Town Hall) Combining Local Filtering and Multiscale Analysis for Edge, Ridge, and Curvilinear Objects Detection by Berlemont and Olivio-Marin.
Mar 4Franco Raimondi Verification of Java Code T110 (Town Hall)
Mar 18Dick Comley Autonomous Intelligent Suveillance Networks T110 (Town Hall) Autonomous Intelligent Suveillance Networks
Apr 8Ian Mitchell Bayesian Nets T110 (Town Hall)
Apr 22Good Friday T103 (Town Hall)
May 6Emma Byrne HG07
May 20Paul Cairns How do YouTube viewers view? HG07 Over several studies, I have taken a multi-methodological approach to understanding the data that is made freely available through YouTube. However, the quantitative approach raises more problems than it answers. View count data does not follow a Zipf's distribution (power law) as might be expected. Other models of the distribution can be found and different processes can generate the distribution. But the question then becomes how are viewers viewing videos and which processes are the right ones? This talk will set out this problem and perhaps towards the end of the talk you could give me some advice on how to solve this problem. Blythe & Cairns (2010):
May 27Rui Loureiro Haptic Robots HG07
June 17Rick Cooper Title: Empirical and Computational Studies of Cognitive Control Processes HG07 Abstract: "Executive functions", or cognitive control processes, have been the focus of much research over the last twenty years, but most of this work has been concerned with specific functions and their operation in specific tasks. In this talk I will present empirical and computational work that seeks to determine how essentially the same function (response inhibition) can operate in different tasks (Stroop and Go-No Go) and how that function might interact with other executive functions (set shifting and memory monitoring/updating) in a moderately complex tasks that have been held to require multiple such functions (the Wisconsin Card Sorting Task and Random Number Generation).
July 1Aregbesola Akinola Title: Predictive Modelling of Scholastic Performance in E-Learning HG07 Abstract Universities and commercial training organisations are increasingly turning to e-learning as a means of delivering high quality student learning and performance, under well-controlled and enriched learning environments. The appeal of e-learning is the achievement of high quality learning outcomes. Though the underlying psychology of the users will, of course, remain the same at a fundamental level, students may be taught how to use their cognitive resources better and to develop more effective decision heuristics. However, student performance in e-learning, typically displays substantial diversity, ranging from high performers to those who cannot or will not perform or who do not understand the requirements of high performance. It is not always clear why some learners perform so well, whilst others perform so badly in e-learning. Why is this so? This question is the starting point of the present work. This question is broken down into two further questions. First, how best can we explore the psychology of good and bad performers, exploring individual differences and differences in cognitive style? Second, how best can we explore the technology of good and bad e-learning performance, identifying the system innovations that support and facilitate excellence in human learning? In this talk, I will address the first question by presenting an experimental study that uses the Stroop effect to explore individual differences and differences in cognitive style. This aims to show how the Stroop Paradigm reflects significant aspects of selective attention, memory and executive functions as processes of human cognition and thus to suggest how best to measure cognitive correlates of e-learning performance levels.

Summer and Autumn 2010

DatePerson ResponsibleEventPlaceOther
Jun 11Chris HuyckGuest speaker: Viviane P. Moreira. Title:
Cross-Language Information Retrieval and Cross-Language Plagiarism Analysis
HG07 (Hatchcroft)abstract
Sept 10Chris Huyck Yearly Organising Meeting HG07 (Hatchcroft)
Sept 24Roman Belavkin Discussion of
Peck, J. R. & Waxman, D. (2010). Is life impossible? Information, sex, and the origin of complex organisms Evolution.
HG07 (Hatchcroft) E-mail Chris or Roman for PDF
Oct 8John Platts Integrating Cyc and Wikipedia: Folksonomy Meets Rigorously Defined Common-Sense by Medelyan and Legg HG07 (Hatchcroft) E-mail Chris or Roman for PDF
Oct 15Kailash Nadh Towards the Semantic Web: Collaborative Tag Suggestions by Xu, Fu, Mao, and Su T103 (Town Hall) E-mail Chris for PDF
Oct 22Daming Shi Shi, D., Zheng, L. and Liu, J. (2010). An advanced Hough transform using a multilayer fractional Fourier method, IEEE Transactions on Image Processing, 19(6):1558-1566 T103 (Town Hall) E-mail Chris for PDF
Nov 5Artemis Parvisi Ontologies T103 (Town Hall) Talk Abstract on A Mathematical Approach to Ontology Evolution
Nov 12Franco Raimondi Hongyang Qu (Oxford U.) T103 (Town Hall) ATL Verification for multi-agent systems
Nov 19Roman Belavkin Fischer and Adaptation T103 (Town Hall)
Dec 3Chris Huyck Biological Parameters of FLIF neurons T103 (Town Hall) See the paper Parameters of FLIF neurons or the talk Biological Parameters of FLIF neurons.
Dec 17Ammar Zayouna Active Shape Models and Principal Component Analysis T103 (Town Hall) A method for speeding up feature extraction based on KPCA

Winter/Spring 2010

DatePerson ResponsibleEventPlaceOther
Feb 12Chris HuyckDiscussion of
Harris, K. (2005). Neural signatures of cell assembly organization, Nature Reviews Neuroscience, 6, 399--407.
TG26 (Town Hall)pdf
Mar 5Roman BelavkinGuest speaker: Daniel Polani. Title:
Be Empowered: Guiding Adaptation through Potential Information Flows
TG26 (Town Hall)abstract
Mar 19Roman BelavkinGuest speaker: Emma Byrne Ecology-based modelling: a novel approach to understanding perceptionTG26 (Town Hall)abstract
Apr 30Roman BelavkinGuest speaker: Dan Diaper A Review of Cell AssembliesTG26 (Town Hall)abstract
May 7Roman BelavkinGuest speaker: Chris Knight. Title:
In vitro / in silico evolution: from biology to an explicit sequence-fitness landscape
TG26 (Town Hall)abstract
May 14Roman BelavkinGuest speaker: Mark Broom. Title:
Kleptoparasitic melees - using game theory to model food stealing featuring contests with multiple individuals.
TG26 (Town Hall)abstract
May 21Roman BelavkinGuest speaker: Gary Jones. Title:
Learning novel sound sequences: A computational model and its application to atypical language development.
HG07 (Hatchcroft)abstract

Autumn 2009

DatePerson ResponsibleEventPlaceOther
Oct 16Roman BelavkinSpeaker: Franco Raimondi. Title: Verifying Secret Santa and the Dining Cryptographers: how to reason about knowledge, correct behaviour and strategies using extensions of temporal logicsTG26 (Town Hall)abstract
Oct 30Roman BelavkinOne Day Workshop on Ergodic Theory
Nov 13Chris HuyckGuest speaker: Eddy J Davelaar. Title:
Activation-based buffer: past, present, and future
TG26 (Town Hall)abstract
Nov 20Roman BelavkinGuest speaker: Alastair Channon. Title:
Open-ended evolution and organismal complexity
TG26 (Town Hall)abstract
Dec 4Fawad JamshedTalk: Grounding Symbols: Labelling and Resolving Pronoun Resolution with fLIF NeuronsTG26 (Town Hall)abstract

Summer 2009

DatePerson ResponsibleEventPlaceOther
June 5Roman BelavkinDiscussion of the EPSRC Maths of Life Sandpit call.TG26 (Town Hall)link
June 12Roman BelavkinDiscussion of
Janet Metcalfe & David Wiebe (1987). Intuition in insight and noninsight problem solving, Memory & Cognition, 15(3), 238--246.
TG26 (Town Hall)pdf
June 26Roman BelavkinGuest speaker: Kiran Kalidindi. Title:
Unexpected uncertainty as a driver of human exploration in n-arm bandit problems: Limitations of fixed parameter `softmax' (Gibbs law) reinforcement learning algorithms as approximate computational explanations of human behaviour.
TG26 (Town Hall) abstract
July 17Roman BelavkinGuest speaker: Boris Defourny. Title:
Selected Topics in Planning under Uncertainty
TG26 (Town Hall) abstract

Winter/Spring 2009

DatePerson ResponsibleEventPlaceOther
Jan 23Roman BelavkinGuest speaker: Peter beim Graben. Title:
Symbolic dynamics as a unifying framework for analyzing and modeling language-related brain potentials
TG26 (Town Hall)abstract
Feb 6Roman BelavkinSpeaker: Kailash Nadh. Title: Prepositional Phrase Attachment Ambiguity Resolution using Semantic HierarchiesTG26 (Town Hall)abstract
Feb 20Roman BelavkinGuest speaker: David Corney. Title:
What Are Illusions and Why Do We See Them?
TG26 (Town Hall)abstract
Mar 6Emma ByrneFrom bridges to brains: an overview of Bullmore and Sporns (2009) 'Complex brain networks: graph theoretical analysis of structural and functional systems'TG26 (Town Hall)abstract
Mar 27Peter PassmoreDiscussion of
M. J. Milford, G. Wyeth (2008). Mapping a Suburb with a Single Camera using a Biologically Inspired SLAM System, IEEE Transactions on Robotics, 24 (5).
TG26 (Town Hall)pdf
May 15Roman BelavkinGuest speaker: Natasha Alechina. Title:
Logic of coalitional ability under bounded resources
TG26 (Town Hall) abstract
May 29Kailash NadhDiscussion of talk by G. Hinton
The Next Generation of Neural Networks
TG26 (Town Hall)link

Autumn 2008

DatePerson ResponsibleEventPlaceOther
Sep 12Roman BelavkinGuest speaker: Risi Kondor. Title:
The skew spectrum of graphs --- a new class of graph invariants
TG26 (Town Hall)abstract
Oct 10Roman BelavkinTutorial on Statistical mechanics in neural networks
Reading: Hopfield, J. J. (1982), Coolen, ACC. (1997)
TG26 (Town Hall)pdf1
Oct 17Roman BelavkinGuest speaker: Mark Bishop. Title:
Mechanical Bodies, Mythical Minds
TG26 (Town Hall)abstract
Oct 24Roman BelavkinGuest speaker: Ruben A. Tikidji-Hamburyan. Title: An Intimate Life of NeuronsTG26 (Town Hall)
Nov 14Fawad JamshedTalk: How can symbols be semantically grounded in a gaming environment to develop a more intelligent agent?TG26 (Town Hall)abstract
Nov 21Emma ByrneTalk: The Robot Scientist Closed loop learning meets laboratory automation (see this link)TG26 (Town Hall)abstract
Nov 28Roman BelavkinGuest speaker: Samer Abdallah. Title:
Information Dynamics and Temporal Structure in Music
TG26 (Town Hall)abstract
Dec 5Roman BelavkinGuest speaker: Terry Windeatt. Title:
Ensemble MLP Classifier Design
TG26 (Town Hall)abstract

Spring 2008

DatePerson ResponsibleEventPlaceOther
Jan 11Roman BelavkinGeneral meetingTG26 (Town Hall)
Jan 25Roman BelavkinHomomorphisms of Preference Relations and Their FunctionsTG26 (Town Hall)
Feb 8Dmitri IourinskiBoolean, Modal or Intuitionist logics: Philosophical considerationsTG26 (Town Hall)pdf 1
pdf 2
Feb 15Chris HuyckAI seminarTG26 (Town Hall)
Feb 22Huyck, C., & Belavkin, R.The Emergence of Rules in Cell--Assemblies of fLIF NeuronsTG26 (Town Hall)pdf
Apr 4John PlattsIt's in the scriptTG26 (Town Hall)doc
Apr 18Roman BelavkinGualtiero Piccinini (2008). Some neural networks compute, others don't, Neural Networks.TG26 (Town Hall)pdf
May 2Sergey Anishenko et. alTomography Based on Biologically Motivated ModelsTG26 (Town Hall)doc
May 9Chris HuyckAI seminarTG26 (Town Hall)
May 16t.b.a.TG26 (Town Hall)
May 30t.b.a.TG26 (Town Hall)
Jun 6Chris HuyckAI seminarTG26 (Town Hall)

Autumn 2007

DatePerson ResponsibleEventPlaceOther
Sept 28Roman BelavkinGeneral meetingRavensfield Focus Areapdf
Oct 12Oyewole OyekoyaDiscussion of fellowship applicationRavensfield Focus Area
Oct 26Xiaohong GaoP. Kruizinga and N. Petkov, Grating cell operator features for oriented texture segmentationRavensfield Focus Areapdf
Nov 9Roman BelavkinDavid Kreps, Chapter on De Finetti's theorem from Notes On The Theory Of ChoiceRavensfield Focus Areapdf
Nov 23Chris HuyckErkki Oja, A Simplified Neuron Model as a Principal Component AnalyzerRavensfield Focus Areapdf
Dec 7John PlattsSwartjes, I., Vromen, J. and Bloom, N. (2007). Narrative Inspiration: Using Case Based Problem Solving to Support Emergent Story GenerationTG26 (Town Hall)pdf

Summer 2007

DatePerson Responsible EventPlaceOther
June 15Fawad Jamshed, Roman BelavkinSession on Symbol Grounding Problem.

Accompanied by paper: Solving the Symbol Grounding Problem: A Critical Review of Fifteen Years of Research by M. Taddeo and L. Floridi.
Ravensfield Focus Areapdf
July 20Roman BelavkinGuest speaker: Thomas Wennekers (webpage). Title:
Language Models based on Hebbian Cell Assemblies
Ravensfield Focus Area

Spring 2007

DatePerson Responsible EventPlaceOther
February 23Ian MitchellW. B. Langdon and R. Poli, Fitness Causes Bloat: MutationRavensfield Focus Area
March 2Chris HuyckRichard Granger, Engines of the brain: The computational instruction set of human cognitionRavensfield Focus Areapdf
March 16Hina GhalibHina Ghalib & Chris Huyck A Cell Assembly Model of Sequential MemoryRavensfield Focus Areaabstract
April 27Xiaohong GaoEU project TIME (Tele-imaging in Medicine)Ravensfield Focus AreaTalk
May 11Wole, Xiaohong GaoPostponedRavensfield Focus AreaTalk
May 25Chun & John DackPure-Data: A real-time graphical programming environment for audioRavensfield Focus Areaabstract


DatePerson Responsible EventPlaceOther
February 3rdRichard BowlesCapacity of a Network of Cell AssembliesRavensfield Focus Area abstract
February 24thSatinder GillThe Role of "Craft Language" in Learning "Waza" by K. IkutaRavensfield Focus Area (upstairs) 3 pm Ikuta's paper
May 12thChris Huyck, Roman Belavkin and Dan Diaper Virtual Neural Agent Ravensfield Focus AreaGrant Page
November 3dRoman BelavkinGroup MeetingRavensfield Focus Area
November 9thRoman BelavkinTalk by Frank E. Ritter
Some new components for an automatic user for testing human-computer interfaces
Ravensfield Focus AreaAbstract
December 15thRoman BelavkinPresentation by Dmitri Iourinski
Semantical models for Dempster-Shafer theory
Ravensfield Focus AreaAbstract
December 16thEnd of Year PartyChris HuyckG237b
December 2ndDan Diaper and Roman Belavkin Discussion of the cognitive status of goalsG237b
November 11thChris Huyck Counting with Neurons G237b, 3pm
October 28thXiaohong Gao The Application of Neutral Vision Models to the Detection of Illusory Shaps for Trademark Images G237b
October 14thRoman Belavkin Towards an Agent-Based Independent Component Analysisport 8
September 30thMurray Shanahan Cognition, Action Selection, and Inner Rehearsal G237b

Old schedules