Computer Science Departmental Series

On the complexity of linear arithmetic theories over the integers

User Dmitry Chistikov, University of Warwick.

Friday 17 January 2020, 11:00-12:00

Constructing Infinitary Quotient-Inductive Types

User Andy Pitts (University of Cambridge).

Artificial Intelligence and Natural Computation seminars

Friday 10 January 2020, 11:00-12:00

Decomposition Multi-Objective Optimisation and Decision-Making: When Traditional Optimisation Meet Modern Meta-heuristics and Artificial Intelligence

User Dr Ke Li (UKRI Future Leaders Fellow and Senior Lecturer, Computer Science, University of Exeter).

Monday 09 December 2019, 11:00-12:00

Resources and Co-Resources: a junction between categorical semantics, model theory and descriptive complexity

User Samson Abramsky, University of Oxford.

Friday 06 December 2019, 11:00-12:00

Ghidra : A free reverse engineering tool, usage and features.

User Chris A (Government Representative).

Artificial Intelligence and Natural Computation seminars

Thursday 05 December 2019, 11:00-12:00

Robot Audition for Situational Awareness

User Dr Christine Evers (EPSRC Research Fellow, Department of Electrical and Electronic Engineering, Imperial College London).

Monday 02 December 2019, 11:00-12:00

Raising research profile – communications support

User Danann Swanton (EPS Communications).

Artificial Intelligence and Natural Computation seminars

Thursday 28 November 2019, 11:00-12:00

Towards AI-Powered Healthcare: Automated Medical Image Analysis via Deep Learning

User Dr Qi Dou (Postdoctoral Research Associate, Department of Computing, Imperial College London, UK).

Monday 11 November 2019, 11:00-12:00

An In-depth Look Into SDN Topology Discovery Mechanisms: Novel Attacks and Practical Countermeasures

User Dr Eduard Marin (University of Birmingham).

Thursday 07 November 2019, 11:00-11:30

Taylor expansion in linear logic is invertible: A completeness result

User Daniel de Carvalho, Innopolis University.

Friday 01 November 2019, 11:00-12:00

On the computation of a 30750-bit binary field discrete logarithm

User Rob Granger (University of Surrey).

Thursday 31 October 2019, 11:00-12:00

Nested proof systems for modal logics (and beyond)

User Sonia Marin, UCL.

Friday 25 October 2019, 11:00-12:00

Quantum Cryptography and the Real World

User Freya Wilson (Sec-1).

Thursday 24 October 2019, 11:00-12:00

Algorithmic Human Development: What is it and why do we need it now?

Note unusual time

User Professor Abbas Edalat, Imperial College London.

Friday 18 October 2019, 14:00-15:00

ICS Vulnerabilities Happen - What Lessons can we Learn?

User Richard James Thomas (BCRRE).

Thursday 17 October 2019, 11:00-11:30

On the logical complexity of cyclic arithmetic

User Anupam Das, University of Birmingham.

Friday 11 October 2019, 11:00-12:00

Diagram rewriting in double categories

User Antonin Delpeuch, University of Oxford.

Artificial Intelligence and Natural Computation seminars

Friday 04 October 2019, 11:00-12:00

Why current AI and neuroscience fail to replicate or explain ancient forms of spatial reasoning and mathematical consciousness

User Prof Aaron Sloman (Honorary Professor of Artificial Intelligence and Cognitive Science, School of Computer Science, University of Birmingham, UK).

Monday 02 September 2019, 11:00-12:00

A privacy preserving SDN framework leveraging Trusted Computing

User Nada Abdelhadi.

Artificial Intelligence and Natural Computation seminars

Thursday 22 August 2019, 11:00-11:30

How Can Metaheuristics Help Software Engineers

User Prof Enrique Alba (Professor, Department of Computer Languages and Sciences, University of Málaga).

Artificial Intelligence and Natural Computation seminars

Wednesday 14 August 2019, 14:00-15:00

Deep Learning for Magnetic Resonance Image Reconstruction and Analysis

User Ms Chen Qin (Doctoral Researcher, Department of Computing, Imperial College London, United Kingdom).

Artificial Intelligence and Natural Computation seminars

Friday 09 August 2019, 11:30-12:30

Classification with unknown stochastic label noise: A distribution dependent view

User Dr Henry W J Reeve (Research Fellow, School of Computer Science, University of Birmingham, United Kingdom).

Artificial Intelligence and Natural Computation seminars

Monday 29 July 2019, 11:00-12:00

Variational methods for diffusive optical tomography and data clustering

User Prof Ke Yin (Associate Professor, Center of Mathematical Sciences, Huazhong University of Science and Technology, Wuhan, Hubei, China).

Friday 19 July 2019, 14:00-15:00

Foundational end-to-end verification of cyber-physical systems: The VeriPhy pipeline and its Applications

User Brandon Bohrer (Carnegie Mellon).

Friday 19 July 2019, 11:00-12:00

Playing at control: writing surveillance in/for gamified society

User Garfield.

Thursday 18 July 2019, 11:00-12:00

House Computer Science, 245.

Constructive Brouwer Fixed Point Theorem

User Paul Taylor (Computer Science, University of Birmingham, honorary).

Friday 12 July 2019, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Computational musculoskeletal biomechanics and its applications

User Dr Moon Ki Jung (Research Associate, Neuromechanics and Rehabilitation Technology, Imperial College London, UK).

Artificial Intelligence and Natural Computation seminars

Tuesday 09 July 2019, 11:00-12:00

Leveraging Ecological Psychology to Inform the Design of Human Intention and Affordance Recognition Systems

User Dr Keith S. Jones (Associate Professor, Psychological Sciences, Texas Tech University, USA).

Monday 08 July 2019, 11:00-12:00

House Computer Science, Room 217.

A verifiable, coercion-resistant voting system with linear complexity

User Ben Smyth.

Thursday 04 July 2019, 11:00-12:00

Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd

User Mathy Vanhoef.

Monday 01 July 2019, 11:00-12:00

Rudimentary recursion

User Adrian Mathias.

Friday 21 June 2019, 11:00-12:00

Engineering Lattice-based Cryptography.

User Dr. Sujoy Sinha Roy.

Thursday 20 June 2019, 11:00-12:00

Ambience Factory: an exploration of technology's role in wellness

User Sophie Bullock and Sophie Huckfield. Ambience Factory.

Wednesday 19 June 2019, 11:00-12:00

A Sound and Complete Logic for Algebraic Effects

User Cristina Matache (Oxford).

Artificial Intelligence and Natural Computation seminars

Friday 14 June 2019, 11:00-12:00

Machine Learning and Network Analysis Approaches for Enabling Biomedical Research

User Dr Francisco Azuaje (Principal Investigator, Bioinformatics and Modelling, Luxembourg Institute of Health).

House Biosciences E102.

Thursday 13 June 2019, 14:00-15:00

Geometric morphisms as structure preserving maps and other nice characterisations

User Christopher Townsend.

Friday 07 June 2019, 10:30-12:00

IFAL: Issue First Activate Later Certificates for V2X

User Chris Hicks.

Thursday 06 June 2019, 11:00-11:30

On the Difficulty of Using Patient's Physiological Signals in Cryptographic Protocols

User Eduard Marin .

Friday 31 May 2019, 14:00-14:30

Trustworthy software systems

User Pramod Bhatotia.

Friday 31 May 2019, 13:00-14:00

Reasoning about effectful programs and evaluation order

User Dylan McDermott (Cambridge).

Friday 31 May 2019, 11:00-12:00

CAOS: Concurrent-Access Obfuscated Store

User Mihai Ordean.

Thursday 30 May 2019, 11:00-11:30

House Computer Science, 245.

Reasoning about entailment in natural language data using vectors, density matrices, and category theory

User Mehrnoosh Sadrzadeh, Queen Mary.

Wednesday 29 May 2019, 11:00-12:00

Two Sides of the Same Coin: Session Types and Game Semantics

User Simon Castellan, Imperial College London.

Artificial Intelligence and Natural Computation seminars

Friday 24 May 2019, 11:00-12:00

Probabilistic Modeling for Sequential Decision Making under Uncertainty Problems

User Dr Vien Ngo (Lecturer, School of Electronics, Electrical Engineering and Computer Science, Queen's University, Belfast).

Monday 20 May 2019, 11:00-12:00

Graph Theory and the Transfinite

User Michael Rathjen (Leeds).

Friday 17 May 2019, 11:00-12:00

Designing Future Heat Services

User Jody Osborn - User Researcher, Energy Systems Catapult.

Wednesday 15 May 2019, 11:00-12:00

Addressing Cybersecurity Issues for the Rail Sector

User Richard James Thomas.

Tuesday 30 April 2019, 18:00-21:30

Automotive Security

User Andreea Radu.

Tuesday 30 April 2019, 18:00-21:30

An overview of hardware roots of trust for automotive applications

User Mark Ryan.

Artificial Intelligence and Natural Computation seminars

Thursday 04 April 2019, 11:00-12:00

Swarm robotics: Designing scalable self-organized collective robotic platforms that combine the strengths of engineered and biological systems

User Dr Eliseo Ferrante (School of Computer Science, University of Birmingham).

Monday 25 March 2019, 11:00-12:00

Designing an algebraic effect system for OCaml

User Leo White, Jane Street.

Friday 22 March 2019, 11:00-12:00

Anonymous Communications against Global Adversaries via Secure Multi-Party Computation

User Thomas Zacharias - Edinburgh University.

Artificial Intelligence and Natural Computation seminars

Thursday 21 March 2019, 11:00-12:00

Drawing on Millions of Biomedical Journal Publications to do Predictive Biology

User Prof Karin Verspoor (School of Computing and Information Systems, the University of Melbourne).

Wednesday 20 March 2019, 14:00-15:00

House Computer Science, 217.

Operational approaches to the foundations of physics

User Lucien Hardy, Perimeter Institute.

Thursday 14 March 2019, 12:00-13:00

Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logic

User Luc Pellissier, IRIF, Université Paris Diderot.

Friday 08 March 2019, 11:00-12:00

How to prevent thieves from stealing your car while you're

User Dr Dave Singelée.

Artificial Intelligence and Natural Computation seminars

Thursday 07 March 2019, 11:00-12:00

Resolution limit of image analysis algorithms

User Dr Ed Cohen (Lecturer in Statistics, Department of Mathematics, Imperial College London).

Monday 04 March 2019, 11:00-12:00

Proof-Carrying Plans

User Ekaterina Komendantskaya, Heriot-Watt University.

Artificial Intelligence and Natural Computation seminars

Friday 01 March 2019, 11:00-12:00

Mixed Variational Inference

User Dr Nikos Gianniotis (Astroinformatics, Heidelberg Institute of Theoretical Studies).

Artificial Intelligence and Natural Computation seminars

Tuesday 26 February 2019, 15:00-16:00

Compressed Sensing for Non-Standard Tomography and Data Labelling by Assignment

User Prof Stefania Petra (Department of Mathematics and Computer Science, Universität Heidelberg).

Artificial Intelligence and Natural Computation seminars

Tuesday 26 February 2019, 11:00-12:00

A guided tour of spline-based active contours

User Dr Virginie Uhlmann (Research Group Leader, European Bioinformatics Institute, European Molecular Biology Laboratory).

Artificial Intelligence and Natural Computation seminars

Monday 25 February 2019, 11:00-12:00

Resilience and Data Science for Networked Infrastructures

User Dr Weisi Guo (Associate Professor, School of Engineering, University of Warwick).

Monday 18 February 2019, 11:00-12:00

Unrestricted Quantification and the Structure of Type Theory

User Salvatore Florio and Nicholas K Jones, University of Birmingham (Philosophy).

Friday 15 February 2019, 11:00-12:00

House Computer Science, 217.

COMPUTER PROBLEMS POSED BY DESSINS D'ENFANTS THEORY

User George Shabat, Russian State University for the Humanities and Independent University of Moscow.

Monday 11 February 2019, 14:00-15:00

Artificial Intelligence and Natural Computation seminars

Rumour Stance and Veracity Classification in Social Media Conversations

User Elena Kochkina (Doctoral Researcher, Department of Computer Science, University of Warwick).

Monday 11 February 2019, 11:00-12:00

Numerically Definite Logic

User Richard Kaye, University of Birmingham (Mathematics).

Friday 08 February 2019, 11:00-12:00

The explicit isomorphism problem and its applications"

User Peter Kutas Hungarian Academy of Sciences .

Artificial Intelligence and Natural Computation seminars

Thursday 31 January 2019, 11:00-12:00

Robots, Emotions, and Epistemic Rational Assessability

User Matilde Aliffi and Helen Ryland (Doctoral Researchers, Department of Philosophy, University of Birmingham).

Monday 28 January 2019, 11:00-12:00

Strategic Graph Rewriting in PORGY — an interactive modelling framework

User Maria Isabel Fernandez, King's College London.

Friday 25 January 2019, 11:00-12:00

House Computer Science, 245.

Higher Universal Algebra in Type Theory

User Eric Finster, INRIA, Paris.

Tuesday 22 January 2019, 15:00-16:00

Artificial Intelligence and Natural Computation seminars

Gaze Estimation and Perspective-taking Mechanisms in Robots and Humans

User Dr Tobias Fischer (Postdoctoral Researcher, Department of Electrical and Electronic Engineering, Imperial College London).

Monday 21 January 2019, 11:00-12:00

House Computer Science, room 245.

Towards Coherence for Guarded Traces

User Sergey Goncharov, FAU Erlangen-Nürnberg.

Monday 07 January 2019, 11:00-12:00

Don't Try This at Home: No-Go Theorems for Distributive Laws

User Daniel Marsden, University of Oxford.

Friday 14 December 2018, 11:00-12:00

Reflection principles in subsystems of analysis

User Emanuele Frittaion, University of Leeds.

Friday 23 November 2018, 10:30-11:30

The State of Speech in HCI: Trends, Themes and Challenges.

User Leigh Clark, UCD.

Wednesday 21 November 2018, 11:00-12:00

House Computer Science, room 245.

Reverse mathematics of non-deterministic inductive definitions

User Hajime Ishihara (JAIST).

Monday 19 November 2018, 15:00-16:30

Polynomials via fibrations

User Tamara von Glehn, University of Cambridge.

Friday 16 November 2018, 10:30-11:30

E-cclesia: a self-tallying e-voting protocol in the UC framework

User Myrto Arapinis.

Thursday 15 November 2018, 11:00-12:00

Some Open Problems in Homotopy Type Theory

User Nicolai Kraus, University of Nottingham.

Friday 09 November 2018, 10:30-11:30

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly

User Qingju Wang.

Thursday 08 November 2018, 11:00-12:00

Quantitative Algebraic Reasoning

User Radu Mardare, University of Aalborg.

Friday 02 November 2018, 10:30-11:30

Active cyber defence

User Chris A - National Cyber Security Centre.

Thursday 01 November 2018, 11:00-12:00

Quasitopoi and universes of propositions

User Paolo Capriotti, University of Nottingham.

Friday 26 October 2018, 11:00-12:00

Tricking binary trees: The (in)security of machine learning

User Joe Gardiner.

Artificial Intelligence and Natural Computation seminars

Thursday 25 October 2018, 11:00-12:00

IAS Public Lecture: Models of infectious disease transmission with complex pathogen and population characteristics

User Dr Nic Geard (IAS Vanguard Fellow, Department of Computing and Information Systems, The University of Melbourne).

Monday 22 October 2018, 11:00-12:00

Towards a Formal Theory of Renaming for OCaml

User Reuben Rowe, University of Kent.

Friday 19 October 2018, 10:30-11:30

Shorter QA-NIZK Proofs For Quadratic Equations

User Javier Silva.

Thursday 18 October 2018, 11:00-12:00

Completing the ZX-calculus

User Miriam Backens, University of Oxford.

Friday 12 October 2018, 11:00-12:00

Building Reliable Systems on Reliable Foundations

User Vincent Rahli - University of Luxembourg.

Thursday 11 October 2018, 11:00-12:00

Security challenges in SDN

User Eduard Marín Fàbregas (KU Leuven).

Thursday 20 September 2018, 11:00-12:00

Hypergraph categories as cospan algebras

User Brendan Fong, MIT.

Wednesday 19 September 2018, 14:00-15:00

Title to be confirmed

User Brendan Fong.

Tuesday 18 September 2018, 14:00-16:00

Compromised Information Sources

User Tim Muller.

Thursday 13 September 2018, 11:00-12:00

Dismantling the AUT64 Automotive Cipher

User Chris Hicks - University of Birmingam.

Thursday 30 August 2018, 11:00-12:00

Beneath the Bonnet: a Breakdown of Diagnostic Security

User Jan Van den Herrewegen.

Thursday 23 August 2018, 11:00-12:00

RepuCoin: An extra resilient blockchain consensus

User Jiangshan Yu, University of Luxemborg.

Thursday 16 August 2018, 11:00-12:00

Adversarial examples and attack models in machine learning

User Mark Ryan.

Friday 10 August 2018, 11:00-12:00

E-cclesia: a self-tallying e-voting protocol in the UC framework

User Myrto Arapinis (Edinburgh).

Thursday 05 July 2018, 11:00-12:00

House Arts - Lecture Room 201.

A Software Engineer Ventures into Behavioural Economics

NB alternative day/room

User Karen Renaud (Abertay).

Wednesday 04 July 2018, 12:30-13:30

Understanding Girard’s Paradox

User Thorsten Altenkirch (Nottingham).

Tuesday 03 July 2018, 13:15-14:15

House Room UG07, Murray Learning Centre.

Security of Cyberphysical Systems

School of Computer Science Distinguished Seminar

User P.R.Kumar (TAMU).

Monday 02 July 2018, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Probabilistic Principal Component Analysis for Time Series

User Dr. Nikos Gianniotis (Astroinformatics, Heidelberg Institute for Theoretical Studies).

Monday 25 June 2018, 11:00-12:00

Software Exploitation: Hardware is the New Black

NB alternative day/room

User Christiano Giuffrida (Vrije Universiteit Amsterdam).

Artificial Intelligence and Natural Computation seminars

Monday 25 June 2018, 11:00-12:00

Relaxed AI Planning with Time and the TechLauncher Program: A Talk in Two Parts

User Dr Charles Gretton (College of Engineering & Computer Science, Australian National University).

Wednesday 20 June 2018, 11:00-12:00

Title to be confirmed

Please note alternative day and location

User Christiano Giuffrida.

Artificial Intelligence and Natural Computation seminars

Monday 18 June 2018, 11:00-12:00

Unsupervised sensorimotor integration for task learning in robot manipulators.

User Andrey Barsky (CNCR student, University of Birmingham).

Monday 11 June 2018, 11:00-12:00

A homotopy type theory for directed homotopy theory

User Paige North.

Friday 08 June 2018, 11:00-12:00

Group meeting

User Christophe Petit.

Thursday 31 May 2018, 11:00-12:00

Texture to the Rescue: Practical Paper Fingerprinting based on Texture Patterns

User Siamak Shahandashti (York).

Artificial Intelligence and Natural Computation seminars

Thursday 24 May 2018, 11:00-12:00

Cost-sensitive Boosting, Margin Maximization and Information Theory

User Dr. Nikos Nikolaou (School of Computer Science, University of Manchester).

Monday 14 May 2018, 11:00-12:00

Magnitude of Metric Spaces

User Simon Willerton (Maths, Sheffield).

Friday 11 May 2018, 11:00-12:00

Title to be confirmed

User Sujoy Sinha Roy (KU Leuven).

Thursday 10 May 2018, 11:00-12:00

Future directions for Java

User Gavin Bierman (Oracle, Cambridge).

Friday 04 May 2018, 11:00-12:00

A Unified Perspective of Linear Time Logics using Coalgebras

User Corina Cirstea (Southampton).

Friday 27 April 2018, 11:00-12:00

VulCAN: Authentic Execution for Automotive Control Networks

NB alternative day and room

User Jan Tobias Muehlberg (KU Leuven).

Friday 27 April 2018, 11:00-12:00

A summary of recent TLS attacks and their impact on future research directions

User Juraj Somorovsky (Bochum).

Artificial Intelligence and Natural Computation seminars

Thursday 26 April 2018, 11:00-12:00

Statistical machine learning for remote characterization of neurological disorders using smartphones

User Dr Max Little (School of Engineering & Applied Science, Aston University).

Monday 16 April 2018, 11:00-12:00

Between Ratings and Security

User Tim Muller (Oxford).

Thursday 12 April 2018, 11:00-12:00

Ordinals vs. Cardinals in N? and Beyond

Special seminar arranged by Aaron Sloman

User Aviv Keren (Jerusalem).

Artificial Intelligence and Natural Computation seminars

Wednesday 11 April 2018, 11:00-12:00

Statistical Machine Learning for Genomics

User Dr Christopher Yau (Centre for Computational Biology, University of Birmingham).

Monday 09 April 2018, 11:00-12:00

Physical oracles: Measurement, complexity and cyber-physical systems

User Edwin Beggs (Maths, Swansea University).

Friday 23 March 2018, 11:00-12:00

Machine Learning Security – Can we trust the machines?

User Steve.

Artificial Intelligence and Natural Computation seminars

Thursday 15 March 2018, 11:00-12:00

The use and abuse of algorithmic decision-making systems: are computer scientists responsible?

User Professor Karen Yeung (School of Law and School of Computer Science, University of Birmingham).

House UG06, Learning Centre.

Tuesday 13 March 2018, 16:00-17:00

“Taking Turing by surprise? Designing `digital computers’ for morally-loaded contexts’.

User Sylvie Delacroix, Professor in Law and Ethics, University of Birmingham.

Wednesday 07 March 2018, 11:00-12:00

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

User Marcelo Fiore (Cambridge).

Friday 02 March 2018, 11:00-12:00

Efficient Zero-Knowledge Proofs - with applications to voting and for general purpose use

User Jens Groth (UCL).

Thursday 01 March 2018, 11:00-12:00

Handlers in Scope with Adjunctions

User Nicholas Wu (Bristol).

Friday 23 February 2018, 11:00-12:00

Don't trust the DOM: Breaking XSS mitigations via Script Gadgets

User Sebastian Lekies (Google).

Artificial Intelligence and Natural Computation seminars

Thursday 22 February 2018, 11:00-12:00

Constructivist approach towards understanding and making intelligence

User Associate Professor Hiroki Mori (School of Fundamental Science and Engineering, Waseda University).

Monday 19 February 2018, 11:00-12:00

Concurrent Kleene Algebra: free model and completeness

User Alexandra Silva (UCL).

Friday 16 February 2018, 11:00-12:00

Group meeting

User Mark Ryan.

Artificial Intelligence and Natural Computation seminars

Thursday 15 February 2018, 11:00-12:00

Structural Identifiability and Indistinguishability Analyses: Tools for Systems Modelling

User Professor Michael Chappell (School of Engineering, University of Warwick).

Monday 12 February 2018, 11:00-12:00

The Dialectica models of type theory

room 217, not Sloman Lounge

User Sean Moss (Oxford, formerly Cambridge).

Friday 09 February 2018, 11:00-12:00

Security and Privacy in a World of Safety: Analysing Avionic Data Links

User Matt Smith (Oxford).

Thursday 08 February 2018, 11:00-12:00

The Church-Turing Thesis and denotational semantics

room 217, not Sloman Lounge

User Achim Jung (School of Computer Science).

Friday 02 February 2018, 11:00-12:00

Universally Verifiable MPC with Applications to IRV Ballot Counting

User Olivier Pereira (UC Louvain).

Thursday 01 February 2018, 11:00-12:00

Multitasking in Human-Computer Interaction

User Duncan Brumby, UCL.

Wednesday 31 January 2018, 15:00-16:00

Teaching old type systems new tricks with type providers

User Tomas Petricek (Alan Turing Institute).

Friday 26 January 2018, 11:00-12:00

House Computer Science, Room 217.

Cyber Security Game Session

User Andreas Haggman (RHUL).

Thursday 25 January 2018, 14:00-16:00

Wargaming Cyber Security

User Andreas Haggman (RHUL).

Thursday 25 January 2018, 11:00-12:00

Spaces of alpha-Lipschitz continuous maps, in a quasi-metric setting.

User Jean Goubault-Larrecq (LSV, ENS Paris-Saclay).

Artificial Intelligence and Natural Computation seminars

Friday 19 January 2018, 11:00-12:00

Behavioural Machine Learning

User Prof. Ganna Pogrebna (Department of Economics, Birmingham Business School, University of Birmingham).

Monday 15 January 2018, 11:00-12:00

From curves to train tracks to compressed words

NB 217 not Sloman Lounge

User Saul Schleimer (Maths, Warwick).

Friday 12 January 2018, 11:00-12:00

Group meeting

User David Oswald.

Thursday 11 January 2018, 11:00-12:00

A Curry-Howard Correspondence for Event-Based Programming

User Neel Krishnaswami (University of Cambridge, formerly Birmingham).

Artificial Intelligence and Natural Computation seminars

Friday 08 December 2017, 11:00-12:00

Tensor Analysis and Learning

User Dr Haiping Lu (Department of Computer Science, University of Sheffield).

Monday 04 December 2017, 11:00-12:00

Universally optimal mitigation strategies for leakage of information

User Pasquale Malacaria (Queen Mary, London).

Artificial Intelligence and Natural Computation seminars

Friday 01 December 2017, 11:00-12:00

Hitting times of local and global optima in genetic algorithms with very high selection pressure

User Assoc. Prof. Anton Eremeev (Omsk Branch of Sobolev Institute of Mathematics, Russia).

Monday 27 November 2017, 11:00-12:00

Syntactic and semantic fun with monads

User Fredrik Dahlqvist (UCL).

Friday 24 November 2017, 11:00-12:00

House Computer Science room 245.

TRAKS: A Universal Key Management Scheme for ERTMS

NB change of location: Room 245

User Richard Thomas (Birmingham).

Thursday 23 November 2017, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Generating, Executing, and Monitoring Plans with Goal-Based Utilities in Continuous Domains

User Prof. Pat Langley (Institute for the Study of Learning and Expertise Palo Alto, California, USA).

Tuesday 21 November 2017, 11:00-12:00

A concurrent interpretation of the law of excluded middle

User Ulrich Berger (University of Swansea).

Friday 17 November 2017, 11:00-12:00

Family Rituals 2.0

User Dave Kirk, Northumbria University.

Wednesday 15 November 2017, 11:00-12:00

Decidable Logics for Path Feasibility of Programs with Strings

User Anthony Widjaja Lin (University of Oxford).

Friday 10 November 2017, 11:00-12:00

Segal-type models of higher categories

User Simona Paoli (University of Leicester).

Friday 03 November 2017, 11:00-12:00

Designing for obsolescence: How to support the formation of healthy habits with technology

User Kathy Stawarz, University of Bristol.

Wednesday 01 November 2017, 11:00-12:00

Taming poultry, an attempt to use Coq for teaching mathematicians about (assisted) proofs

User Corneliu Hoffman (University of Birmingham).

Friday 27 October 2017, 11:00-12:00

How (not) to use TLS between 3 parties

User Ioana Boureanu (Surrey).

Thursday 26 October 2017, 11:00-12:00

From finitary monads to Lawvere theories: Cauchy completions

NB 217 not Sloman Lounge

User John Power (University of Bath).

Friday 20 October 2017, 11:00-12:00

House Learning Centre, UG07.

Birmingham Security and Privacy research showcase

Please note longer time and change of venue

User Mark Ryan, Flavio Garcia, David Galindo, Mihai Ordean (Birmingham).

Thursday 19 October 2017, 11:00-12:30

Theoretical Computer Science in Quantum Circuit Design

Also of interest in Security

User Peter Hines (University of York).

Friday 13 October 2017, 11:00-12:00

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

User Changyu Dong (Newcastle).

Thursday 12 October 2017, 11:00-12:00

Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

User Reuben Rowe (University of Kent at Canterbury).

Friday 06 October 2017, 11:00-12:00

NewHope for ARM - An Efficient Implementation of the Post-Quantum Ephemeral Key Exchange NewHope for the ARMv6-M and ARMv7M Architecture

User Philipp Jakubeit (Birmingham).

Artificial Intelligence and Natural Computation seminars

Thursday 05 October 2017, 11:00-12:00

Bandits on an unknown manifold

User Henry Reeve ( School of Computer Science, University of Manchester).

Monday 02 October 2017, 11:00-12:00

What kind of virtual machine would be needed to simulate an ancient mathematician investigating geometry?

User Aaron Sloman (School of Computer Science, bham).

Friday 29 September 2017, 11:00-12:00

'Yay, you got it right¹: challenging the reliance on verification feedback in games-based learning

User Mina Vasalou, UCL Institue of Education.

Artificial Intelligence and Natural Computation seminars

Wednesday 27 September 2017, 11:00-12:00

Random Projections for Dimensionality Reduction

User Dr Bob Durrant (Department of Statistics, University of Waikato).

Artificial Intelligence and Natural Computation seminars

Monday 11 September 2017, 11:00-12:00

Level-based analysis of stochastic population models

User Dr Per Kristian Lehre (School of Computer Science, University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Monday 04 September 2017, 11:00-12:00

The Physics and Control of Balancing on a Point

User Prof Roy Featherstone (Department of Advanced Robotics, Italian Institute of Technology).

Friday 11 August 2017, 11:00-12:00

Birmingham Research Showcase

User Christophe Petit, Eike Ritter, Mark Ryan, Garfield Benjamin, David Galindo (Birmingham).

Thursday 20 July 2017, 11:00-12:00

Passports as encryption smartcards: why traveling abroad with your passport might be illegal

User Eric Verheul (Radboud).

Friday 14 July 2017, 11:00-12:00

Security and Privacy group research showcase

User Speaker to be confirmed.

Friday 14 July 2017, 11:00-12:00

Polymorphic Encryption and Pseudonymization in the Dutch eID scheme

User Eric Verheul (Radboud).

Artificial Intelligence and Natural Computation seminars

Thursday 13 July 2017, 11:00-12:00

University Staff Teaching Allocation: Formulating and Optimising a Many-Objective Problem

User Prof Jonathan Fieldsend (Department of Computer Science, University of Exeter).

Monday 10 July 2017, 11:00-12:00

Blockchain & Hyperledger

User Pete Cripps (Cloud Architect, IBM).

Artificial Intelligence and Natural Computation seminars

Thursday 06 July 2017, 11:00-12:00

Inferring functional networks from rule-based machine learning models

User Dr Jaume Bacardit (School of Computing Science, Newcastle University).

Artificial Intelligence and Natural Computation seminars

Monday 03 July 2017, 13:00-14:00

Improved runtime bounds for the Univariate Marginal Distribution Algorithm via anti-concentration

User Phan Nguyen (School of Computer Science, University of Birmingham).

Monday 26 June 2017, 11:00-12:00

(Avoiding) Boilerplate reduction proofs in cryptography - can we learn from F*-based techniques?

User Chris Brzuska (Hamburg).

Artificial Intelligence and Natural Computation seminars

Thursday 22 June 2017, 11:00-12:00

Rule Control of Goal Directed, Reactive, Communicating Robotic Agents

User Prof Keith Clark (Department of Computing, Imperial College London).

House Mechanical Engineering, G36.

Monday 19 June 2017, 14:00-15:00

Deciding subtype entailment

User Stephen Dolan (Computer Lab, University of Cambridge).

Friday 16 June 2017, 11:00-12:00

Automotive security research from a tier 1 perspective

User Michael Feiri and Martin Thompson (ZF TRW).

Artificial Intelligence and Natural Computation seminars

Thursday 15 June 2017, 11:00-12:00

Parameter tuning via abduction

User Dr Dan Ghica (School of Computer Science, University of Birmingham).

Monday 12 June 2017, 11:00-12:00

House Computer Science room 245.

Ethics, Risk and Responsibility in Cyber Security Research

Please note room change

User Katherine Fletcher (Oxford) and Garfield Benjamin (Birmingham).

Thursday 08 June 2017, 11:00-12:00

New foundations for string diagram rewriting

User Fabio Zanasi (UCL).

Friday 02 June 2017, 11:00-12:00

Information Security in Practice

User David Deighton (Birmingham).

Thursday 01 June 2017, 11:00-12:00

House Computer Science 217.

Relative pseudomonads

Room change!

User Nicola Gambino (University of Leeds).

Friday 26 May 2017, 11:00-12:00

Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results

User Jean Paul Degabriele (RHUL).

Thursday 25 May 2017, 11:00-12:00

Measuring & Reflecting on Mental Workload

User Max Wilson - University of Nottingham.

Artificial Intelligence and Natural Computation seminars

Wednesday 24 May 2017, 11:00-12:00

The Languages(s) in the Machine -- Multi-Modal Grounding for Explainable AI

User Dr Siddharth Narayanaswamy (Department of Engineering Science, University of Oxford).

Monday 22 May 2017, 11:00-12:00

Algorithms and barriers for random instances of computational problems

User Will Perkins (Dept of Mathematics, University of Birmingham).

Friday 19 May 2017, 11:00-12:00

Certifying the uncertifiable

User Julio Hernandez-Castro (University of Kent).

Thursday 18 May 2017, 11:00-12:00

Partner Modelling and its Impact on Human-Machine Dialogue Interactions

User Ben Cowan: UCD School of Information and Communication Studies.

Wednesday 17 May 2017, 11:00-12:00

Title to be confirmed

User Angela Sasse (UCL).

Artificial Intelligence and Natural Computation seminars

Thursday 11 May 2017, 11:00-12:00

Machine Learning and Computer Vision on Mars

User Dr Panagiotis Sidiropoulos (Department of Space & Climate Physics, University College London).

Artificial Intelligence and Natural Computation seminars

Monday 08 May 2017, 11:00-12:00

Manifolds in the Age of Big Data and Deep Learning

User Dr Hujun Yin (School of Electrical and Electronic Engineering, University of Manchester).

Artificial Intelligence and Natural Computation seminars

Friday 05 May 2017, 11:00-12:00

Online Ensemble Learning of Data Streams with Gradually Evolved Classes

User Dr Leandro L. Minku (Department of Informatics, University of Leicester).

House Mechanical Engineering, B22.

Thursday 04 May 2017, 14:00-15:00

Solution of an old problem in vector optimisation: Support function of the generalised Jacobian

User Abbas Edalat (Imperial College).

Friday 28 April 2017, 11:00-12:00

Towards the Analysis of Movement Variability in Human-Humanoid Interaction

User Miguel P. Xochicale (Doctoral Researcher in Human-Robot Interaction, University of Birmingham).

Wednesday 26 April 2017, 11:00-12:00

A Geometry of Interaction semantics for TensorFlow

User Dan Ghica (University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Friday 07 April 2017, 11:00-12:00

Long-Term Autonomy in Everyday Environments: A New Challenge for AI and Robotics

User Dr. Nick Hawes (School of Computer Science, University of Birmingham).

Monday 03 April 2017, 11:00-12:00

The frame generated by closed sublocales

User Ales Pultr (Charles University, Prague).

Friday 31 March 2017, 11:00-12:00

Arms Verification with Information Barriers: Constraining Bayesian Networks For Confidence Building

User Michael Huth (Imperial College London).

Thursday 30 March 2017, 11:00-12:00

Coalgebraic Dynamic Logics

User Clemens Kupke (University of Strathclyde).

Friday 24 March 2017, 11:00-12:00

Certifying the uncertifiable

User Thanassis Giannetsos (Surrey).

Thursday 23 March 2017, 11:00-12:00

On the commutativity of the powerspace monads

User Matthew de Brecht (University of Kyoto).

Friday 17 March 2017, 11:00-12:00

Towards the verified compilation of Lustre

User Timothy Bourke (Inria Paris, École Normale Supérieure).

Artificial Intelligence and Natural Computation seminars

Friday 10 March 2017, 11:00-12:00

Interfacing spinal motor neurons in humans for the control of upper limb prostheses

User Prof. Dario Farina (Department of Bioengineering, Imperial College London).

Monday 27 February 2017, 11:00-12:00

Closure of system T under the bar recursion rule

User Paulo Oliva (Queen Mary, University of London).

Friday 24 February 2017, 11:00-12:00

A formal Security Analysis of the Signal Messaging Protocol

User Luke Garratt (University of Oxford).

Thursday 23 February 2017, 11:00-12:00

Homotopy coherent distributive laws

User Nick Gurski (University of Sheffield).

Friday 17 February 2017, 11:00-12:00

House Computer Science, Room 217.

Noetherian Quasi-Polish spaces

User Arno Pauly.

Thursday 16 February 2017, 12:00-13:00

Fixed-Point Arithmetic in Somewhat Homomorphic Encryption Schemes

User Srinivas Vivek (University of Bristol).

Artificial Intelligence and Natural Computation seminars

Thursday 16 February 2017, 11:00-12:00

Planning Under Uncertainty and Robot Task Plan Performance Evaluation

User Pedro U. Lima, Institute for Systems and Robotics, Instituto Superior Técnico, U. Lisbon, Portugal.

Wednesday 15 February 2017, 11:00-12:00

A Surfeit of SSH Ciphersuites

User Kenny Paterson (Royal Holloway University of London).

Artificial Intelligence and Natural Computation seminars

Thursday 09 February 2017, 11:00-12:00

Cost sensitive learning in high dimensions with approximate nearest neighbours

User Henry W J Reeve, School of Computer Science, University of Manchester.

Monday 06 February 2017, 11:00-12:00

House Computer Science room 245.

Functoriality of modified realizability

Room 245 not Sloman Lounge

User Peter Johnstone (DPMMS, University of Cambridge).

Friday 03 February 2017, 11:00-12:00

Assessing the Procedural Security & Transparency Components of the Estonian Internet Voting System

User Jason Nurse (Oxford).

Thursday 26 January 2017, 11:00-12:00

Security Notions for Whitebox Cryptography

User Chris Brzuska (Hamburg University of Technology).

Thursday 19 January 2017, 11:00-12:00

Reversible System T

User Ian Mackie (University of Sussex).

Friday 13 January 2017, 11:00-12:00

Do we need trust for verifiability in e-voting?

User Peter Browne Roenne (Luxembourg).

Artificial Intelligence and Natural Computation seminars

Thursday 12 January 2017, 11:00-12:00

Reformation: a generic algorithm for repairing faulty representations.

Departmental Seminar

User Prof. Alan Bundy, School of Informatics, University of Edinburgh.

Monday 09 January 2017, 11:00-12:00

Representations for feasibly approximable functions

User Michal Konečný (Aston University).

Friday 16 December 2016, 11:00-12:00

Post-quantum cryptography

User Peter Schwabe (Radboud, NL).

Artificial Intelligence and Natural Computation seminars

Thursday 15 December 2016, 11:00-12:00

What is a cognitive map? - Unraveling its mystery using robots

PLEASE NOTE: This AINC seminar will take place on Tuesday 13 Dec

User Wai Kiang (Albert) Yeap, Professor of Artificial Intelligence and Director of CAIR, Auckland University of Technology, NZ.

Tuesday 13 December 2016, 11:00-12:00

Interaction morphisms

User Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology).

Friday 02 December 2016, 11:00-12:00

Alpha-Beta Privacy

User Luca Vigano (KCL).

Thursday 01 December 2016, 11:00-12:00

Probabilistic Programming

User Hongseok Yang (University of Oxford).

Artificial Intelligence and Natural Computation seminars

Friday 25 November 2016, 11:00-12:00

Cost-Sensitive Boosting: A Unifying Perspective

PLEASE NOTE: This AINC seminar will take place on Friday 18 Nov

User Gavin Brown, University of Manchester.

Friday 18 November 2016, 11:00-12:00

Transparency Overlays and Applications

User Sarah Meiklejohn (UCL).

Thursday 17 November 2016, 11:00-12:00

Physical/evolutionary foundations for mathematics vs logico/semantic foundations for mathematics

User Aaron Sloman (University of Birmingham).

Friday 11 November 2016, 11:00-12:00

Understanding and Improving the Security Impact of Smartphone Apps

User Vincent Taylor (University of Oxford) .

Artificial Intelligence and Natural Computation seminars

Thursday 10 November 2016, 11:00-12:00

Multiagent Planning, Learning & Influences

User Frans Oliehoek, University of Liverpool/ University of Amsterdam.

Monday 07 November 2016, 11:00-12:00

Semantic Foundations for Probabilistic Programming

User Sam Staton (University of Oxford).

Friday 04 November 2016, 11:00-12:00

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting

User Jonathan Bootle (UCL).

Thursday 03 November 2016, 11:00-12:00

A domain-theoretic approach to Brownian motion and general continuous stochastic processes

User Paul Bilokon.

Friday 21 October 2016, 11:00-12:00

The Million-Key Question – Investigating the Origins of RSA Public Keys

User Petr Svenda (Masaryk University, Czech Republic).

Thursday 20 October 2016, 11:00-12:00

Formalizing compositional proofs

User Jamie Vicary (University of Oxford).

Friday 14 October 2016, 11:00-12:00

Reconciling structural and nominal syntax in the language of diagrams

User Dan Ghica (Computer Science).

Friday 07 October 2016, 11:00-12:00

Decisions & Disruptions (D&D): A Cyber-Physical Systems Game for Studying Security Decisions

User Sylvain Frey (University of Lancaster).

Thursday 06 October 2016, 11:00-12:00

Adjunctions and Actions of Co/Cartesian Categories

User Francisco Lobo (University of Manchester).

Friday 30 September 2016, 11:00-12:00

Computer Science Summer Interns

User Connor Brasnell, Rhys Howard, Luke Taher and Christopher Wilson (University of Birmingham).

Thursday 15 September 2016, 11:00-12:00

LeiA: A Lightweight Authentication Protocol for CAN

User Andreea Radu (University of Birmingham).

Thursday 01 September 2016, 11:00-12:00

BeleniosRF: A Non-Interactive Receipt-Free Electronic Voting Scheme

User David Galindo (University of Birmingham).

Thursday 25 August 2016, 11:00-12:00

Lock It and Still Lose It - On the (In)Security of Automotive Remote Keyless Entry Systems

User David Oswald and Flavio Garcia (University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Thursday 04 August 2016, 11:00-12:00

3 Challenge Problems with Cyber Physical Systems and IoT

User Prof. Rahul Mangharam, Dept. of Electrical and Systems Engineering, School of Engineering and Applied Science, University of Pennsylvania .

Monday 18 July 2016, 11:00-12:00

not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation

User Hannes Mehnert (University of Cambridge).

Thursday 23 June 2016, 11:00-12:00

A Formal Security Analysis of ERTMS Train to Trackside Protocols

User Richard Thomas (University of Birmingham).

Thursday 16 June 2016, 11:00-12:00

House Room 217, School of Computer Science.

Internet Voting on Insecure Platforms

User Yvo Desmedt (The University of Texas at Dallas).

Thursday 09 June 2016, 14:00-15:00

Should we ban encryption? The world is not black and white

User Yvo Desmedt (The University of Texas at Dallas).

Artificial Intelligence and Natural Computation seminars

Thursday 09 June 2016, 11:00-12:00

Algorithms for building and analysing genomes -- A journey from yeast to cancer

User Giovanni Stracquadanio, Ph.D., Johns Hopkins School of Medicine, University of Oxford.

House Medical School, MED-CM04.

Tuesday 07 June 2016, 11:00-12:00

Dynamic games and strategies

User Norihiro Yamada (Oxford).

Friday 20 May 2016, 11:00-12:00

House Learning Centre UG09.

Side Effects in Natural Languages

User Jirka Marsik.

Friday 15 April 2016, 14:00-15:00

Towards Deployment of a Next-generation Secure Internet Architecture

User Adrian Perrig (ETH Zurich).

Thursday 14 April 2016, 11:00-12:00

Investigatory Powers Bill

User Ian Batten (University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Thursday 24 March 2016, 11:00-12:00

Meaning, Language Games and Inference

User Dr. Paul Piwek, Senior Lecturer, The Open University.

Monday 21 March 2016, 11:00-12:00

Cyber Security: It's a Socio-Technical Challenge

User Budi Arief (University of Kent).

Artificial Intelligence and Natural Computation seminars

Thursday 17 March 2016, 11:00-12:00

Rewriting syntactically complex English sentences in the FIRST project

User Dr. Constantin Orasan, Reader in Computational Linguistics, University of Wolverhampton.

Monday 14 March 2016, 11:00-12:00

Type Theory in Type Theory using Quotient Inductive Types

User Ambrus Kaposi (Nottingham).

Friday 26 February 2016, 11:00-12:00

Names with interleaved scopes

User Dan Ghica (Computer Science).

Thursday 25 February 2016, 11:00-12:00

Enriched-adjunction models and polarisation for modelling effects and resources

User Guillaume Munch-Maccagnoni (Cambridge).

Friday 19 February 2016, 11:00-12:00

Effects as sessions, sessions as effects

User Dominic Orchard (Imperial).

Friday 12 February 2016, 11:00-12:00

cMix: Anonymization by High-Performance Scalable Mixing

User Joeri de Ruiter (University of Birmingham).

Thursday 04 February 2016, 11:00-12:00

Programming and Proving with Concurrent Resources

User Ilya Sergey (UCL).

Friday 29 January 2016, 11:00-12:00

NetKAT: A FORMAL SYSTEM FOR THE VERIFICATION OF NETWORKS

User Alexandra Silva (UCL).

House Sloman Lounge, Computer Science Building (Y9 in Edgbaston Campus).

Friday 15 January 2016, 11:00-12:00

Towards A Knowledge Representation and Reasoning Architecture for Human-Robot Collaboration

Host: Jeremy L Wyatt

User Mohan Sridharan, The University of Auckland (NZ).

Thursday 14 January 2016, 11:00-12:00

Conjugate Hylomorphisms

User Nicolas Wu (Bristol).

House Sloman Lounge, Computer Science Building (Y9 in Edgbaston Campus).

Friday 18 December 2015, 13:00-14:00

Motion sensitive visual neural networks, from animals to bio robotics

Host: Dr. Shan He

User Prof. Shigang Yue, University of Lincoln, UK.

Thursday 03 December 2015, 16:00-17:00

Automated Reasoning in the Wild

Host: Dr. Manfred Kerber

User Ulrich Furbach, University of Koblenz, Germany.

House Sloman Lounge, Computer Science Building (Y9 in Edgbaston Campus).

Thursday 26 November 2015, 16:00-17:00

On the feasibility of cryptography for a wireless insulin pump system

User Eduard Marín Fàbregas (KU Leuven).

Thursday 26 November 2015, 11:00-12:00

Side-Channel Attacks on SHA-1-based Product Authentication ICs

User David Oswald (University of Birmingham).

House Arts Lecture Room 6.

Thursday 12 November 2015, 11:00-12:00

Title to be confirmed

User Ben Paddock, Developer at Talis.

Wednesday 11 November 2015, 15:00-15:30

Title to be confirmed

User Steve Pitchford, Development Manager at Majestic.

House Arts Lecture Room 6.

Wednesday 11 November 2015, 14:30-15:00

Haskell in Production

User Will Sewell, Platform Engineer at Pusher.

House Arts Lecture Room 6.

Wednesday 11 November 2015, 14:00-14:30

Structural Resolution meets Curry-Howard

User Ekaterina Komendantskaya (Dundee).

Artificial Intelligence and Natural Computation seminars

Friday 06 November 2015, 13:00-14:00

The Church-Turing Thesis in the theory of computation

This talk is part of the "AI and Consciousness" workshop

User Professor Achim Jung, School of Computer Science, University of Birmingham, UK.

Artificial Intelligence and Natural Computation seminars

Tuesday 03 November 2015, 16:00-16:30

What is computation and can it explain anything?

This talk is part of the "AI and Consciousness" workshop

User Dr. Dan R. Ghica, School of Computer Science, University of Birmingham, UK.

Artificial Intelligence and Natural Computation seminars

Tuesday 03 November 2015, 15:00-16:00

Reflexive Self: How

This talk is part of the "AI and Consciousness" workshop

User Professor Donald R. Perlis, Department of Computer Science, The University of Maryland , US.

Artificial Intelligence and Natural Computation seminars

Tuesday 03 November 2015, 14:00-15:00

Evolution of mathematical consciousness based on experienced positive and negative affordances

This talk is part of the "AI and Consciousness" workshop

User Aaron Sloman, School of Computer Science, University of Birmingham, UK.

Artificial Intelligence and Natural Computation seminars

Monday 02 November 2015, 16:00-16:30

Running into consciousness

This talk is part of the "AI and Consciousness" workshop

User Professor John Barnden, School of Computer Science, University of Birmingham, UK.

Artificial Intelligence and Natural Computation seminars

Monday 02 November 2015, 15:00-16:00

Reflexive Self: Why

This talk is part of the "AI and Consciousness" workshop

User Professor Donald R. Perlis, Department of Computer Science, The University of Maryland , US.

House Room E102, BioSciences. Building R27 on the Edgbaston Campus Map.

Monday 02 November 2015, 14:00-15:00

Robot Task Planning and Explanation in Uncertain and Open Worlds

User Prof. Jeremy Wyatt, University of Birmingham.

Thursday 29 October 2015, 12:00-13:00

Improving proof compression by better controlling cut and sharing

User Paola Bruscoli (Bath).

Friday 16 October 2015, 15:00-16:00

Getting to know your smart-card: Reverse-Engineering the Low Level Communication Layer

User Andriana Gkaniatsou .

Artificial Intelligence and Natural Computation seminars

Thursday 15 October 2015, 11:00-12:00

Can a Robot and a Planner Become Real Friends?

Host: Dr. Nick Hawes

User Dr. Daniele Magazzeni, Department of Informatics, King's College London.

House Mechanical Engineering B05.

Monday 12 October 2015, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Reinforcement Learning using Policy Gradients in Reproducing Kernel Hilbert Space

Host: Dr. Ata Kaban

User Dr Guy Lever, Department of Computer Science, University College London (UCL).

House Mechanical Engineering B05.

Monday 28 September 2015, 16:00-17:00

On the Forwarding Paths Produced by Internet Routing Algorithms

User Timothy Griffin (Cambridge).

Friday 25 September 2015, 13:00-14:00

Protocol State Fuzzing of TLS Implementations

User Joeri de Ruiter (University of Birmingham).

Thursday 24 September 2015, 11:00-12:00

Strong Complementarity in Quantum Computing

User Ross Duncan (University of Strathclyde).

Friday 18 September 2015, 14:00-15:00

BackScan: Backdoor Detection via Functionality Profiling

User Sam Thomas (University of Birmingham).

Thursday 17 September 2015, 11:00-12:00

Pareto Efficient Solutions of Attack-Defence Trees

User Zaruhi Aslanyan (Technical University of Denmark).

Thursday 10 September 2015, 11:00-12:00

The recursion hierarchy for PCF is strict

User John Longley (Edinburgh).

Tuesday 08 September 2015, 11:00-13:00

Diagrammatic mathematics and signal flow graphs

User Pawel Sobocinski (Southampton).

Friday 04 September 2015, 15:00-16:00

Security trade-offs and verifiability in IoT

User Mark Ryan (University of Birmingham).

House Mechanical Engineering G42.

Thursday 20 August 2015, 11:00-12:00

AMoDE-RT: Advancing Model-Driven Engineering for Embedded Real-Time Systems

Host: Leandro Minku

User Prof. Marco A. Wehrmeister, Federal University of Technology - Paraná (UTFPR).

Thursday 06 August 2015, 16:00-17:00

Wirelessly Lockpicking a Vehicle Immobilizer

User Flavio Garcia ( University of Birmingham).

Thursday 06 August 2015, 11:00-12:00

Template Power Analysis Against ECC Software Implementations

User Erick Nascimento (University of Campinas, Brazil).

Thursday 30 July 2015, 11:00-12:00

Smart-Guard: Defending user input from malware and keyloggers

User Michael Denzel (University of Birmingham).

House Mechanical Engineering, Room B24.

Thursday 02 July 2015, 11:00-12:00

GUIs, Gaze and Exergames - An Overview of my Research at the University of Auckland

Host: Behzad Bordbar

User Christof Lutteroth .

Tuesday 23 June 2015, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

A computability perspective on eliminativist computationalism

Joint work with Arthur Sullivan, Memorial University of Newfoundland, Canada

User Dan R. Ghica, Reader at the University of Birmingham.

House Mech Eng G42.

Monday 08 June 2015, 16:00-17:00

Encrypted cloud-based data sharing

User Alexander Kaitai Liang, Aalto University Finland.

House Learning Centre Room UG06.

Thursday 04 June 2015, 11:00-12:00

Cycle-based Programming of Distributed Systems: The Synchrony Hypothesis and Constructive Circuits.

Host: Dr. Dan R. Ghica

User Prof. Michael Mendler, University of Bamberg, Germany.

Thursday 28 May 2015, 16:00-17:00

Refining Strategic Ability

User Dimitar P Guelev (IMI/BAS).

Friday 15 May 2015, 16:00-17:00

Symbolic protocol verification - where next?

User Cas Cremers, University of Oxford.

Thursday 14 May 2015, 11:00-12:00

FreshMLTT: Dependent Type Theory with Names and Name-Abstraction

User Andy Pitts (University of Cambridge).

Friday 08 May 2015, 16:00-17:00

Leakage attacks beyond the single target setting

User Elisabeth Oswald, Bristol University.

House Mechanical Engineering, Room G28.

Thursday 07 May 2015, 11:00-12:00

Transition systems over games

User Paul Levy, University of Birmingham.

Thursday 30 April 2015, 16:00-17:00

CoLoSL: Concurrent Local Subjective Logic

User Azalea Raad (Imperial).

Friday 24 April 2015, 16:00-17:00

Verifiable Electronic Voting: Making it Real

Note unusual day

User Steve Schneider, University of Surrey.

Friday 24 April 2015, 11:00-12:00

Set-pi: Set Membership Pi-calculus

User Alessandro Bruni (Technical University of Denmark).

Thursday 16 April 2015, 11:00-12:00

Unikernels and the Next Generation Cloud

User Jon Crowcroft (University of Cambridge).

Thursday 09 April 2015, 11:00-12:00

Propositions as Sessions

User Sam Lindley (University of Edinburgh).

Friday 27 March 2015, 16:00-17:00

How to detect unauthorised usage of a key

User Mark Ryan and Jiangshan Yu (University of Birmingham).

Thursday 26 March 2015, 11:00-12:00

Coeffects: Context-aware programming languages

User Tomas Petricek (University of Cambridge).

House Mechanical Engineering, Room G28.

Friday 20 March 2015, 16:00-17:00

Mining Sequential Patterns from Uncertain Data

Host: Xin Yao

User Professor Rajeev Raman, University of Leicester.

Thursday 19 March 2015, 16:00-17:00

Providing transparent accountability for electronic currencies

User Ivan Gazeau (University of Birmingham).

Thursday 12 March 2015, 11:00-12:00

Demonstration of CT-Mail

Note unusual time

User Mark Ryan, Piotr Kordy, and Michael Denzel (Uni of Birmingham).

Thursday 12 March 2015, 10:00-11:00

Programs for Cheap!

User Jennifer Hackett (Nottingham).

Friday 06 March 2015, 16:00-17:00

Privacy and Access Control for Outsourced Personal Records

User Dominique Schroeder (Saarland University).

Thursday 05 March 2015, 11:00-12:00

Automata over infinite alphabets

User Nikos Tzevelekos (Queen Mary University).

Friday 27 February 2015, 16:00-17:00

Title to be confirmed

User Cas Cremers, University of Oxford.

Thursday 19 February 2015, 11:00-12:00

StarfishNet: decentralised security for low-power wireless networks

User Justin King-Lacroix, University of Oxford.

Thursday 12 February 2015, 11:00-12:00

Worldly Type Systems

User Conor McBride (University of Strathclyde).

Friday 06 February 2015, 16:00-17:00

Understanding and Fighting Malicious Activity on Online Social Networks

User Gianluca Stringhini, University College London.

Thursday 05 February 2015, 11:00-12:00

On Cubes and Types

User Thorsten Altenkirch (University of Nottingham).

Artificial Intelligence and Natural Computation seminars

Friday 30 January 2015, 16:00-17:00

A Simple and Consistent Technique for Vector-valued Distribution Regression

Host: Ata Kaban

User Dr Zoltán Szabó, Gatsby Computational Neuroscience Unit, Centre for Computational Statistics and Machine Learning (CSML) University College London (UCL) .

House Mechanical Engineering, B01.

Monday 26 January 2015, 16:00-17:00

Cohomology of Contextuality and Logical Paradoxes

User Kohei Kishida, University of Oxford.

House Mechanical Engineering, Room G28.

Friday 23 January 2015, 16:00-17:00

Verifying algorithm correctness on TSO architectures

Host: Behzad Bordbar

User Professor John Derrick, University of Sheffield.

Thursday 15 January 2015, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Compositional Object and Activity Recognition

Host: Ales Leonardis, Krzysztof Walas

User Prof. Dr. Björn Ommer, Universität Heidelberg (Germany), Heidelberg Collaboratory for Image Processing (HCI), Interdisciplinary Center for Scientific Computing (IWR).

Wednesday 14 January 2015, 16:00-17:00

Electronic Voting: Introduction, privacy and verifiability definitions, and Helios case study 2/2

User Ben Smyth (Huawei, France).

Friday 19 December 2014, 13:30-14:30

Electronic Voting: Introduction, privacy and verifiability definitions, and Helios case study 1/2

User Ben Smyth (Huawei, France).

Friday 19 December 2014, 11:00-12:00

House Arts - Lecture Room 201.

Innocent Strategies are Sheaves over Plays

User Takeshi Tsukada (University of Oxford).

Friday 12 December 2014, 12:00-13:00

Verification Tool DIY

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Professor Georg Struth, Department of Computer Science, University of Sheffield.

Artificial Intelligence and Natural Computation seminars

Thursday 11 December 2014, 16:00-17:00

Talking about Space

Host: Dr. Nick Hawes

User Dr. John D. Kelleher, School of Computing, Dublin Institute of Technology (DIT).

Monday 08 December 2014, 16:00-17:00

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Marta Kwiatkowska, Oxford University.

Thursday 04 December 2014, 16:00-17:00

CESG's Secure Communications Strategy

User Peter Haigh, CESG.

Thursday 04 December 2014, 11:00-12:00

Compiler technology for solving PDEs with performance portability

User Professor Paul Kelly, Imperial College London.

Thursday 27 November 2014, 16:00-17:00

Blindspot: Indistinguishable Anonymous Communications

User Joseph Gardiner (University of Birmingham).

House Learning Centre - UG10.

Thursday 27 November 2014, 11:00-12:00

Challenges in reproducibility in computer systems research

Host: Mirco Musolesi

User Tristan Henderson University of St Andrews.

Wednesday 26 November 2014, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Hypothesis Formulation in Medical Records Space: Taming the flood of data in electronic patient records

Host: Prof. Xin Yao

User Professor Andrew Brass, School of Computer Science, The University of Manchester.

House Mechanical Engineering, G26.

Monday 24 November 2014, 16:00-17:00

Iterative Learning Control: from Industrial Robotics to Next Generation Healthcare

User Professor Eric Rogers, University of Southampton.

Artificial Intelligence and Natural Computation seminars

Thursday 20 November 2014, 16:00-17:00

Learning Subspaces from Proximities

Host: Prof. Xin Yao

User Dr. Tingting Mu, Department of Electrical Engineering and Electronics, University of Liverpool.

Monday 17 November 2014, 16:00-17:00

Verified System Design with Rodin

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Professor Michael Butler, University of Southampton.

Thursday 13 November 2014, 16:00-17:00

PhD Student Five Minute Talks

User Various speakers.

Artificial Intelligence and Natural Computation seminars

Thursday 13 November 2014, 11:00-12:00

Using narrow phonetic transcription to improve the performance of an Arabic speech recognition system

Host: Prof. Xin Yao

User Prof. Allan Ramsay, School of Computer Science University of Manchester.

House Mechanical Engineering Room G28.

Monday 10 November 2014, 16:00-17:00

Multimodal mobile interaction – making the most of our users’ capabilities

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Stephen Brewster, School of Computing Science University of Glasgow.

Monday 10 November 2014, 16:00-17:00

Issues and activities in authoring ontologies

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Professor Robert Stevens, University of Manchester.

Thursday 06 November 2014, 16:00-17:00

Security of ECDSA in Bitcoin

User Nicolas T. Courtois (University College London).

Artificial Intelligence and Natural Computation seminars

Thursday 06 November 2014, 11:30-12:30

Vision as encoding, selection, and decoding: a view from the primary visual cortex

Host: Prof. Xin Yao, Prof. Uta Noppeney, Dr. Ulrik Beierholm

User Professor Zhaoping Li, Department of Computer Science, University College London.

House Learning Centre, UG10.

Monday 03 November 2014, 16:00-17:00

Picturing Quantum Processes. A first course in quantum theory and diagrammatic reasoning.

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Bob Coecke, Oxford University.

Thursday 30 October 2014, 16:00-17:00

Hack.lu CTF

User Various speakers.

Artificial Intelligence and Natural Computation seminars

Thursday 30 October 2014, 11:00-12:00

Modelling Expert Uncertainty in Medical Decision Support

Host: Prof. Xin Yao

User Professor Jonathan Garibaldi, School of Computer Science, University of Nottingham.

Monday 27 October 2014, 16:00-17:00

Verifiable Autonomy - how can you trust your robots?

Host: Dr Nick Hawes n.a.hawes@cs.bham.ac.uk

User Professor Michael Fisher, Liverpool University.

Thursday 23 October 2014, 16:00-17:00

Benefits of Using a Population in Combinatorial Search

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

User Adam Prugel-Bennett, University of Southampton .

Artificial Intelligence and Natural Computation seminars

Thursday 16 October 2014, 16:00-17:00

Graph Analysis through Quantum Walks

User Dr Luca Rossi, School of Computer Science, University of Birmingham.

House Mechanical Engineering, B01.

Monday 13 October 2014, 16:00-17:00

A link between lambda calculus and maps

User Noam Zeilberger.

Friday 10 October 2014, 12:00-13:00

Cyber-attacks on Smart Grid Infrastructures

User Professor Christopher Johnson, University of Glasgow.

Thursday 09 October 2014, 16:00-17:00

Key usage detection

User Jiangshan Yu (University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Thursday 09 October 2014, 11:00-12:00

Population-scale Mobile Sensing Systems

Host: Mirco Musolesi, PhD --- Please note: This is a joint AINC/HCI seminar.

User Nicholas Lane, PhD, Mobile and Sensing Systems group at Microsoft Research Asia.

House Learning Centre, LG14.

Monday 06 October 2014, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Decomposition for Large Scale Capacitated Arc Routing Problem

Host: Prof. Xin Yao

User Dr. Yi Mei, School of Computer Science and Information Technology, RMIT University.

Artificial Intelligence and Natural Computation seminars

Monday 29 September 2014, 16:00-17:00

Learning to identify software defects when historical sample modules are unavailable

Host: Dr. Shan He

User Dr. Ming Li, LAMDA Group, National Key Laboratory for Novel Software Technology, Nanjing University.

House Haworth 203.

Monday 01 September 2014, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Learning in the Model space

Host: Dr. Shan He

User Dr. Huanhuan Chen, School of Computer Science and Technology, University of Science and Technology of China (USTC).

House Haworth 203.

Monday 01 September 2014, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Machine Learning for / in Mobile Environments

Host: Dr. Shan He

User De-Chuan Zhan, LAMDA Group, National Key Laboratory for Novel Software Technology, Nanjing University.

Artificial Intelligence and Natural Computation seminars

Wednesday 20 August 2014, 16:00-17:00

Research on Semi-Supervised Support Vector Machine

Host: Dr. Shan He

User Dr. Yu-Feng Li, LAMDA Group, National Key Laboratory for Novel Software Technology, Nanjing University.

Artificial Intelligence and Natural Computation seminars

Wednesday 20 August 2014, 16:00-17:00

Mesh Learning: A functional Brain Network for Modeling the Cognitive Processes*

Host: Prof. Ales Leonardis

User Prof. Fatos T. Yarman Vural.

House B01, Mechanical Engineering.

Friday 15 August 2014, 14:00-15:00

Formal Methods for the Security of the Internet of Services

User Luca Vigano, King's College London.

Sunday 27 July 2014, 12:00-13:00

Probabilistic assessment of security scenarios - challenges and solutions

User Barbara Kordy, University of Luxembourg.

Artificial Intelligence and Natural Computation seminars

Thursday 24 July 2014, 11:00-12:00

Accuracy is not enough - a theoretical and practical tour of machine learning for medical decision support

Host: Dr. Peter Tino

User Prof. Paulo Lisboa, School of Computing & Mathematical Sciences, Liverpool John Moores University.

Monday 21 July 2014, 16:00-17:00

Balancing Societal Security and Individual Privacy: Accountable Escrow System

User Jia Liu, Mark D. Ryan (University of Birmingham); Liqun Chen (HP Labs, Bristol).

Thursday 10 July 2014, 11:00-12:00

An overview of some GCHQ/NSA projects

User Tom Chothia, University of Birmingham.

Thursday 03 July 2014, 11:00-12:00

House Room 217, School of Computer Science.

Entropy model checking [NOTE: CHANGE OF LOCATION]

User Chunyan Mu, University of Birmingham.

Thursday 26 June 2014, 11:00-12:00

Long-Term Monitoring of Human Mobility on Smartphones

Host: Mirco Musolesi

User Dr Petteri Nurmi, Aalto University/University of Helsinki.

House CHEM-G35.

Friday 20 June 2014, 14:00-15:00

ECC-based bug attacks on OpenSSL: a retrospective

User Dan Page, University of Bristol.

Thursday 19 June 2014, 11:00-12:00

Probabilistic Models of Human Location Behaviour

Host: Mirco Musolesi

User Dr James McInerney, Princeton University.

House Bioscience E102 (ROOM CHANGE).

Monday 09 June 2014, 16:00-17:00

The Psychology of Security

Host: Shishir Nagaraja - ROOM CHANGE

User Prof. Ross Anderson, University of Cambridge.

Thursday 05 June 2014, 16:00-17:00

Security and privacy in society: meeting at the Royal Society

User Mark Ryan, University of Birmingham.

House Bioscience 301 (ROOM CHANGE).

Thursday 05 June 2014, 11:00-12:00

All Networks Great and Small

Host: Mirco Musolesi - ROOM CHANGE

User Prof. Robin Dunbar, University of Oxford.

Thursday 29 May 2014, 16:00-17:00

Colimits of monads on Set

User Nathan Bowler, University of Hamburg.

Friday 16 May 2014, 16:00-17:00

The Geometry of Information Flow

Host: Dan Ghica

User Jamie Vicary, University of Oxford.

Artificial Intelligence and Natural Computation seminars

Thursday 15 May 2014, 16:00-17:00

Mutation and selection strategies for incremental evolution

Host: Peter Tino

User Dr Alastair Channon, School of Computing and Mathematics, Keele University.

Monday 12 May 2014, 16:00-17:00

Care.data: when good intentions are not enough

User Ian Batten, University of Birmingham.

Thursday 08 May 2014, 11:00-12:00

A Formal Model and Practical Technique for Quantifying Information Leakage in Software

User Chris Novakovic, University of Birmingham.

Wednesday 30 April 2014, 11:00-12:00

Timing attacks in security protocols: symbolic framework and proof techniques

User Vincent Cheval (School of Computer Science, University of Birmingham).

Thursday 17 April 2014, 11:00-12:00

Forensic Virtual Machines: Dynamic defence in the Cloud via Introspection

User Behzad Bordbar.

Artificial Intelligence and Natural Computation seminars

Thursday 10 April 2014, 11:00-12:00

Generation of Feasible Scenes in an Ontological Framework

Host: Nick Hawes

User Dr Zeyn Saigol, Ocean Systems Laboratory, School of Engineering & Physical Sciences, Heriot-Watt University.

Monday 07 April 2014, 16:00-17:00

Robbing the bank using formal methods

User Joeri de Ruiter.

Thursday 03 April 2014, 11:00-12:00

Understanding preference reversals as optimal under constraints

User George Farmer, University of Manchester.

Tuesday 01 April 2014, 16:00-17:00

Towards Optimal Techniques for Command Selection

Host: Andrew Howes

User Gilles Bailly, TELECOM ParisTech.

Thursday 27 March 2014, 16:00-17:00

Stanford Javascript crypto library

User Mihai Ordean.

Thursday 27 March 2014, 11:00-12:00

Everyday interactions with your phone

User Duncan Brumby, UCL Interaction Centre.

Tuesday 25 March 2014, 16:00-17:00

House UG06 Learning Centre.

A bridge between semirings

User Flavien Breuvart, PPS, University of Paris 7.

Friday 21 March 2014, 16:00-17:00

House Room 222, School of Computer Science.

Verifying Differential Privacy by Program Logic

User Marco Gaboardi.

Thursday 20 March 2014, 10:00-11:00

Should I Reply to this Email? Email Response Patterns as a Function of Inbox-level Cues

User Anna Cox, UCLIC, University College London.

Artificial Intelligence and Natural Computation seminars

Tuesday 18 March 2014, 16:00-17:00

Bayesian reinforcement learning: Algorithms and models

Host: Prof. Jeremy Wyatt

User Dr. Christos Dimitrakakis, Computer Science and Engineering, Chalmers University of Technology, Göteborg.

Artificial Intelligence and Natural Computation seminars

Monday 17 March 2014, 16:00-17:00

Are frames adequate for capturing language meaning? A discussion of chained metonymy and spreading activation.

Host: John Barnden

User Dr. Michael Moodie.

House G26, Mechanical Engineering.

Friday 14 March 2014, 16:00-17:00

Update monads: cointerpreting directed containers

User Tarmo Uustalu, Tallinn University of Technology.

Artificial Intelligence and Natural Computation seminars

Friday 14 March 2014, 14:00-15:00

Electrostimulation to reduce synaptic scaling driven progression of Alzheimer's disease

Host: John Bullinaria

User Dr. Mark Rowan, Institut für Physiologie, University of Bern.

Thursday 20 February 2014, 16:00-17:00

Enhanced Certificate Transparency and End-to-end Encrypted Mail

User Mark Ryan.

Thursday 20 February 2014, 11:00-12:00

Accessing the real world use of novel technologies through research in the wild

User Paul Marshall, UCLIC, University College London.

Tuesday 18 February 2014, 16:00-17:00

The usable social network? Considerations for dealing with interactive personal networks

User Bernie Hogan, Oxford Internet Institute, University of Oxford.

Tuesday 11 February 2014, 16:00-17:00

House Room 222, School of Computer Science.

NDSS dry run

User Mark Ryan.

Thursday 06 February 2014, 10:00-11:00

House Room 222, School of Computer Science.

Detecting and Analysing compromised Firmware in Memory Forensics

User Michael Denzel.

Thursday 30 January 2014, 10:00-11:00

How to think about architectures for minds of autonomous animals and machines

User Aaron Sloman.

Artificial Intelligence and Natural Computation seminars

Thursday 23 January 2014, 16:00-17:00

Bayesian Artificial Intelligence for Tackling Uncertainty in Self-Adaptive Systems: The Case of Dynamic Decision Networks

Note: Topic of Artificial Intelligence and Software Engineering. Host: Leandro Minku

User Dr. Nelly Bencomo, Aston University.

Wednesday 22 January 2014, 16:00-17:00

Face Analysis in the Wild

User Michel Valstar, Mixed Reality Lab, University of Nottingham.

Tuesday 21 January 2014, 16:00-17:00

House B04 Mechanical Engineering.

An introduction to overt subspaces of R^n

User Paul Taylor, University of Birmingham.

Thursday 16 January 2014, 16:00-17:00

House G42 Mechanical Engineering.

General Purpose Programming with Dependent Types

User Edwin Brady, University of St Andrews.

Friday 10 January 2014, 16:00-17:00

Virtual Multi-Protocol Attacks in Non-Repudiation Protocols

User Matthijs Melissen.

Thursday 19 December 2013, 11:00-12:00

Quantitative analysis of opacity

User Chunyan Mu.

Artificial Intelligence and Natural Computation seminars

Thursday 05 December 2013, 11:00-12:00

Metamorphic Testing: A Simple Approach to Alleviate the Oracle Problem

Host: Dr. Rami Bahsoon

User Professor Tsong Chen, Faculty of Information & Communication Technologies, Swinburne University of Technology .

Wednesday 04 December 2013, 16:00-17:00

The Ambient Intelligent Environment as an Attachment Figure: How to Create Sensitive Coaching Systems for Human Care

User Peter Roelffma.

House Nuffield G19.

Tuesday 26 November 2013, 16:00-17:00

The dual of pattern matching - copattern matching

User Anton Setzer, Swansea University.

Artificial Intelligence and Natural Computation seminars

Friday 22 November 2013, 16:00-17:00

Evolutionary computing assisting in the construction of variability tolerant designs

Host: Prof. Xin Yao

User Prof Andy Tyrrell, Department of Electronics, University of York.

Monday 18 November 2013, 16:00-17:00

Towards fine-grained frame-based sentiment analysis

Host: Andrew Gargett

User Josef Ruppenhofer, University of Hildesheim.

Thursday 14 November 2013, 16:00-17:00

Two extensions of Reynolds' Relational Parametricity: Classical Mechanics and Dependent Types

User Bob Atkey.

Friday 08 November 2013, 16:00-17:00

Social Signal Processing: Understanding Social Interactions Through Nonverbal Behavior Analysis

Host: Mirco Musolesi

User Alessandro Vinciarelli, University of Glasgow.

Thursday 07 November 2013, 16:00-17:00

Private machine learning: case of the Internet

User Shishir Nagaraja, School of Computer Science, University of Birmingham.

Thursday 07 November 2013, 11:00-12:00

Product representation of default bilattices

User Hilary Priestley, University of Oxford.

House 124, Chemical Engineering.

Friday 01 November 2013, 16:00-17:00

Unicorn: A System for Searching the Social Graph

Host: Paul Levy

User Soren Lassen, Facebook.

Thursday 24 October 2013, 16:00-17:00

A Schnorr-Like Lightweight Identity-Based Signature Scheme

User Flavio Garcia, School of Computer, University of Birmingham.

Thursday 24 October 2013, 11:00-12:00

Parametric completeness for separation theories (via hybrid logic)

User James Brotherston, University College London.

Friday 18 October 2013, 16:00-17:00

Temporal data stream processing for intrusion detection

Host: Behzad Bordbar

User Alexei Lisitsa, University of Liverpool.

Thursday 10 October 2013, 16:00-17:00

Dev-Vote: Electronic voting on an untrusted platform

User Gurchetan S Grewal.

Thursday 10 October 2013, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Pens and Other Tangibles

User Beryl Plimmer, University of Auckland.

House Nuffield G19.

Tuesday 08 October 2013, 16:00-17:00

Building Confidence in Computer Simulations as Tools for Replacing Animal Experimentation in Biological Research

Host: Dr. Shan He

User Dr. Kieran Alden, School of Biosciences, the University of Birmingham.

Monday 07 October 2013, 16:00-17:00

House Learning Centre UG10.

Local cellular network services in remote areas

User Mariya Zheleva, University of California, Santa Barbara.

Friday 04 October 2013, 16:00-17:00

Joint Morphological and Syntactic Analysis

Please note that coffee will be served at 3:15 at room 123 (School of Computer Science), followed by the one-hour seminar at 4pm.

User Bernd Bohnet, University of Birmingham.

Artificial Intelligence and Natural Computation seminars

Thursday 03 October 2013, 16:00-17:00

Compositionality in Vision and Language

Host: Prof. Aaron Sloman

User Siddharth Narayanaswamy, School of Electrical and Computer Engineering, Purdue University, West Lafayette, USA.

House Learning Centre UG09.

Monday 30 September 2013, 16:00-17:00

Can Smart Cameras protect our Privacy?

Host: Peter Lewis

User Bernhard Rinner.

Artificial Intelligence and Natural Computation seminars

Tuesday 24 September 2013, 16:00-17:00

Anticipatory Representational Mechanisms in Animals

Host: Prof. Aaron Sloman, Note: unusual time and place

User Dr. Marcin Milkowski, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw.

House Mechanical Engineering, G36.

Wednesday 18 September 2013, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

The need for moral competency in autonomous agent architectures

Host: Prof. Aaron Sloman, Note: unusual time and place

User Dr. Matthias Scheutz, Department of Computer Science, School of Engineering, Tufts University.

House Mechanical Engineering, G36.

Wednesday 18 September 2013, 15:00-16:00

Artificial Intelligence and Natural Computation seminars

Bayesian Machine Learning for Controlling Autonomous Systems

Host: Prof. Jeremy Wyatt. Note unusual time and location.

User Dr. Marc Deisenroth, Imperial College London.

House Mech Eng G26.

Wednesday 11 September 2013, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Pervasive Technologies for Depression Early Stage Prediction and Intervention (PerDESPI)

Host: Jizheng Wan

User Professor Bin Hu, School of Information Science and Engineering, Lanzhou University, China.

Artificial Intelligence and Natural Computation seminars

Monday 12 August 2013, 16:00-17:00

Pervasive Technologies for Depression Early Stage Prediction and Intervention (PerDESPI)

Host: Jizheng Wan

User Professor Bin Hu, School of Information Science and Engineering, Lanzhou University, China.

Tuesday 06 August 2013, 16:00-17:00

A Qualitative Comparison of SSL Validation Alternatives

User Henning Perl, Leibniz Universität Hannover.

Monday 29 July 2013, 11:00-12:00

Dynamic measurement and protected execution: model and analysis

User Ian Batten, School of Computer Science, University of Birmingham.

Thursday 18 July 2013, 11:00-12:00

House Learning Centre UG05.

Computer-Mediated Communication

User Oscar De bruijn, Manchester Business School, The University of Manchester.

Tuesday 09 July 2013, 16:00-17:00

Learning to generalise grasps to novel objects

Host: Aaron Sloman

User Marek Kopicki, University of Birmingham.

Thursday 04 July 2013, 16:00-17:00

Reflection in sheaf models

User Michael Fourman, University of Edinburgh.

Thursday 04 July 2013, 14:00-15:00

Privacy issues: from protocols to applications

User Vincent Cheval (School of Computer Science, University of Birmingham).

Thursday 04 July 2013, 11:00-12:00

House UG06, Learning Centre.

What Theorem Prover to use for Verifying Auctions?

User Christoph Lange (University of Birmingham, School of Computer Science).

Wednesday 03 July 2013, 13:00-14:00

Why is it so hard to get machines to reason like our ancestors who produced Euclidean Geometry?

User Aaron Sloman, University of Birmingham.

Thursday 20 June 2013, 16:00-17:00

Probabilistic Point-to-Point Information Leakage

User Chris Novakovic (School of Computer Science, University of Birmingham).

Thursday 20 June 2013, 11:00-12:00

Human-Centered Artificial Intelligence

Host: Nick Hawes

User Alexandra Kirsch, University of Tübingen .

Artificial Intelligence and Natural Computation seminars

Thursday 13 June 2013, 16:00-17:00

Using spatio-temporal knowledge for activity recognition and monitoring in Human-Robot Interaction

Host: Dr. Nick Hawes

User Michael Karg, Technische Universität München Department of Computer Science.

Artificial Intelligence and Natural Computation seminars

Thursday 13 June 2013, 13:00-14:00

Understanding Brain Networks using Functional Imaging

Host: Prof. Jeremy Wyatt

User Peter Zeidman, Wellcome Trust Centre for Neuroimaging, University College London.

Wednesday 12 June 2013, 14:00-15:00

A Neural Attachment Model and Algorithmic Social Intelligence

Host: Dean Petters

User Abbas Edalat, Imperial College London.

Thursday 06 June 2013, 16:00-17:00

Imposing Order on the Temporal Chaos of ProVerif*

User Tom Chothia (School of Computer Science, University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Thursday 06 June 2013, 11:00-12:00

Solving the distal reward problem with rare neural correlations: from theory to robots

Host: Dr. John Bullinaria

User Dr. Andrea Soltoggio, Research Institute for Cognition and Robotics (CoR-Lab), Bielefeld, Germany..

House UG06, Learning Centre.

Friday 31 May 2013, 16:00-17:00

Arguments, Values and Baseballs

Host: Behzad Bordbar

User Katie Atkinson, University of Liverpool.

Thursday 23 May 2013, 16:00-17:00

The Anatomy of Scientific Gossip

User Antonio Lima, University of Birmingham.

Wednesday 22 May 2013, 13:00-14:00

Graphical Foundations for Dialogue Games

User Cai Wingfield, University of Bath.

Artificial Intelligence and Natural Computation seminars

Friday 17 May 2013, 16:00-17:00

Online Kernel Density Estimation for learning and classification

Host: Prof. Ales Leonardis

User Dr. Matej Kristan, Visual Cognitive Systems Laboratory, Faculty of Computer and Information Science, University of Ljubljana.

Friday 17 May 2013, 16:00-17:00

Elastic and Fault-Tolerant Stream Processing in the Cloud

Host: Mirco Musolesi

User Peter Pietzuch, Imperial College.

Thursday 16 May 2013, 16:00-17:00

House Learning Centre UG06.

Location Privacy in Opportunistic Mobile Social Networks

User Sameh Zakhary, School of Computer Science & IT, University of Nottingham.

Tuesday 14 May 2013, 16:00-17:00

House Room 217, School of Computer Science.

Caveat Coercitor: coercion-evidence in electronic voting

User Gurchetan S. Grewal and Mark Ryan.

Friday 10 May 2013, 11:00-12:00

Static Analysis for Regular Expression Denial-of-Service Attacks

User Asiri Rathnayake (University of Birmingham).

Thursday 09 May 2013, 11:00-12:00

Sensible smartphone defences against (over)smart sensing

User Shishir Nagaraja, University of Birmingham.

Wednesday 01 May 2013, 13:00-14:00

Concurrent Games with Symmetry

Joint Theory Seminar / Lab Lunch

User Pierre Clairambault, University of Cambridge.

Tuesday 23 April 2013, 11:00-12:00

Fibrational parametricity

User Neil Ghani, University of Strathclyde.

Thursday 18 April 2013, 10:00-11:00

House UG09 Learning Centre.

The Ramifications of Sharing in Data Structures

User Jules Villard, UCL.

Friday 15 March 2013, 16:00-17:00

The surprising difficulty of using mathematics in computer science

User Achim Jung, University of Birmingham.

Wednesday 06 February 2013, 13:00-14:00

Decision problems for linear recurrence sequences

User James Worrell, University of Oxford.

Friday 01 February 2013, 16:00-17:00

Interdependence and Predictability of Human Mobility and Social Interactions

Room changed

User Mirco Musolesi, University of Birmingham.

Wednesday 30 January 2013, 13:00-14:00

Software Effort Estimation as a Multi-objective Learning Problem

Room changed

User Leandro Minku, University of Birmingham.

Wednesday 23 January 2013, 13:00-14:00

Frank, a direct style language with typed effects

User Conor McBride, University of Strathclyde.

Friday 11 January 2013, 16:00-17:00

Random Matrices, Compressive Sensing, and the Light Field

Room changed

User Iain Styles, University of Birmingham.

Wednesday 12 December 2012, 13:00-14:00

Quantitative Verification: Correctness, Reliability and Beyond

User David Parker, University of Birmingham.

Wednesday 05 December 2012, 13:00-14:00

Compositional algebras of C/E and P/T nets

User Pawel Sobocinski, University of Southampton.

Friday 30 November 2012, 16:00-17:00

On the Origins of Biological Computations

User Aaron Sloman, University of Birmingham.

Wednesday 21 November 2012, 13:00-14:00

Agent programming languages

User Natasha Alechina, University of Nottingham.

Friday 16 November 2012, 16:00-17:00

Title to be confirmed

User Paul Levy, University of Birmingham.

Wednesday 14 November 2012, 13:00-14:00

Artificial Immune Systems

User Christine Zarges, University of Birmingham.

Wednesday 24 October 2012, 13:00-14:00

Seamless Computing

User Dan Ghica, University of Birmingham.

Wednesday 10 October 2012, 13:00-14:00

Concurrent Computational Interpretation of Dummett's Axiom and Prelinearity

User Yoichi Hirai, University of Tokyo.

Monday 27 August 2012, 11:00-12:00

A Voyage to the Deep-Heap

User Dino Distefano, Queen Mary, University of London.

Friday 10 August 2012, 16:00-17:00

Forcing, effects and continuity

User Martin Escardo, University of Birmingham.

Friday 03 August 2012, 16:00-17:00

House B01 Mechanical Engineering.

The value of the two values

User João Marcos, Universidade Federal do Rio Grande do Norte.

Wednesday 18 July 2012, 16:00-17:00

House B01 Mechanical Engineering.

Analysing PCF and Kleene computability via sequential procedures

User John Longley, University of Edinburgh.

Friday 06 July 2012, 16:00-17:00

Modes of Bar Recursion

User Tom Powell, Queen Mary, University of London.

Tuesday 03 July 2012, 16:00-17:00

Geometric constructions for (op)fibrations

User Bertfried Fauser, University of Birmingham.

Friday 22 June 2012, 16:00-17:00

Linear dependent types: Complexity of PCF term evaluation.

Joint Theory Seminar and Lab Lunch

User Barbara Petit, Università di Bologna.

Monday 11 June 2012, 14:00-15:00

Multiparty session types and distributed systems

User Nobuko Yoshida, Imperial College London.

Friday 01 June 2012, 16:00-17:00

A Saturation Method for Collapsible Pushdown Systems

Joint Theory Seminar and Lab Lunch

User Matthew Hague, Université Paris-Est.

Tuesday 29 May 2012, 12:00-13:00

Measuring progress of probabilistic model-checkers

User Franck van Breugel, York University, Toronto.

Thursday 05 April 2012, 16:00-17:00

Parameterized algebraic theories and computational effects

User Sam Staton, University of Cambridge.

Friday 09 March 2012, 16:00-17:00

Automata and logics on structures with data

User Ranko Lazic, University of Warwick.

Friday 24 February 2012, 16:00-17:00

House 217 Computer Science.

Observations about definability in an abstract datatype of real numbers

User Alex Simpson, University of Edinburgh.

Friday 03 February 2012, 13:00-14:00

Topological dualities for distributive meet-semilattices, implicative semilattices and Hilbert algebras

User Ramon Jansana, University of Barcelona.

Friday 20 January 2012, 16:00-17:00

Constructing Differential Categories and Deconstructing Categories of Games

User Guy McCusker, University of Bath.

Friday 13 January 2012, 16:00-17:00

Suszko's Thesis and Extensionality

User Matteo Bianchetti, University of St Andrews.

Friday 09 December 2011, 16:00-17:00

Title to be confirmed

User Ramon Jansana, University of Barcelona.

Friday 09 December 2011, 16:00-17:00

The language X: term rewriting, continuations and classical types, and the impossibility of filter semantics

User Steffen van Bakel, Imperial College London.

Friday 25 November 2011, 16:00-17:00

Induction and Coinduction in fibrations

User Clément Fumex, University of Strathclyde.

Artificial Intelligence and Natural Computation seminars

Friday 18 November 2011, 16:00-17:00

The Evolution of Neural Generative Models

User Dr. Chrisantha Fernando, Deptartment of Informatics, Sussex University.

House UG40, School of Computer Science.

Monday 14 November 2011, 16:00-17:00

How To Be More Productive

User Graham Hutton, University of Nottingham.

Friday 11 November 2011, 16:00-17:00

Inductive-inductive definitions: axiomatisation and categorical semantics

User Fredrik Nordvall Forsberg, Swansea University.

Friday 28 October 2011, 16:00-17:00

House UG06 Learning Centre.

Understanding Multi-core Concurrency

User Scott Owens, University of Cambridge.

Friday 21 October 2011, 16:00-17:00