The group has regular meetings (monthly or more frequently). The ToCAI seminar is a joint meeting with the Foundations of Computing group, and it is a continuation of the AI group seminar that has been meeting for 20 years.
This is the page for joint seminar of the Foundations of Computing and the Artificial Intelligence groups (the ToCAI seminar). We have space reserved every week on Friday afternoon. Please check here before coming (or just call Roman 6263 or Chris 5412). The seminars are on Fridays, 14:00--16:00 in W153 in the Williams Building.
We've recorded many of the seminars and they can be found on https://www.youtube.com/channel/UCN4y-xq7OGoYbcKVHzQPOkg.
| Date | Person Responsible | Speaker | Event | Place | Other |
|---|---|---|---|---|---|
| Oct 5 | Chris Huyck | Speaker: Full Group | Organisational Meeting | W153 | Oct 12 | Chris Huyck | Speaker: Chris Huyck | A Proto Neuro Cognitive Architecture | W153 | abstract | Oct 19 | Roman Belavkin | Speaker: Roman Belavkin | Value of Information and Geometry of Optimal Decision-making and Learning | W153 | abstract | Oct 26 | Raja Nagarajan | Speaker: Alceste Scalas and Nobuko Yoshida | Effpi: concurrent programming with dependent behavioural types | Committee Room 2 | abstract | Nov 2 | Chris Huyck | Speaker: Carl James-Reynolds | Mindfulness Mirror | W153 | abstract | Nov 9 | Raja Nagarajan | Speaker: Richard Bornat and Raja Nagarajan | Analysis of Quantum Systems using Programming Languages/Tools | W153 | abstract | Nov 16 | Michele Bottone | Speaker: Michele Bottone | cancelled | W153 |
| Nov 23 | Raja Nagarajan | Speaker: David Richerby | The Moran Process | CG10 | abstract |
| Nov 30 | Barry Nichols | Speaker: Barry Nichols | Chinese Word Segmentation Applied to Written Cantonese | CG10 | abstract |
| Dec 7 | Chris Huyck | Yuehu (Tiger) Ji | Title: A Brain-inspired Cognitive System that duplicates cognitive interference within human-like timescales | CG10 | abstract |
| Dec 14 | Christmas Discussion | CG10 | |||
| Jan 18 (2019) | Chris Huyck | Florian Kammueller | Attack Trees in Isabelle | WG50 | abstract |
| Feb 1 | Chris Huyck | Tuan Le | Complex Valued Deep Neural Networks | WG50 | abstract |
| Feb 8 | Chris Huyck | Tom Dickins and Chris Huyck | Paper Discussion: Neuroconstructivism | WG50 | Neuroconstructivism |
| Feb 15 | Chris Huyck | Daming Shi | From Neural Networks to Deep Learning | WG50 | abstract |
| Feb 22 | Chris Huyck | Alberto Vergani | Discussion of brain connectivity in fMRI and its relation with cell assembly hypothesis | WG50 | abstract |
| Mar 8 | Chris Huyck | Sam Hepenstal | Algorithmic Transparency of Conversational Agents | W153 | abstract |
| Mar 22 | Chris Huyck | Juan Augusto | Practical Handling of User Preferences within Intelligent Environments | WG50 | abstract |
| Mar 29 | Chris Huyck | Andrei Popescu | Bindings as Bounded Natural Functors | WG50 | abstract |
| Apr 19 | Easter Bank Holiday | ||||
| May 10 | Chris Huyck | Speaker: Irene Kotsia | Computer vision for human behaviour understanding | BG09B | abstract |
| May 17 | Speaker: | BG09B | |||
| May 17 | Speaker: | BG09B | |||
| Aug 30 | Speaker: | BG09B |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| June 22 | Chris Huyck | Speaker: Peter Hastings (DePaul University) Title: Identifying causal structure in scientific explanatory essays |
PBG02 | abstract |
| Aug 3 | Chris Huyck | Speaker: Xiaochen Wang (Middlesex University) Title: Talk for BICA 2018 |
PBG02 | abstract |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| Feb 23 | Roman Belavkin | Speaker: David Peebles (University of Huddersfield) Title: Multiple representations and visual mental imagery in artificial cognitive systems |
PBG02 | abstract |
| Mar 16 | Roman Belavkin | Speaker: Romain Chassagne (Institute of Petroleum Engineering, Heriot-Watt University) Title: How to Characterise the Embedded Uncertainty within processed data? A real-world example |
PBG02 | abstract |
| Mar 23 | Chris Huyck | Speaker: Fouad Allouani (University of Khenchela, Algeria) Title: A novel modified flower pollination algorithm for global optimization |
PBG02 | abstract |
| May 11 | Kelly Androutsopoulos | Speaker: Hector Menendez (University College London) Title: Diversifying Software Testing |
PBG02 | abstract |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| Sept 15 | Roman Belavkin | Speaker: Barry Nichols Title: A Comparison of Eligibility Trace and Momentum on SARSA in Continuous State-and Action-Space Reinforcement Learning |
WG49 | abstract |
| Sept 29 | Roman Belavkin | Speaker: Kai Xu Title: Hybrid Intelligence - Making Sense of (Big) Data |
PBG02 | abstract |
| Oct 13 | Roman Belavkin | Speakers: Ahmed Eissa Title: Crime Pattern Recognition based on High-Performance Computing Karthika Sivapathasundaram Title: Apply K-Means Clustering Algorithm for Crime Data Analysis Ahmed Hassan Title: Using Smart Crime Reporting Apps to Prevent Crimes? |
COMMROOM 2 | abstract |
| Oct 20 | Roman Belavkin | Speaker: Eris Chinellato Title: Modelling visuomotor processing in human interactions for improving robot social skills |
COMMROOM 2 | abstract |
| Nov 3 | Roman Belavkin | Speaker: Miltos Petridis Title: From Blackboards and Similarity to Reasoning with Structure, Time and Space: A Journey of discovery in AI, developing Knowledge Engineering applications to tackle real world problems. |
PBG02 | abstract |
| Nov 17 | Roman Belavkin | Speaker: Giovanni Quattrone Title: Data-Driven Policymaking |
PBG02 | abstract |
| Nov 24 | Roman Belavkin | Speaker: Louis Slabbert Title: Introduction to Distributed computing using Beowulf Clusters in a Windows Environment |
PBG02 | abstract |
| Dec 1 | Roman Belavkin | Speaker: David Neilson Title: t.b.a. |
PBG02 | abstract |
| Dec 8 | Roman Belavkin | Speaker: Carl James-Reynolds Title: t.b.a. |
PBG02 | abstract |
| Dec 15 | Roman Belavkin | Speaker: Jaap Boender Title: t.b.a. |
PBG02 | abstract |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| 13 Jan | Roman Belavkin | Speaker: Irina Basieva Title: Three-slit experiment and 3-satisfiability problem |
V102 | abstract |
| 27 Jan | Panos Giannopoulos |
Speaker: Edouard Bonnet (Middlesex University) Title: Fine-grained complexity of coloring geometric intersection graphs |
V102 | abstract |
| 3 Feb | David Windridge |
Speaker: David Windridge Title: Machine Learning Tutorial I |
V102 | abstract |
| 10 Feb | V102 | |||
| 17 Feb | Chris Huyck |
Speaker: Nishant Singh Title: Neuron Based Control Mechanisms for a Robotic Arm and Hand |
V102 | abstract |
| 3 Mar | Roman Belavkin | Speaker: Dirk Sudholt Title: On the Analysis of Evolutionary Algorithms - How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms |
V102 | abstract |
| 19 May | Roman Belavkin | Speaker: Xiaohong Gao Title: Deep learning based approach for medical image classifications |
V102 | abstract |
| 2 June | Raja Nagarajan | Speaker: Varun Kanade Title: Hierarchical clustering: Objective functions and new algorithms |
V102 | abstract |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| 16 Sept | Roman Belavkin | Speaker: Roman Belavkin Title: Combinatorics of Mutation and Recombination of Strings in Hamming Space |
V102 | abstract |
| 21 Oct | Florian Kammueller | Speaker: Marielle Stoelinga (University of Twente) Title: Attack analysis via stochastic model checking |
V102 | abstract | 28 Oct | Chris Huyck | Speaker: Nishant Singh (Middlesex University) Title: Neuron based control mechanism for robot arm movement inspired from neuroscience |
V102 | abstract | 4 Nov | Roman Belavkin | Speaker: Chris Huyck (Middlesex University) Title: A Neural Half Cognitive Model of Categorisation |
V102 | abstract |
| 11 Nov | Roman Belavkin | Speaker: Roman Belavkin Title: Quantum Probability Tutorial I |
V102 | abstract |
| 25 Nov | Roman Belavkin | Speaker: Roman Belavkin Title: Quantum Probability Tutorial II |
V102 | abstract |
| 2 Dec | Chris Huyck | Title: Data mining at Middlesex | V102 | abstract |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| Mar 4 (2-4 pm) | David Gamez | David Gamez: The Science of Consciousness and Scientific Theories about the Brain | VG01 | abstract |
| Mar 11 (2-4 pm) | Barnaby Martin | Marcello Mamino (TU Dresden): Max-Closed Semilinear Constraint Satisfaction | VG01 | abstract |
| Apr 15 (2-4 pm) | David Windridge | Paolo Bosetti: Project Michelangelo: trying to move towards the future of machining | VG01 | abstract |
| Apr 22 (2-4 pm) | Nikos Gkorogiannis | Radu Grigore (University of Kent) | VG01 | abstract |
| May 6 (2-4 pm) | Chris Huyck | Ed Awh (University of Chicago): Rhythmic brain activity tracks the content and timing of online spatial representations | Committee Room 2 | abstract |
| May 13 (2-4 pm) | Raja Nagarajan | Golnaz Badkobeh (Warwik) | VG01 | abstract |
| May 20 (2-4 pm) | Roman Belavkin | Mikhail Malyutov (Northeastern): SCOT modelling, parallel training and statistical inference | VG01 | abstract |
| June 24(2-4 pm) | Daming Shi | Turki Aljrees: Criminal Pattern Identification Based on Modified K-Means Clustering | VG01 | abstract |
| July 1(2-4 pm) | VG01 |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| Sept 25 | Chris Huyck | Speaker:
Chris Huyck Title: Natural Language Processing with Neurons |
VG01 | abstract |
| Oct 2 (2-4 pm) | Barry Nichols | Continuous Action-Space Reinforcement Learning Methods Applied to the Minimum-Time Swing-up of the Acrobot | VG01 | abstract |
| Oct 9 (2-4 pm) | Jaap Boender | Interactive Theorem Proving with Coq | VG01 | abstract |
| Oct 23 (2-4 pm) | Barnaby Martin | Mahsa Shirmohammadi (Oxford), Problems on distributions generated by Markov Decision processes | VG01 | abstract |
| Oct 30 (2-4 pm) | Panos Giannopoulos | Speaker: He Sun (U.
Bristol) Heat kernels in graphs: A journey from random walks to geometry, and back | VG01 | abstract |
| Nov 6 (2-4 pm) | Raja Nagarajan | Alessandra Di Pierro
A Calculus for Topological Quantum Computation |
VG01 | abstract |
| Nov 13 (2-4 pm) | Chris Huyck | Sergio Davies (Manchester): SpiNNaker: A low-power approach to supercomputing for neural network simulation | VG01 | abstract |
| Nov 20 (2-4 pm) | closed | Raja Nagarajan | Programming Languages Workshop | |
| Dec 4 (2-4 pm) | Roman Belavkin | Kiril Bogdanov: State machine inference in support of testing | VG01 | abstract |
| Feb 5 (2-4 pm) | Giuseppe Primiero | Tomas Petricek (Cambridge)Context-aware programming languages | VG01 | abstract |
| Feb 26 (2-4 pm) | Giuseppe Primiero | Patrick Allo (Oxford Internet Institute): Modelling online collaborative mathematics (Polymath, again and differently) | VG01 | abstract |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| Jan 16 | Panos Giannopoulos | Speaker: Magnus Wahlstrom (Royal Holloway) Title: LP-relaxations for FPT algorithms |
Barn 1 | abstract |
| Jan 23 | Barn 1 | |||
| Jan 30 | Chris Huyck | Speaker: Andre Gruning (University of Surrey) Title: Learning to Map Spike Train Patterns in Multilayer Spiking Neural Networks |
Barn 1 | abstract |
| Feb 6 | Barnaby Martin | Speaker: Vasileios Plessas Title: An empirical investigation on using a 3D visualisation of ECDIS data for mitigating maritime accidents within restricted waters |
Barn 1 | abstract |
| Feb 13 | Chris Huyck | Organisational Meeting | Barn 1 | |
| Feb 20 | Panos Giannopoulos | On the complexity of connecting and separating points in the plane | Barn 1 | abstract |
| Feb 27 | Nikos Gkorogiannis | Reasoning about the program heap | Barn 1 | abstract |
| Mar 6 | Barnaby Martin | Paper discussion on A fully automatic problem solver with human-style output by M. Ganesalingam and W. Gowers | Barn 1 | |
| Mar 13 | Serquei Novak | Nicholas Bingham: Modelling and prediction of financial time series | Barn 1 | abstract |
| Mar 27 | Daming Shi | Speaker: Turki Aljrees Title: Document analysis using latent semantic indexing |
Barn 1 | abstract |
| Apr 17 | Carl James-Reynolds | Eugene: a physical interface and hardware based an interactive Genetic Algorithm | Barn 1 | abstract |
| Apr 24 | Jaap Boender | Speaker: Dominic Mulligan | Barn 1 | abstract |
| May 8 | Michelle Bottone | Reading: Marketplaces in the Brain | Barn 1 | The Neural Marketplace by Lewis and Harris. |
| May 15 | Daming Shi | Introduction to Robust Principal Component Analysis | Barn 1 | abstract |
| May 22 | Barnaby Martin | Joanna Ochremiak (Warsaw) Locally Finite Constraint Satisfaction Problems |
Barn 1 | abstract |
| May 29 | Roman Belavkin | Speaker: Polina Khrennikova (University of Leicester) Title: An Application of the Theory of Open Quantum Systems to Model the Dynamics of decision making of the voters in the US Political System |
Barn 1 | abstract |
| June 5 | David Windridge | The Neutral Point Method for Kernel-Based Combination of Disjoint Training Data in Multi-Modal Pattern Recognition | Barn 1 | abstract |
| June 12 | Florian Kammueller | Interactive Theorem Proving for Quantum Cryptography, Security, and Active Objects | Barn 1 | abstract |
| June 19 | Giuseppe Primiero | Software Theory Change for resilient near-complete specifications | Barn 1 | abstract |
| July 3 | Richard Bornat | A weak-memory program logic (at last, maybe) | Barn 1 | abstract |
| July 10 | Barn 1 | |||
| July 17 | Barn 1 | |||
| July 24 | VG01 | |||
| July 31 | Jaap Boender | A Demonstration of Coq | VG01 |
| Date | Person Responsible | Event | Place | Other |
|---|---|---|---|---|
| July 4 | Roman Belavkin | Speaker: Wei Yang (University of Strathclyde) Title: Introduction to Mean field games |
V103 | abstract |
| Sept 12 | Roman Belavkin | Speaker: Jun He (Aberystwyth University) Title: Applications of Markov Chain Methodology in Evolutionary Computation |
VG07 | abstract |
| Sept 19 | Roman Belavkin | Speaker: Dan Ghica (The University of Birmingham) Title: From Artificial Intelligence to Artificial Consciousness? |
VG01 | abstract |
| Oct 3 | Kelly Androutsopoulos | Speaker: Dalal Alrajeh (Imperial College) Title: Automated Error-Detection and Repair for Compositional Software Specifications |
V102 | abstract |
| Oct 10 | Barnaby Martin | Speaker: Andras Pongracz Title: Reducts of omega-categorical structures |
Barn 1 | abstract |
| Oct 17 | Chris Huyck | Speaker: Ritwik Kulkarni Title: Exploring Language Mechanisms: The Mass-Count Distinction and The Potts Neural Network |
Barn 1 | abstract |
| Oct 24 | Barnaby Martin | Speaker: Jannis Bulian (The University of Cambridge) Title: The graph isomorphism problem |
Barn 1 | abstract Video: part 1 |
| Oct 31 | Roman Belavkin | Speaker: Per Kristian Lehre (The University of Nottingham) Title: Rigorous Analysis of Population-dynamics in Evolutionary Algorithms |
Barn 1 | abstract Video: part 1 part 2 part 3 |
| Nov 7 | Rajagopal Nagarajan | Speaker: Thomas Erlebach (The University of Leicester) Title: Computing with Uncertainty |
Barn 1 | abstract |
| Nov 14 | Roman Belavkin | Speaker 1: Thomas Jansen (Aberystwyth University) Title: Analysing Mutation in Randomised Search Heuristics Speaker 2: Stephan Weis (Independent Researcher, formerly Max-Planck-Institute for Mathematics) Title: Classical and quantum many-body correlations |
Barn 1 | abstract 1 Video: part 1 part 2 abstract 2 Video: part 1 part 2 |
| Nov 21 | Raja Nagarajan | Speaker: Donal Simmie (Imperial College) Title: Contemporary Applications of Social Media Research |
Barn 1 | abstract Video: part 1 part 2 |
| Nov 28 | Roman Belavkin | Speaker: Christine Zarges (The University of Birmingham) Title: Analysis of Randomised Search Heuristics for Dynamic Optimisation |
Barn 1 | abstract |
| Dec 5 | Giuseppe Primiero | Speaker: Sanjay Modgil (King's College London) Title: Closing the Gap Between Logic and Dialectic |
Barn 1 | abstract Video: part 1 part 2 |
| Dec 12 | Daming Shi | Speaker: Feng Tian (Bournemouth University) Title: Computer Assisted Cel Animation |
Barn 1 | abstract |