Theoretical computer science seminar

Context-free grammars and finite-state automata over categories

Noam Zeilberger (LIX).

LG23, Computer Science // Zoom.

Friday 01 December 2023, 11:00-11:50

Theoretical computer science seminar

Positive first-order logic on words and graphs

Denis Kuperberg (ENS Lyon).

LG23, Computer Science // Zoom.

Friday 24 November 2023, 11:00-11:50

Computer Science Seminar Series

Private Data Analysis with Billions of Participants

Graham Cormode, University of Warwick.

UG09 in Murray Learning Center.

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

Theoretical computer science seminar

Contactless Payments made Private via Bisimilarity

Note unusual room

Ross Horne (University of Strathclyde).

LG06, Old Gym // Zoom.

Friday 10 November 2023, 11:00-11:50

Theoretical computer science seminar

The Dafny Programming Language and Static Verifier

Stefan Zetzsche (Amazon).

LG23, Computer Science // Zoom.

Friday 03 November 2023, 11:00-11:50

Theoretical computer science seminar

Cut-elimination, Cut-restriction

Timo Lang (UCL).

LG23, Computer Science // Zoom.

Friday 27 October 2023, 11:00-11:50

Computer Science Seminar Series

Software for Compositional Modelling in Epidemiology

Prof. John Baez, University of California Riverside.

LG12 Old Gym.

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

Theoretical computer science seminar

Why promises matter in constraint satisfaction?

Jakub Opršal (University of Birmingham).

LG23, Computer Science // Zoom.

Friday 06 October 2023, 11:00-11:50

Theoretical computer science seminar

Cancelled

UNISON.

Picket lines.

Friday 29 September 2023, 11:00-11:50

Theoretical computer science seminar

Inductive Continuity via Brouwer Trees

Ayberk Tosun (University of Birmingham).

LG23, Computer Science // Zoom.

Friday 25 August 2023, 14:00-14:50

Theoretical computer science seminar

Categories like Hilbert spaces

Chris Heunen (University of Edinburgh).

LG23, Computer Science // Zoom.

Friday 16 June 2023, 14:00-14:50

Theoretical computer science seminar

Satisfiability solving with conflict driven clause learning and non-implicational inferences

Sam Buss (University of California).

UG05, Murray Learning Centre.

Thursday 15 June 2023, 16:00-16:50

Theoretical computer science seminar

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Mathieu Huot (University of Oxford).

LG23, Computer Science // Zoom.

Friday 09 June 2023, 14:00-14:50

Theoretical computer science seminar

Computational expressivity of (circular) proofs with fixed points

Gianluca Curzi (University of Birmingham).

LG23, Computer Science // Zoom.

Friday 02 June 2023, 14:00-14:50

Theoretical computer science seminar

Synthetic (Oracle) Computability in Constructive Type Theory

Yannick Forster (INRIA).

LG23, Computer Science // Zoom.

Friday 26 May 2023, 14:00-14:50

Theoretical computer science seminar

Categorical Semantics of Learning by Gradient Descent

Fabio Zanasi (UCL).

LG23, Computer Science // Zoom.

Friday 19 May 2023, 14:00-14:50

Theoretical computer science seminar

Towards a Calculus of Substitution for Dinatural Transformations

Alessio Santamaria (University of Sussex).

LG23, Computer Science // Zoom.

Friday 05 May 2023, 14:00-14:50

Theoretical computer science seminar

Picturing Quantum Software

Aleks Kissinger (University of Oxford).

LG23, Computer Science // Zoom.

Friday 28 April 2023, 14:00-14:50

Theoretical computer science seminar

Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments

Mehran Hosseini (Kings College London).

LG23, Computer Science // Zoom.

Friday 21 April 2023, 14:00-14:50

Theoretical computer science seminar

Some applications of free extensions to partial evaluation, equational-proof synthesis, and normalisation-by-evaluation

Note unusual time because of interviews

Ohad Kammar (University of Edinburgh).

LG23, Computer Science // Zoom.

Friday 24 March 2023, 11:00-11:50

Theoretical computer science seminar

Cancelled

University and College Union (UCU).

Picket lines.

Friday 17 March 2023, 14:00-14:50

Theoretical computer science seminar

Effectfully gardening with the Pythia

Note unusual time because of interviews

Martin Baillon (INRIA).

LG23, Computer Science // Zoom.

Friday 03 March 2023, 11:00-11:50

Theoretical computer science seminar

Fundamental Theorem of Calculus, point-free -- applications to exp and log

Steve Vickers (University of Birmingham).

LG23, Computer Science // Zoom.

Friday 24 February 2023, 14:00-14:50

Theoretical computer science seminar

Composable Constraint Models for Permutation Problems

Ruth Hoffmann (University of St Andrews).

LG23, Computer Science // Zoom.

Friday 17 February 2023, 14:00-14:50

Theoretical computer science seminar

Cancelled

University and College Union (UCU).

Picket lines.

Friday 10 February 2023, 14:00-14:50

Theoretical computer science seminar

Control flow as a contour of data flow

This term, seminars will start at 14:00

Dan Ghica (University of Birmingham).

LG23, Computer Science // Zoom.

Friday 03 February 2023, 14:00-14:50

Theoretical computer science seminar

Cyclic Systems for Arithmetic Theories of Inductive Definitions

Lukas Holter Melgaard (University of Birmingham).

LG23, Computer Science // Zoom.

Friday 02 December 2022, 13:30-14:20

Theoretical computer science seminar

Cancelled

University and College Union (UCU).

Picket lines.

Friday 25 November 2022, 13:30-14:30

Theoretical computer science seminar

When measurable spaces don't have enough points

Paolo Perrone (University of Oxford).

LG23, SoCS and Zoom (see abstract for link).

Friday 18 November 2022, 13:30-14:20

Theoretical computer science seminar

The linear operator semantics of probabilistic programs

Fredrik Dahlqvist (UCL).

LG23, SoCS and Zoom (see abstract for link).

Friday 11 November 2022, 13:30-14:20

Theoretical computer science seminar

Temporal Refinements for Guarded Recursive Types

Colin Riba (ENS Lyon).

LG23, SoCS and Zoom (see abstract for link).

Friday 04 November 2022, 13:30-14:20

Theoretical computer science seminar

The Functional Machine Calculus

Chris Barrett (University of Birmingham).

LG23, SoCS and Zoom (see abstract for link).

Friday 28 October 2022, 13:30-14:20

Theoretical computer science seminar

Acyclic types and epimorphisms in homotopy type theory

Tom day Jong!

Tom de Jong (University of Nottingham).

LG23, SoCS and Zoom (see abstract for link).

Friday 21 October 2022, 13:30-14:20

Theoretical computer science seminar

Concept-Instance Algebra -- A retelling of B-systems

John Cartmell.

LG23, SoCS and Zoom (see abstract for link).

Friday 14 October 2022, 13:30-14:30

Theoretical computer science seminar

Mixed states and module categories

Dominic Verdon (University of Bristol).

LG23, SoCS and Zoom (see abstract for link).

Friday 07 October 2022, 13:30-14:20

Theoretical computer science seminar

Primrose: Selecting Container Data Types by their Properties

Xueying Qin (Huawei Edinburgh Research Centre).

LG23, SoCS and Zoom (see abstract for link).

Friday 01 July 2022, 14:00-15:00

Theoretical computer science seminar

The Fine-Grained Complexity of Pattern Counting Problems

Marc Roth (University of Oxford).

LG23, SoCS and Zoom (see abstract for link).

Friday 27 May 2022, 14:00-15:00

Theoretical computer science seminar

Kripke Semantics for Intuitionistic Łukasiewicz Logic

Paulo Oliva (Queen Mary, University of London).

LG23, SoCS and Zoom (see abstract for link).

Friday 13 May 2022, 14:00-15:00

Theoretical computer science seminar

Model Theory ex Proof-search

Alexander Gheorghiu (University College London).

LG23, SoCS and Zoom (see abstract for link).

Friday 06 May 2022, 14:00-15:00

Theoretical computer science seminar

Model Counting meets F0 Estimation

Kuldeep Meel (National University of Singapore).

LG23, SoCS and Zoom (see abstract for link).

Friday 29 April 2022, 14:00-15:00

Theoretical computer science seminar

Zigzag games, alternating infinite word automata and linear Monadic-Second order logic

Pierre Pradic (University of Swansea).

LG23, SoCS and Zoom (see abstract for link).

Friday 08 April 2022, 14:00-15:00

Theoretical computer science seminar

Implicit automata in typed λ-calculi

Lê Thành Dũng Nguyễn (École Polytechnique).

LG23, SoCS and Zoom (see abstract for link).

Friday 01 April 2022, 14:00-15:00

Theoretical computer science seminar

Transducers of polynomial growth

Mikołaj Bojańczyk (University of Warsaw).

LG23, SoCS and Zoom (see abstract for link).

Friday 25 March 2022, 14:00-15:00

Theoretical computer science seminar

Recent results and open questions in applied proof theory

Tom Powell (University of Bath).

LG23, SoCS and Zoom (see abstract for link).

Friday 18 March 2022, 14:00-15:00

Theoretical computer science seminar

The Berry Order (ideas from 1980s stable domain theory)

Paul Taylor (University of Birmingham).

LG23, SoCS and Zoom (see abstract for link).

Friday 11 March 2022, 14:00-15:00

Theoretical computer science seminar

Cyclic Proofs, Hypersequents, and Transitive Closure Logic

Marianna Girlando (University of Birmingham).

LG23, SoCS and Zoom (see abstract for link).

Friday 25 February 2022, 14:00-15:00

Theoretical computer science seminar

Seemingly impossible programs and proofs

Martin Escardo, Theory Group, School of Computer Science, University of Birmingham.

LG23, SoCS and Zoom (see abstract for link).

Friday 11 February 2022, 14:00-15:00

Theoretical computer science seminar

Comprehension bicategories

Niels van der Weide, University of Birmingham.

LG23, SoCS and Zoom (see abstract for link).

Friday 10 December 2021, 14:00-15:00

Theoretical computer science seminar

Constructing fully-abstract models of effectful λ-calculi

Philip Saville, University of Oxford.

LG23, SoCS and Zoom (see abstract for link).

Friday 03 December 2021, 14:00-15:00

Theoretical computer science seminar

Synthetic fibered (∞,1)-category theory

Jonathan Weinberger (University of Birmingham).

LG23, SoCS and Zoom (see abstract for link).

Friday 26 November 2021, 14:00-15:00

Theoretical computer science seminar

Confluence with basic effects

Willem Heijltjes (University of Bath).

LG23, SoCS and Zoom (see abstract for link).

Friday 19 November 2021, 14:00-15:00

Theoretical computer science seminar

From axioms to synthetic inference rules via focusing

Sonia Marin (University of Birmingham).

LG23, SoCS and Zoom (see abstract for link).

Friday 12 November 2021, 14:00-15:00

Theoretical computer science seminar

Categorifying Intersection Types

Federico Olimpieri (University of Leeds).

LG23, SoCS and Zoom (see abstract for link).

Friday 29 October 2021, 14:00-15:00

Theoretical computer science seminar

A Type Theory for Strictly Associative Infinity Categories

Alex Rice.

LG23, SoCS and Zoom (see abstract for link).

Friday 22 October 2021, 14:00-15:00

Theoretical computer science seminar

Solving Verification Questions using Machine Learning

Mirco Giacobbe, University of Birmingham.

LG23, SoCS and Zoom (see abstract for link).

Friday 15 October 2021, 14:00-15:00

Theoretical computer science seminar

Types are Internal oo-Groupoids

https://bham-ac-uk.zoom.us/j/83662748860?pwd=dTBRV1JCUEgxQXV1cXpjV3pDaGttUT09

Eric Finster, School of Computer Science, University of Birmingham.

LG23, SoCS and Zoom (see abstract for link).

Friday 24 September 2021, 14:00-15:00

Theoretical computer science seminar

The Strange Career of Interpolation and Definability

Michael Benedikt, University of Oxford.

LG23, SoCS and Zoom (see abstract for link).

Wednesday 08 September 2021, 14:00-15:00

Theoretical computer science seminar

Logic beyond formulas: a proof system on graphs

Matteo Acclavio, Université du Luxembourg.

Zoom (see abstract for link).

Friday 03 September 2021, 14:45-15:30

Theoretical computer science seminar

Canonical proof-objects for coinductive programming

Abhishek De, Institut de Recherche en Informatique Fondamentale.

Zoom (see abstract for link).

Friday 03 September 2021, 14:00-14:45

Theoretical computer science seminar

Hierarchical string diagram for closed monoidal categories

Dan Ghica (Computer Science).

Venue to be confirmed.

Friday 09 July 2021, 14:00-15:00

Theoretical computer science seminar

Hierarchical string diagrams for closed monoidal categories

Dan Ghica (Computer Science).

https://bham-ac-uk.zoom.us/j/87347393966?pwd=SndiVlNCZStOSER0c0NKNUoxWkVZUT09.

Tuesday 06 July 2021, 14:00-15:00

Theoretical computer science seminar

Automatic differentiation in string diagrams

Mario Alvarez Picallo, Huawei Research.

https://bham-ac-uk.zoom.us/j/4040590387?pwd=dlJpN0tyUVJQQWxyUzc3SisvcHJtUT09.

Friday 02 July 2021, 14:00-15:00

Theoretical computer science seminar

Proof complexity of positive branching programs

Avgerinos Delkos.

Via Zoom (see link in abstract).

Friday 25 June 2021, 14:00-15:00

Theoretical computer science seminar

Adelic Geometry via Topos Theory (note change in time!)

Ming Ng.

https://bham-ac-uk.zoom.us/j/4040590387?pwd=dlJpN0tyUVJQQWxyUzc3SisvcHJtUT09.

Thursday 24 June 2021, 16:00-17:00

Theoretical computer science seminar

New minimal linear inferences in Boolean logic independent of switch and medial

Alex Rice (University of Cambridge).

https://bham-ac-uk.zoom.us/j/4040590387?pwd=dlJpN0tyUVJQQWxyUzc3SisvcHJtUT09.

Friday 11 June 2021, 13:00-14:00

Theoretical computer science seminar

The smash product of monoidal theories

Amar Hadzihasanovic.

https://bham-ac-uk.zoom.us/j/82118141256?pwd=TWNqRXpFclZ6RG1lNmQ4VTVGTXZFQT09.

Friday 30 April 2021, 14:00-15:00

Theoretical computer science seminar

Environments & CPS translations, a well-typed story

Etienne Miquey, ENS Lyon.

https://bham-ac-uk.zoom.us/j/81751920321?pwd=Vkk4NEtqNWl1TjhSeC9IN281KytnQT09.

Friday 19 March 2021, 14:00-15:00

Theoretical computer science seminar

On the proof theory of conditional logics

Marianna Girlando. University of Birmingham..

Zoom link at the bottom of the abstract.

Friday 12 March 2021, 14:00-15:00

Theoretical computer science seminar

Reparametrizing gradient descent

David Sprunger, University of Birmingham.

Zoom link at the bottom of the abstract.

Friday 12 February 2021, 16:00-17:00

Theoretical computer science seminar

Domain Theory in Constructive and Predicative Univalent Foundations

This is a Lab Lunch Talk. Notice that the Zoom link has changed. We meet at 13:45 to socialize and the talk starts at 14:00.

Tom de Jong, School of Computer Science, University of Birmingham.

Zoom link at the bottom of the abstract.

Thursday 14 January 2021, 13:45-15:00

Computer Security Seminars

Privacy in the Age of Big Data, ML & Blockchains

Pascal Berrang, University of Birmingham.

Zoom (e-mail organiser for details).

Thursday 17 December 2020, 12:30-13:15

Computer Security Seminars

Privacy in the Age of Big Data, ML & Blockchains

Pascal Berrang (University of Birmingham).

Zoom (e-mail organiser for details).

Thursday 17 December 2020, 11:00-12:00

Theoretical computer science seminar

A minimal cyclic formal framework for coinduction

Liron Cohen, Ben-Gurion University.

https://bham-ac-uk.zoom.us/j/81751920321?pwd=Vkk4NEtqNWl1TjhSeC9IN281KytnQT09.

Friday 11 December 2020, 13:00-14:00

Theoretical computer science seminar

Arithmetic universes: Home of free algebras

Given as invited contribution to the Erik Palmgren memorial conference, 19-21 Nov 2020

Steve Vickers, CS Theory Group Birmingham .

Zoom. To join mailing list for updates (including Zoom links), please send your details to palmgren-memorial@math.su.se in advance.

Friday 20 November 2020, 14:10-15:10

Theoretical computer science seminar

Extracting nested relational queries from implicit definitions

Pierre Pradic (University of Oxford).

https://bham-ac-uk.zoom.us/j/4040590387?pwd=dlJpN0tyUVJQQWxyUzc3SisvcHJtUT09.

Wednesday 04 November 2020, 13:45-15:30

Theoretical computer science seminar

On program equivalence in the probabilistic lambda calculus

Gianluca Curzi (University of Birmingham).

https://bham-ac-uk.zoom.us/j/4040590387?pwd=dlJpN0tyUVJQQWxyUzc3SisvcHJtUT09.

Friday 23 October 2020, 13:45-15:30

Theoretical computer science seminar

Lovász' Theorem and Comonads in Finite Model Theory

The talk is at 2pm. We start at 1:50 for socializing with the speaker.

Tomáš Jakl, Cambridge University, https://www.cl.cam.ac.uk/~tj330/.

https://bham-ac-uk.zoom.us/j/91939191081?pwd=THdqTXRsRWl1aDl5VDhTN2thckt6UT09.

Friday 25 September 2020, 13:50-15:00

Computer Security Seminars

Intriguing Properties of Adversarial ML Attacks in the Problem Space

Lorenzo Cavallaro (King's College London).

Zoom (e-mail organiser for details).

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

Computer Security Seminars

Intriguing Properties of Adversarial ML Attacks in the Problem Space

Lorenzo Cavallaro (King's College London).

Zoom (e-mail organiser for details).

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

Theoretical computer science seminar

Intutions on domain theory and geometry

Martin Escardo, Theory Lab, School of Computer Science, University of Birmingham.

https://bham-ac-uk.zoom.us/j/94667894207?pwd=ZlhSaVlzZUljVHJzMzJpd0MxbExUZz09.

Friday 26 June 2020, 16:00-17:00

Artificial Intelligence and Natural Computation seminars

Machine Learning and Dynamical Systems meet in Reproducing Kernel Hilbert Spaces

Dr Boumediene Hamzi (Research Associate (Marie Skłodowska-Curie Fellowship), Department of Mathematics, Imperial College London).

Computer Science, The Sloman Lounge (UG).

Monday 15 June 2020, 14:00-15:00

Theoretical computer science seminar

Quantitative Tauberian theorems

Tom Powell, University of Bath.

https://bham-ac-uk.zoom.us/j/96981634161?pwd=TmNFdGFBbzdqcjV0SG43a3BjSWM5UT09.

Friday 12 June 2020, 14:00-15:00

Theoretical computer science seminar

An Authoritarian Approach to Presheaves

Pierre-Marie Pédrot (INRIA).

https://us02web.zoom.us/j/82603907326.

Friday 05 June 2020, 14:00-15:00

Theoretical computer science seminar

Elementary doctrines as coalgebras

Jacopo Emmenegger, University of Birmingham.

https://us02web.zoom.us/j/82603907326.

Friday 29 May 2020, 16:00-17:00

Theoretical computer science seminar

Synthetic probability theory

Alex Simpson, University of Ljubljana.

https://us02web.zoom.us/j/82603907326.

Friday 22 May 2020, 14:00-15:00

Theoretical computer science seminar

Formalising mathematics in a theorem prover

Kevin Buzzard, Imperial College.

https://us02web.zoom.us/j/85861947051?pwd=OXk3OW96Z3k5ZHZlOFlpRVdyS2dtZz09.

Friday 15 May 2020, 14:00-15:00

Theoretical computer science seminar

Near-Optimal Complexity Bounds for Fragments of the Skolem Problem

Nikhil Balaji, University of Oxford.

Zoom.

Friday 08 May 2020, 14:00-15:00

Theoretical computer science seminar

Identity, indiscernibility, and univalence: a higher structure identity principle

Mike Shulman, University of San Diego.

Zoom.

Friday 01 May 2020, 20:30-21:30

Computer Security Seminars

Title to be confirmed

Frank Piessens (KU Leuven).

Computer Science, The Sloman Lounge (UG).

Thursday 30 April 2020, 11:00-12:00

Theoretical computer science seminar

Trace Theory for Probability and Nondeterminism

Ana Sokolova, University of Salzburg.

Zoom.

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

Computer Security Seminars

CANCELLED: How hard is LWE anyway?

Martin R. Albrecht (Royal Holloway).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

CANCELLED: Intriguing Properties of Adversarial ML Attacks in the Problem Space

Lorenzo Cavallaro (Kings College London).

Computer Science, The Sloman Lounge (UG).

Thursday 19 March 2020, 11:00-12:00

Computer Security Seminars

EV Charging Security at the Physical-Layer

Richard Baker (University of Oxford).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

ZX-calculus and its applications

Quanlong Wang, Oxford.

Computer Science, The Sloman Lounge (UG).

Friday 06 March 2020, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

New developments in the Meta-Configured Genome theory

More detailed overview:

Aaron Sloman and Peter Tino (Computer Science) [Absent collaborator: Jackie Chappell (Biosciences)].

Computer Science, The Sloman Lounge (UG).

Thursday 05 March 2020, 16:00-18:00

Artificial Intelligence and Natural Computation seminars

Unsupervised General Dynamic Scene Reconstruction and Understanding

Dr Armin Mustafa (Senior Research Fellow in Computer Vision, Centre for Vision, Speech and Signal Processing, University of Surrey).

Computer Science, The Sloman Lounge (UG).

Friday 28 February 2020, 10:00-11:00

Computer Security Seminars

Plundervolt: Pillaging and plundering SGX with Software-based Fault Injection Attacks

Kit Murdock (University of Birmingham).

Computer Science, The Sloman Lounge (UG).

Thursday 27 February 2020, 11:00-12:00

Theoretical computer science seminar

From Brouwer's Thesis to the Fan Functional

Ulrich Berger (Swansea University).

Computer Science, The Sloman Lounge (UG).

Friday 21 February 2020, 11:00-12:00

Computer Security Seminars

Privileged side-channel attacks for enclave adversaries

Jo Van Bulck (KU Leuven).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Consistency of circuit lower bounds with bounded theories

Igor Carboni Oliveira (Warwick University).

Computer Science, The Sloman Lounge (UG).

Friday 14 February 2020, 11:00-12:00

Computer Security Seminars

Discrete Gaussian Sampling over the Integers Using Polar Codes

Dr Cong Ling, Imperial College London.

Computer Science, The Sloman Lounge (UG).

Thursday 13 February 2020, 14:00-15:00

Computer Security Seminars

Post-mortem privacy – theory, law and technology

Dr Edina Harbinja (Aston Law School).

Computer Science, The Sloman Lounge (UG).

Thursday 13 February 2020, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Biased mobile robots? Characterizing and addressing issues of fairness in mobile robotics

Dr Martim Brandão (Post-Doctoral Research Associate, Department of Informatics, Kings College London).

Learning Centre, UG05.

Wednesday 12 February 2020, 11:00-12:00

Lab Lunch

Gödel's incompleteness theorem using arithmetic universes

change of venue

Alexander Gietelink Oldenziel (Amsterdam).

UG10 Learning Centre.

Friday 07 February 2020, 11:00-12:00

Computer Security Seminars

Verification of Byzantine Fault Tolerant Systems

Vincent Rahli (University of Birmingham).

Computer Science, The Sloman Lounge (UG).

Thursday 06 February 2020, 11:00-12:00

Theoretical computer science seminar

Induction for Cycles

Nicolai Kraus (University of Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

An attack on ECDSA using lattice techniques

Cécile Pierrot (CNRS-Nancy).

Computer Science, The Sloman Lounge (UG).

Thursday 30 January 2020, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

You like to move it? Pose Estimation and Tracking for Collaborative Robotics and Medical Sensor Fusion

Dr Benjamin Busam (Guest Researcher, Chair for Computer Aided Medical Procedures & Augmented Reality, Department of Informatics, Technical University of Munich).

Computer Science, The Sloman Lounge (UG).

Friday 24 January 2020, 13:00-14:00

Computer Security Seminars

FENL: an ISE to mitigate analogue micro-architectural leakage

Dan Page (University of Bristol).

Computer Science, The Sloman Lounge (UG).

Thursday 23 January 2020, 11:00-12:00

Theoretical computer science seminar

On the complexity of linear arithmetic theories over the integers

Dmitry Chistikov, University of Warwick.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Constructing Infinitary Quotient-Inductive Types

Andy Pitts (University of Cambridge).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

Samson Abramsky, University of Oxford.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Chris A (Government Representative).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Robot Audition for Situational Awareness

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Raising research profile – communications support

Danann Swanton (EPS Communications).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Dr Eduard Marin (University of Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Taylor expansion in linear logic is invertible: A completeness result

Daniel de Carvalho, Innopolis University.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Rob Granger (University of Surrey).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Nested proof systems for modal logics (and beyond)

Sonia Marin, UCL.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Quantum Cryptography and the Real World

Freya Wilson (Sec-1).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

Note unusual time

Professor Abbas Edalat, Imperial College London.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

ICS Vulnerabilities Happen - What Lessons can we Learn?

Richard James Thomas (BCRRE).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

On the logical complexity of cyclic arithmetic

Anupam Das, University of Birmingham.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Diagram rewriting in double categories

Antonin Delpeuch, University of Oxford.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A privacy preserving SDN framework leveraging Trusted Computing

Nada Abdelhadi.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

How Can Metaheuristics Help Software Engineers

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Deep Learning for Magnetic Resonance Image Reconstruction and Analysis

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Classification with unknown stochastic label noise: A distribution dependent view

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Variational methods for diffusive optical tomography and data clustering

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

Brandon Bohrer (Carnegie Mellon).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Playing at control: writing surveillance in/for gamified society

Garfield.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Constructive Brouwer Fixed Point Theorem

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

Computer Science, 245.

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

Artificial Intelligence and Natural Computation seminars

Computational musculoskeletal biomechanics and its applications

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A verifiable, coercion-resistant voting system with linear complexity

Ben Smyth.

Computer Science, Room 217.

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

Computer Security Seminars

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

Mathy Vanhoef.

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Rudimentary recursion

Adrian Mathias.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Engineering Lattice-based Cryptography.

Dr. Sujoy Sinha Roy.

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

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

Sophie Bullock and Sophie Huckfield. Ambience Factory.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A Sound and Complete Logic for Algebraic Effects

Cristina Matache (Oxford).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Machine Learning and Network Analysis Approaches for Enabling Biomedical Research

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

Biosciences E102.

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

Theoretical computer science seminar

Geometric morphisms as structure preserving maps and other nice characterisations

Christopher Townsend.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

IFAL: Issue First Activate Later Certificates for V2X

Chris Hicks.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Eduard Marin .

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Trustworthy software systems

Pramod Bhatotia.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Reasoning about effectful programs and evaluation order

Dylan McDermott (Cambridge).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

CAOS: Concurrent-Access Obfuscated Store

Mihai Ordean.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

Mehrnoosh Sadrzadeh, Queen Mary.

Computer Science, 245.

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

Theoretical computer science seminar

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

Simon Castellan, Imperial College London.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Probabilistic Modeling for Sequential Decision Making under Uncertainty Problems

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Graph Theory and the Transfinite

Michael Rathjen (Leeds).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Designing Future Heat Services

Jody Osborn - User Researcher, Energy Systems Catapult.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Addressing Cybersecurity Issues for the Rail Sector

Richard James Thomas.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Automotive Security

Andreea Radu.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

An overview of hardware roots of trust for automotive applications

Mark Ryan.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Designing an algebraic effect system for OCaml

Leo White, Jane Street.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Anonymous Communications against Global Adversaries via Secure Multi-Party Computation

Thomas Zacharias - Edinburgh University.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Drawing on Millions of Biomedical Journal Publications to do Predictive Biology

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Operational approaches to the foundations of physics

Lucien Hardy, Perimeter Institute.

Computer Science, 217.

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

Theoretical computer science seminar

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

Luc Pellissier, IRIF, Université Paris Diderot.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Dr Dave Singelée.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Resolution limit of image analysis algorithms

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Proof-Carrying Plans

Ekaterina Komendantskaya, Heriot-Watt University.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Mixed Variational Inference

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

A guided tour of spline-based active contours

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Resilience and Data Science for Networked Infrastructures

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Unrestricted Quantification and the Structure of Type Theory

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

COMPUTER PROBLEMS POSED BY DESSINS D'ENFANTS THEORY

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

Computer Science, 217.

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

Artificial Intelligence and Natural Computation seminars

Rumour Stance and Veracity Classification in Social Media Conversations

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Numerically Definite Logic

Richard Kaye, University of Birmingham (Mathematics).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

The explicit isomorphism problem and its applications"

Peter Kutas Hungarian Academy of Sciences .

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Robots, Emotions, and Epistemic Rational Assessability

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Strategic Graph Rewriting in PORGY — an interactive modelling framework

Maria Isabel Fernandez, King's College London.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Higher Universal Algebra in Type Theory

Eric Finster, INRIA, Paris.

Computer Science, 245.

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

Artificial Intelligence and Natural Computation seminars

Gaze Estimation and Perspective-taking Mechanisms in Robots and Humans

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Towards Coherence for Guarded Traces

Sergey Goncharov, FAU Erlangen-Nürnberg.

Computer Science, room 245.

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

Theoretical computer science seminar

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

Daniel Marsden, University of Oxford.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Reflection principles in subsystems of analysis

Emanuele Frittaion, University of Leeds.

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

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

Leigh Clark, UCD.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Reverse mathematics of non-deterministic inductive definitions

Hajime Ishihara (JAIST).

Computer Science, room 245.

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

Theoretical computer science seminar

Polynomials via fibrations

Tamara von Glehn, University of Cambridge.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Myrto Arapinis.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Some Open Problems in Homotopy Type Theory

Nicolai Kraus, University of Nottingham.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly

Qingju Wang.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Quantitative Algebraic Reasoning

Radu Mardare, University of Aalborg.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Active cyber defence

Chris A - National Cyber Security Centre.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Quasitopoi and universes of propositions

Paolo Capriotti, University of Nottingham.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Joe Gardiner.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Towards a Formal Theory of Renaming for OCaml

Reuben Rowe, University of Kent.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Shorter QA-NIZK Proofs For Quadratic Equations

Javier Silva.

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Completing the ZX-calculus

Miriam Backens, University of Oxford.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Building Reliable Systems on Reliable Foundations

Vincent Rahli - University of Luxembourg.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Security challenges in SDN

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Hypergraph categories as cospan algebras

Brendan Fong, MIT.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Title to be confirmed

Brendan Fong.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Compromised Information Sources

Tim Muller.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Dismantling the AUT64 Automotive Cipher

Chris Hicks - University of Birmingam.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Beneath the Bonnet: a Breakdown of Diagnostic Security

Jan Van den Herrewegen.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

RepuCoin: An extra resilient blockchain consensus

Jiangshan Yu, University of Luxemborg.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Adversarial examples and attack models in machine learning

Mark Ryan.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Myrto Arapinis (Edinburgh).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A Software Engineer Ventures into Behavioural Economics

NB alternative day/room

Karen Renaud (Abertay).

Arts - Lecture Room 201.

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

Theoretical computer science seminar

Understanding Girard’s Paradox

Thorsten Altenkirch (Nottingham).

217, School of Computer Science.

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

Computer Security Seminars

Security of Cyberphysical Systems

School of Computer Science Distinguished Seminar

P.R.Kumar (TAMU).

Room UG07, Murray Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Probabilistic Principal Component Analysis for Time Series

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Software Exploitation: Hardware is the New Black

NB alternative day/room

Christiano Giuffrida (Vrije Universiteit Amsterdam).

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Title to be confirmed

Please note alternative day and location

Christiano Giuffrida.

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Unsupervised sensorimotor integration for task learning in robot manipulators.

Andrey Barsky (CNCR student, University of Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A homotopy type theory for directed homotopy theory

Paige North.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Group meeting

Christophe Petit.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Siamak Shahandashti (York).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Cost-sensitive Boosting, Margin Maximization and Information Theory

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Magnitude of Metric Spaces

Simon Willerton (Maths, Sheffield).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Title to be confirmed

Sujoy Sinha Roy (KU Leuven).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Future directions for Java

Gavin Bierman (Oracle, Cambridge).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A Unified Perspective of Linear Time Logics using Coalgebras

Corina Cirstea (Southampton).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

VulCAN: Authentic Execution for Automotive Control Networks

NB alternative day and room

Jan Tobias Muehlberg (KU Leuven).

Room 245, School of Computer Science.

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

Computer Security Seminars

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

Juraj Somorovsky (Bochum).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Statistical machine learning for remote characterization of neurological disorders using smartphones

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Between Ratings and Security

Tim Muller (Oxford).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Ordinals vs. Cardinals in N? and Beyond

Special seminar arranged by Aaron Sloman

Aviv Keren (Jerusalem).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Statistical Machine Learning for Genomics

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Physical oracles: Measurement, complexity and cyber-physical systems

Edwin Beggs (Maths, Swansea University).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Machine Learning Security – Can we trust the machines?

Steve.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

UG06, Learning Centre.

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

Human Computer Interaction seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

Marcelo Fiore (Cambridge).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Jens Groth (UCL).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Handlers in Scope with Adjunctions

Nicholas Wu (Bristol).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Sebastian Lekies (Google).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Constructivist approach towards understanding and making intelligence

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Concurrent Kleene Algebra: free model and completeness

Alexandra Silva (UCL).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Group meeting

Mark Ryan.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Structural Identifiability and Indistinguishability Analyses: Tools for Systems Modelling

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

The Dialectica models of type theory

room 217, not Sloman Lounge

Sean Moss (Oxford, formerly Cambridge).

217, School of Computer Science.

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

Computer Security Seminars

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

Matt Smith (Oxford).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

The Church-Turing Thesis and denotational semantics

room 217, not Sloman Lounge

Achim Jung (School of Computer Science).

217, School of Computer Science.

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

Computer Security Seminars

Universally Verifiable MPC with Applications to IRV Ballot Counting

Olivier Pereira (UC Louvain).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Multitasking in Human-Computer Interaction

Duncan Brumby, UCL.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Teaching old type systems new tricks with type providers

Tomas Petricek (Alan Turing Institute).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Cyber Security Game Session

Andreas Haggman (RHUL).

Computer Science, Room 217.

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

Computer Security Seminars

Wargaming Cyber Security

Andreas Haggman (RHUL).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Behavioural Machine Learning

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

From curves to train tracks to compressed words

NB 217 not Sloman Lounge

Saul Schleimer (Maths, Warwick).

217, School of Computer Science.

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

Computer Security Seminars

Group meeting

David Oswald.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A Curry-Howard Correspondence for Event-Based Programming

Neel Krishnaswami (University of Cambridge, formerly Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Tensor Analysis and Learning

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Universally optimal mitigation strategies for leakage of information

Pasquale Malacaria (Queen Mary, London).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Syntactic and semantic fun with monads

Fredrik Dahlqvist (UCL).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

TRAKS: A Universal Key Management Scheme for ERTMS

NB change of location: Room 245

Richard Thomas (Birmingham).

Computer Science room 245.

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A concurrent interpretation of the law of excluded middle

Ulrich Berger (University of Swansea).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Family Rituals 2.0

Dave Kirk, Northumbria University.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Decidable Logics for Path Feasibility of Programs with Strings

Anthony Widjaja Lin (University of Oxford).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Segal-type models of higher categories

Simona Paoli (University of Leicester).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

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

Kathy Stawarz, University of Bristol.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

Corneliu Hoffman (University of Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

How (not) to use TLS between 3 parties

Ioana Boureanu (Surrey).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

From finitary monads to Lawvere theories: Cauchy completions

NB 217 not Sloman Lounge

John Power (University of Bath).

217, School of Computer Science.

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

Computer Security Seminars

Birmingham Security and Privacy research showcase

Please note longer time and change of venue

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

Learning Centre, UG07.

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

Theoretical computer science seminar

Theoretical Computer Science in Quantum Circuit Design

Also of interest in Security

Peter Hines (University of York).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Changyu Dong (Newcastle).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

Reuben Rowe (University of Kent at Canterbury).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Philipp Jakubeit (Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Bandits on an unknown manifold

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

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

Aaron Sloman (School of Computer Science, bham).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

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

Mina Vasalou, UCL Institue of Education.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Random Projections for Dimensionality Reduction

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Level-based analysis of stochastic population models

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

The Physics and Control of Balancing on a Point

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Birmingham Research Showcase

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Eric Verheul (Radboud).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Security and Privacy group research showcase

Speaker to be confirmed.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Polymorphic Encryption and Pseudonymization in the Dutch eID scheme

Eric Verheul (Radboud).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Blockchain & Hyperledger

Pete Cripps (Cloud Architect, IBM).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Inferring functional networks from rule-based machine learning models

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Chris Brzuska (Hamburg).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Rule Control of Goal Directed, Reactive, Communicating Robotic Agents

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

Mechanical Engineering, G36.

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

Theoretical computer science seminar

Deciding subtype entailment

Stephen Dolan (Computer Lab, University of Cambridge).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Automotive security research from a tier 1 perspective

Michael Feiri and Martin Thompson (ZF TRW).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Parameter tuning via abduction

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Ethics, Risk and Responsibility in Cyber Security Research

Please note room change

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

Computer Science room 245.

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

Theoretical computer science seminar

New foundations for string diagram rewriting

Fabio Zanasi (UCL).

Computer Science Sloman Lounge.

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

Computer Security Seminars

Information Security in Practice

David Deighton (Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Relative pseudomonads

Room change!

Nicola Gambino (University of Leeds).

Computer Science 217.

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

Computer Security Seminars

Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results

Jean Paul Degabriele (RHUL).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Measuring & Reflecting on Mental Workload

Max Wilson - University of Nottingham.

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Algorithms and barriers for random instances of computational problems

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

Computer Science Sloman Lounge.

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

Computer Security Seminars

Certifying the uncertifiable

Julio Hernandez-Castro (University of Kent).

Computer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Partner Modelling and its Impact on Human-Machine Dialogue Interactions

Ben Cowan: UCD School of Information and Communication Studies.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Title to be confirmed

Angela Sasse (UCL).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Machine Learning and Computer Vision on Mars

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Manifolds in the Age of Big Data and Deep Learning

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Online Ensemble Learning of Data Streams with Gradually Evolved Classes

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

Mechanical Engineering, B22.

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

Theoretical computer science seminar

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

Abbas Edalat (Imperial College).

Computer Science Sloman Lounge.

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

Human Computer Interaction seminars

Towards the Analysis of Movement Variability in Human-Humanoid Interaction

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A Geometry of Interaction semantics for TensorFlow

Dan Ghica (University of Birmingham).

Computer Science Sloman Lounge.

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

Artificial Intelligence and Natural Computation seminars

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

The frame generated by closed sublocales

Ales Pultr (Charles University, Prague).

Computer Science Sloman Lounge.

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

Computer Security Seminars

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

Michael Huth (Imperial College London).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Coalgebraic Dynamic Logics

Clemens Kupke (University of Strathclyde).

Computer Science Sloman Lounge.

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

Computer Security Seminars

Certifying the uncertifiable

Thanassis Giannetsos (Surrey).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

On the commutativity of the powerspace monads

Matthew de Brecht (University of Kyoto).

Computer Science Sloman Lounge.

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

Theoretical computer science seminar

Towards the verified compilation of Lustre

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

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

Learning Centre, UG05.

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

Theoretical computer science seminar

Closure of system T under the bar recursion rule

Paulo Oliva (Queen Mary, University of London).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A formal Security Analysis of the Signal Messaging Protocol

Luke Garratt (University of Oxford).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Homotopy coherent distributive laws

Nick Gurski (University of Sheffield).

Computer Science Sloman Lounge.

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

Theoretical computer science seminar

Noetherian Quasi-Polish spaces

Arno Pauly.

Computer Science, Room 217.

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

Computer Security Seminars

Fixed-Point Arithmetic in Somewhat Homomorphic Encryption Schemes

Srinivas Vivek (University of Bristol).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Planning Under Uncertainty and Robot Task Plan Performance Evaluation

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A Surfeit of SSH Ciphersuites

Kenny Paterson (Royal Holloway University of London).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Cost sensitive learning in high dimensions with approximate nearest neighbours

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Functoriality of modified realizability

Room 245 not Sloman Lounge

Peter Johnstone (DPMMS, University of Cambridge).

Computer Science room 245.

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

Computer Security Seminars

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

Jason Nurse (Oxford).

Sloman Lounge, School of Computer Science.

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

Computer Security Seminars

Security Notions for Whitebox Cryptography

Chris Brzuska (Hamburg University of Technology).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Reversible System T

Ian Mackie (University of Sussex).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Do we need trust for verifiability in e-voting?

Peter Browne Roenne (Luxembourg).

Sloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Reformation: a generic algorithm for repairing faulty representations.

Departmental Seminar

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Representations for feasibly approximable functions

Michal Konečný (Aston University).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Post-quantum cryptography

Peter Schwabe (Radboud, NL).

Sloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

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

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

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Interaction morphisms

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Alpha-Beta Privacy

Luca Vigano (KCL).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Probabilistic Programming

Hongseok Yang (University of Oxford).

Computer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Cost-Sensitive Boosting: A Unifying Perspective

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

Gavin Brown, University of Manchester.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Transparency Overlays and Applications

Sarah Meiklejohn (UCL).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

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

Aaron Sloman (University of Birmingham).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Understanding and Improving the Security Impact of Smartphone Apps

Vincent Taylor (University of Oxford) .

Sloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Multiagent Planning, Learning & Influences

Frans Oliehoek, University of Liverpool/ University of Amsterdam.

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Semantic Foundations for Probabilistic Programming

Sam Staton (University of Oxford).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Jonathan Bootle (UCL).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

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

Paul Bilokon.

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Petr Svenda (Masaryk University, Czech Republic).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Formalizing compositional proofs

Jamie Vicary (University of Oxford).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Reconciling structural and nominal syntax in the language of diagrams

Dan Ghica (Computer Science).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Sylvain Frey (University of Lancaster).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Adjunctions and Actions of Co/Cartesian Categories

Francisco Lobo (University of Manchester).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Computer Science Summer Interns

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

Sloman Lounge, School of Computer Science.

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

Computer Security Seminars

LeiA: A Lightweight Authentication Protocol for CAN

Andreea Radu (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Computer Security Seminars

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

David Galindo (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Computer Security Seminars

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

David Oswald and Flavio Garcia (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

3 Challenge Problems with Cyber Physical Systems and IoT

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

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

Hannes Mehnert (University of Cambridge).

Sloman Lounge, School of Computer Science.

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

Computer Security Seminars

A Formal Security Analysis of ERTMS Train to Trackside Protocols

Richard Thomas (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Autonomous Mobile Service Robots: Algorithms, Results and Challenges

Manuela Veloso, Herbert A. Simon University Professor, Computer Science Department, Carnegie Mellon University.

Room UG07, Murray Learning Centre.

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

Computer Security Seminars

Internet Voting on Insecure Platforms

Yvo Desmedt (The University of Texas at Dallas).

Room 217, School of Computer Science.

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

Computer Security Seminars

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

Yvo Desmedt (The University of Texas at Dallas).

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

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

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

Medical School, MED-CM04.

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

Theoretical computer science seminar

Dynamic games and strategies

Norihiro Yamada (Oxford).

Computer Science, The Sloman Lounge (UG).

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

Geometry Without Points

Professor Dana Scott .

Room G33 , Mechanical Engineering .

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

Theoretical computer science seminar

Side Effects in Natural Languages

Jirka Marsik.

Learning Centre UG09.

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

Towards Deployment of a Next-generation Secure Internet Architecture

Adrian Perrig, ETH Zurich.

Room UG07, Murray Learning Centre.

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

Computer Security Seminars

Towards Deployment of a Next-generation Secure Internet Architecture

Adrian Perrig (ETH Zurich).

UG07, Learning Centre.

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

Computer Security Seminars

Investigatory Powers Bill

Ian Batten (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Meaning, Language Games and Inference

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

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Cyber Security: It's a Socio-Technical Challenge

Budi Arief (University of Kent).

Sloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Rewriting syntactically complex English sentences in the FIRST project

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

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Type Theory in Type Theory using Quotient Inductive Types

Ambrus Kaposi (Nottingham).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Names with interleaved scopes

Dan Ghica (Computer Science).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Enriched-adjunction models and polarisation for modelling effects and resources

Guillaume Munch-Maccagnoni (Cambridge).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Effects as sessions, sessions as effects

Dominic Orchard (Imperial).

Computer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

cMix: Anonymization by High-Performance Scalable Mixing

Joeri de Ruiter (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Programming and Proving with Concurrent Resources

Ilya Sergey (UCL).

Computer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

NetKAT: A FORMAL SYSTEM FOR THE VERIFICATION OF NETWORKS

Alexandra Silva (UCL).

CS 217.

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

Computer Science Departmental Series

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

Host: Jeremy L Wyatt

Mohan Sridharan, The University of Auckland (NZ).

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

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

Theoretical computer science seminar

Conjugate Hylomorphisms

Nicolas Wu (Bristol).

CS 217.

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

Computer Science Departmental Series

Motion sensitive visual neural networks, from animals to bio robotics

Host: Dr. Shan He

Prof. Shigang Yue, University of Lincoln, UK.

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

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

Computer Science Departmental Series

Automated Reasoning in the Wild

Host: Dr. Manfred Kerber

Ulrich Furbach, University of Koblenz, Germany.

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

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

Computer Security Seminars

On the feasibility of cryptography for a wireless insulin pump system

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

Room 245, School of Computer Science.

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

Computer Security Seminars

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

David Oswald (University of Birmingham).

Room 245, School of Computer Science.

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

Computer Science Departmental Series

Title to be confirmed

Ben Paddock, Developer at Talis.

Arts Lecture Room 6.

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

Computer Science Departmental Series

Title to be confirmed

Steve Pitchford, Development Manager at Majestic.

Arts Lecture Room 6.

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

Computer Science Departmental Series

Haskell in Production

Will Sewell, Platform Engineer at Pusher.

Arts Lecture Room 6.

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

Theoretical computer science seminar

Structural Resolution meets Curry-Howard

Ekaterina Komendantskaya (Dundee).

CS 217.

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

Artificial Intelligence and Natural Computation seminars

The Church-Turing Thesis in the theory of computation

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

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

Computer Science UG21.

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

Artificial Intelligence and Natural Computation seminars

What is computation and can it explain anything?

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

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

Computer Science UG21.

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

Artificial Intelligence and Natural Computation seminars

Reflexive Self: How

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

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

Computer Science UG21.

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

Artificial Intelligence and Natural Computation seminars

Evolution of mathematical consciousness based on experienced positive and negative affordances

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

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

Computer Science UG21.

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

Artificial Intelligence and Natural Computation seminars

Running into consciousness

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

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

Computer Science UG21.

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

Artificial Intelligence and Natural Computation seminars

Reflexive Self: Why

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

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

Computer Science UG21.

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

Computer Science Departmental Series

Robot Task Planning and Explanation in Uncertain and Open Worlds

Prof. Jeremy Wyatt, University of Birmingham.

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

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

Theoretical computer science seminar

Improving proof compression by better controlling cut and sharing

Paola Bruscoli (Bath).

CS 217.

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

Computer Security Seminars

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

Andriana Gkaniatsou .

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Can a Robot and a Planner Become Real Friends?

Host: Dr. Nick Hawes

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

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

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

Mechanical Engineering B05.

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

Theoretical computer science seminar

On the Forwarding Paths Produced by Internet Routing Algorithms

Timothy Griffin (Cambridge).

CS 217.

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

Computer Security Seminars

Protocol State Fuzzing of TLS Implementations

Joeri de Ruiter (University of Birmingham).

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Strong Complementarity in Quantum Computing

Ross Duncan (University of Strathclyde).

CS 245.

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

Computer Security Seminars

BackScan: Backdoor Detection via Functionality Profiling

Sam Thomas (University of Birmingham).

Room 245, School of Computer Science.

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

Computer Security Seminars

Pareto Efficient Solutions of Attack-Defence Trees

Zaruhi Aslanyan (Technical University of Denmark).

Room 245, School of Computer Science.

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

Theoretical computer science seminar

The recursion hierarchy for PCF is strict

John Longley (Edinburgh).

CS 217.

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

Theoretical computer science seminar

Diagrammatic mathematics and signal flow graphs

Pawel Sobocinski (Southampton).

CS 245.

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

Computer Security Seminars

Security trade-offs and verifiability in IoT

Mark Ryan (University of Birmingham).

Room 245, School of Computer Science.

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

Computer Science Departmental Series

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

Host: Leandro Minku

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

Mechanical Engineering G42.

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

Computer Security Seminars

Wirelessly Lockpicking a Vehicle Immobilizer

Flavio Garcia ( University of Birmingham).

Room 245, School of Computer Science.

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

Computer Security Seminars

Template Power Analysis Against ECC Software Implementations

Erick Nascimento (University of Campinas, Brazil).

Room 245, School of Computer Science.

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

Computer Security Seminars

Smart-Guard: Defending user input from malware and keyloggers

Michael Denzel (University of Birmingham).

Room 245, School of Computer Science.

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

Computer Science Departmental Series

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

Host: Behzad Bordbar

Christof Lutteroth .

Mechanical Engineering, Room B24.

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

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

Mech Eng G42.

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

Computer Security Seminars

Encrypted cloud-based data sharing

Alexander Kaitai Liang, Aalto University Finland.

Room 245, School of Computer Science.

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

Computer Science Departmental Series

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

Host: Dr. Dan R. Ghica

Prof. Michael Mendler, University of Bamberg, Germany.

Learning Centre Room UG06.

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

Theoretical computer science seminar

Refining Strategic Ability

Dimitar P Guelev (IMI/BAS).

CS 245.

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

Computer Security Seminars

Symbolic protocol verification - where next?

Cas Cremers, University of Oxford.

Room 245, School of Computer Science.

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

Theoretical computer science seminar

FreshMLTT: Dependent Type Theory with Names and Name-Abstraction

Andy Pitts (University of Cambridge).

CS 245.

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

Computer Security Seminars

Leakage attacks beyond the single target setting

Elisabeth Oswald, Bristol University.

Room 245, School of Computer Science.

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

Computer Science Departmental Series

Transition systems over games

Paul Levy, University of Birmingham.

Mechanical Engineering, Room G28.

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

Theoretical computer science seminar

CoLoSL: Concurrent Local Subjective Logic

Azalea Raad (Imperial).

CS 245.

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

Computer Security Seminars

Verifiable Electronic Voting: Making it Real

Note unusual day

Steve Schneider, University of Surrey.

Room 245, School of Computer Science.

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

Computer Security Seminars

Set-pi: Set Membership Pi-calculus

Alessandro Bruni (Technical University of Denmark).

Room 245, School of Computer Science.

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

Computer Security Seminars

Unikernels and the Next Generation Cloud

Jon Crowcroft (University of Cambridge).

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Propositions as Sessions

Sam Lindley (University of Edinburgh).

CS 245.

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

Computer Security Seminars

How to detect unauthorised usage of a key

Mark Ryan and Jiangshan Yu (University of Birmingham).

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Coeffects: Context-aware programming languages

Tomas Petricek (University of Cambridge).

CS 245.

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

Computer Science Departmental Series

Mining Sequential Patterns from Uncertain Data

Host: Xin Yao

Professor Rajeev Raman, University of Leicester.

Mechanical Engineering, Room G28.

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

Computer Security Seminars

Providing transparent accountability for electronic currencies

Ivan Gazeau (University of Birmingham).

Room 245, School of Computer Science.

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

Computer Security Seminars

Demonstration of CT-Mail

Note unusual time

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

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Programs for Cheap!

Jennifer Hackett (Nottingham).

CS 245.

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

Computer Security Seminars

Privacy and Access Control for Outsourced Personal Records

Dominique Schroeder (Saarland University).

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Automata over infinite alphabets

Nikos Tzevelekos (Queen Mary University).

CS 245.

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

Computer Security Seminars

Title to be confirmed

Cas Cremers, University of Oxford.

Room 245, School of Computer Science.

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

Computer Security Seminars

StarfishNet: decentralised security for low-power wireless networks

Justin King-Lacroix, University of Oxford.

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Worldly Type Systems

Conor McBride (University of Strathclyde).

CS 245.

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

Computer Security Seminars

Understanding and Fighting Malicious Activity on Online Social Networks

Gianluca Stringhini, University College London.

Room 245, School of Computer Science.

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

Theoretical computer science seminar

On Cubes and Types

Thorsten Altenkirch (University of Nottingham).

CS 245.

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

Artificial Intelligence and Natural Computation seminars

A Simple and Consistent Technique for Vector-valued Distribution Regression

Host: Ata Kaban

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

Mechanical Engineering, B01.

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

Theoretical computer science seminar

Cohomology of Contextuality and Logical Paradoxes

Kohei Kishida, University of Oxford.

CS 245.

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

Computer Science Departmental Series

Verifying algorithm correctness on TSO architectures

Host: Behzad Bordbar

Professor John Derrick, University of Sheffield.

Mechanical Engineering, Room G28.

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

Artificial Intelligence and Natural Computation seminars

Compositional Object and Activity Recognition

Host: Ales Leonardis, Krzysztof Walas

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

Learning Centre, UG05.

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

Computer Security Seminars

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

Ben Smyth (Huawei, France).

Room 245, School of Computer Science.

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

Computer Security Seminars

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

Ben Smyth (Huawei, France).

Room 245, School of Computer Science.

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

Theoretical computer science seminar

Innocent Strategies are Sheaves over Plays

Takeshi Tsukada (University of Oxford).

Arts - Lecture Room 201.

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

Computer Science Departmental Series

Verification Tool DIY

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

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

Hills Building, Room 120.

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

Artificial Intelligence and Natural Computation seminars

Talking about Space

Host: Dr. Nick Hawes

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

Learning Centre, UG05.

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

Computer Science Departmental Series

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers

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

Marta Kwiatkowska, Oxford University.

Hills Building, Room 120.

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

Computer Security Seminars

CESG's Secure Communications Strategy

Peter Haigh, CESG.

Room 245, School of Computer Science.

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

Computer Science Departmental Series

Compiler technology for solving PDEs with performance portability

Professor Paul Kelly, Imperial College London.

Hills Building, Room 120.

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

Computer Security Seminars

Blindspot: Indistinguishable Anonymous Communications

Joseph Gardiner (University of Birmingham).

Room 245, School of Computer Science.

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

Computer Science Departmental Series

Challenges in reproducibility in computer systems research

Host: Mirco Musolesi

Tristan Henderson University of St Andrews.

Learning Centre - UG10.

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

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

Mechanical Engineering, G26.

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

Computer Science Departmental Series

Iterative Learning Control: from Industrial Robotics to Next Generation Healthcare

Professor Eric Rogers, University of Southampton.

Hills Building, Room 120.

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

Artificial Intelligence and Natural Computation seminars

Learning Subspaces from Proximities

Host: Prof. Xin Yao

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

Learning Centre, UG05.

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

Computer Science Departmental Series

Verified System Design with Rodin

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

Professor Michael Butler, University of Southampton.

Hills Building, Room 120.

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

Computer Security Seminars

PhD Student Five Minute Talks

Various speakers.

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

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

Host: Prof. Xin Yao

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

Mechanical Engineering, B04.

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

Computer Science Departmental Series

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

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

Stephen Brewster, School of Computing Science University of Glasgow.

Mechanical Engineering Room G28.

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

Computer Science Departmental Series

Issues and activities in authoring ontologies

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

Professor Robert Stevens, University of Manchester.

Hills Building, Room 120.

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

Computer Security Seminars

Security of ECDSA in Bitcoin

Nicolas T. Courtois (University College London).

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

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

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

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

Learning Centre, UG10.

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

Computer Science Departmental Series

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

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

Bob Coecke, Oxford University.

Hills Building, Room 120.

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

Computer Security Seminars

Hack.lu CTF

Various speakers.

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Modelling Expert Uncertainty in Medical Decision Support

Host: Prof. Xin Yao

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

Learning Centre, UG05.

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

Computer Science Departmental Series

Verifiable Autonomy - how can you trust your robots?

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

Professor Michael Fisher, Liverpool University.

Hills Building, Room 120.

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

Computer Science Departmental Series

Benefits of Using a Population in Combinatorial Search

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

Adam Prugel-Bennett, University of Southampton .

Hills Building, Room 120.

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

Artificial Intelligence and Natural Computation seminars

Graph Analysis through Quantum Walks

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

Mechanical Engineering, B01.

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

Theoretical computer science seminar

A link between lambda calculus and maps

Noam Zeilberger.

CS 217.

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

Computer Science Departmental Series

Cyber-attacks on Smart Grid Infrastructures

Professor Christopher Johnson, University of Glasgow.

Hills Building, Room 120.

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

Computer Security Seminars

Key usage detection

Jiangshan Yu (University of Birmingham).

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Population-scale Mobile Sensing Systems

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

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

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

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

Mechanical Engineering, B04.

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

Artificial Intelligence and Natural Computation seminars

Learning to identify software defects when historical sample modules are unavailable

Host: Dr. Shan He

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

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

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

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

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

UG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Research on Semi-Supervised Support Vector Machine

Host: Dr. Shan He

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

UG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

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

Host: Prof. Ales Leonardis

Prof. Fatos T. Yarman Vural.

B01, Mechanical Engineering.

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

Computer Security Seminars

Formal Methods for the Security of the Internet of Services

Luca Vigano, King's College London.

Room 245, School of Computer Science.

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

Computer Security Seminars

Probabilistic assessment of security scenarios - challenges and solutions

Barbara Kordy, University of Luxembourg.

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

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

Host: Dr. Peter Tino

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

UG05, Learning Centre.

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

Computer Security Seminars

Balancing Societal Security and Individual Privacy: Accountable Escrow System

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

Room 245, School of Computer Science.

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

Computer Security Seminars

An overview of some GCHQ/NSA projects

Tom Chothia, University of Birmingham.

Room 245, School of Computer Science.

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

Computer Security Seminars

Entropy model checking [NOTE: CHANGE OF LOCATION]

Chunyan Mu, University of Birmingham.

Room 217, School of Computer Science.

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

Computer Science Departmental Series

Long-Term Monitoring of Human Mobility on Smartphones

Host: Mirco Musolesi

Dr Petteri Nurmi, Aalto University/University of Helsinki.

CHEM-G35.

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

Computer Security Seminars

ECC-based bug attacks on OpenSSL: a retrospective

Dan Page, University of Bristol.

Room 245, School of Computer Science.

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

Computer Science Departmental Series

Probabilistic Models of Human Location Behaviour

Host: Mirco Musolesi

Dr James McInerney, Princeton University.

UG05, Learning Centre.

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

Computer Science Departmental Series

The Psychology of Security

Host: Shishir Nagaraja - ROOM CHANGE

Prof. Ross Anderson, University of Cambridge.

Bioscience E102 (ROOM CHANGE).

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

Computer Security Seminars

Security and privacy in society: meeting at the Royal Society

Mark Ryan, University of Birmingham.

Room 245, School of Computer Science.

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

Computer Science Departmental Series

All Networks Great and Small

Host: Mirco Musolesi - ROOM CHANGE

Prof. Robin Dunbar, University of Oxford.

Bioscience 301 (ROOM CHANGE).

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

Theoretical computer science seminar

Colimits of monads on Set

Nathan Bowler, University of Hamburg.

UG05 Learning Centre.

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

Computer Science Departmental Series

The Geometry of Information Flow

Host: Dan Ghica

Jamie Vicary, University of Oxford.

UG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Mutation and selection strategies for incremental evolution

Host: Peter Tino

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

UG05, Learning Centre.

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

Computer Security Seminars

Care.data: when good intentions are not enough

Ian Batten, University of Birmingham.

Room 245, School of Computer Science.

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

Computer Security Seminars

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

Chris Novakovic, University of Birmingham.

Room 245, School of Computer Science.

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

Computer Security Seminars

Timing attacks in security protocols: symbolic framework and proof techniques

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

Room 245, School of Computer Science.

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

Computer Security Seminars

Forensic Virtual Machines: Dynamic defence in the Cloud via Introspection

Behzad Bordbar.

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Generation of Feasible Scenes in an Ontological Framework

Host: Nick Hawes

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

UG05, Learning Centre.

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

Computer Security Seminars

Robbing the bank using formal methods

Joeri de Ruiter.

Room 245, School of Computer Science.

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

Human Computer Interaction seminars

Understanding preference reversals as optimal under constraints

George Farmer, University of Manchester.

UG07, Learning Centre.

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

Computer Science Departmental Series

Towards Optimal Techniques for Command Selection

Host: Andrew Howes

Gilles Bailly, TELECOM ParisTech.

UG05, Learning Centre.

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

Computer Security Seminars

Stanford Javascript crypto library

Mihai Ordean.

Room 245, School of Computer Science.

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

Human Computer Interaction seminars

Everyday interactions with your phone

Duncan Brumby, UCL Interaction Centre.

UG07, Learning Centre.

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

Theoretical computer science seminar

A bridge between semirings

Flavien Breuvart, PPS, University of Paris 7.

UG06 Learning Centre.

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

Computer Security Seminars

Verifying Differential Privacy by Program Logic

Marco Gaboardi.

Room 222, School of Computer Science.

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

Human Computer Interaction seminars

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

Anna Cox, UCLIC, University College London.

UG07, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Bayesian reinforcement learning: Algorithms and models

Host: Prof. Jeremy Wyatt

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

UG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

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

Host: John Barnden

Dr. Michael Moodie.

G26, Mechanical Engineering.

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

Theoretical computer science seminar

Update monads: cointerpreting directed containers

Tarmo Uustalu, Tallinn University of Technology.

UG10 Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

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

Host: John Bullinaria

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

UG05, Learning Centre.

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

Computer Security Seminars

Enhanced Certificate Transparency and End-to-end Encrypted Mail

Mark Ryan.

Room 245, School of Computer Science.

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

Human Computer Interaction seminars

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

Paul Marshall, UCLIC, University College London.

UG07, Learning Centre.

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

Human Computer Interaction seminars

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

Bernie Hogan, Oxford Internet Institute, University of Oxford.

UG07, Learning Centre.

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

Computer Security Seminars

NDSS dry run

Mark Ryan.

Room 222, School of Computer Science.

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

Computer Security Seminars

Detecting and Analysing compromised Firmware in Memory Forensics

Michael Denzel.

Room 222, School of Computer Science.

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

Computer Science Departmental Series

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

Aaron Sloman.

UG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

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

Dr. Nelly Bencomo, Aston University.

UG05, Learning Centre.

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

Human Computer Interaction seminars

Face Analysis in the Wild

Michel Valstar, Mixed Reality Lab, University of Nottingham.

UG07, Learning Centre.

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

Theoretical computer science seminar

An introduction to overt subspaces of R^n

Paul Taylor, University of Birmingham.

B04 Mechanical Engineering.

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

Theoretical computer science seminar

General Purpose Programming with Dependent Types

Edwin Brady, University of St Andrews.

G42 Mechanical Engineering.

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

Computer Security Seminars

Virtual Multi-Protocol Attacks in Non-Repudiation Protocols

Matthijs Melissen.

Room 245, School of Computer Science.

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

Computer Security Seminars

Quantitative analysis of opacity

Chunyan Mu.

Room 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Metamorphic Testing: A Simple Approach to Alleviate the Oracle Problem

Host: Dr. Rami Bahsoon

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

UG05, Learning Centre.

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

Human Computer Interaction seminars

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

Peter Roelffma.

Nuffield G19.

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

Theoretical computer science seminar

The dual of pattern matching - copattern matching

Anton Setzer, Swansea University.

UG10 Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Evolutionary computing assisting in the construction of variability tolerant designs

Host: Prof. Xin Yao

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

Mechanical Engineering, B04.

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

Computer Science Departmental Series

Towards fine-grained frame-based sentiment analysis

Host: Andrew Gargett

Josef Ruppenhofer, University of Hildesheim.

UG05, Learning Centre.

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

Theoretical computer science seminar

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

Bob Atkey.

UG10 Learning Centre.

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

Computer Science Departmental Series

Social Signal Processing: Understanding Social Interactions Through Nonverbal Behavior Analysis

Host: Mirco Musolesi

Alessandro Vinciarelli, University of Glasgow.

UG05, Learning Centre.

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

Computer Security Seminars

Private machine learning: case of the Internet

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

Room 245, School of Computer Science.

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