Computer Science Departmental Series

Patch Locale of a Spectral Locale in Univalent Type Theory

User Ayberk Tosun (University of Birmingham).

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

Fully abstract categorical semantics for digital circuits

User George Kaye (University of Birmingham).

Thursday 07 July 2022, 14:00-15:00

Primrose: Selecting Container Data Types by their Properties

User Xueying Qin (Huawei Edinburgh Research Centre).

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

Some thoughts on the expressivity of type systems with fixed points

User Anupam Das (University of Birmingham).

Thursday 30 June 2022, 14:00-15:00

Complete flow-preserving rewrite rules for MBQC patterns with Pauli measurements

User Thomas McElvanney (University of Birmingham).

Friday 24 June 2022, 14:00-15:00

Intuitionistic modal logics with coreflection

User Iris van der Giessen (Utrecht University).

Thursday 23 June 2022, 14:00-15:00

House 245, SoCS and Zoom (see abstract for link).

BioTT: a Family of Brouwerian Intuitionistic Theories Open to Classical Reasoning

User Vincent Rahli (University of Birmingham).

Thursday 16 June 2022, 14:00-15:00

The Fine-Grained Complexity of Pattern Counting Problems

User Marc Roth (University of Oxford).

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

From intuitionistic justification logic to explicit modal type theory with diamond

User Sonia Marin (University of Birmingham).

Thursday 26 May 2022, 14:00-15:00

Learning algorithms versus automatability of Frege systems

User Ján Pich.

Thursday 19 May 2022, 14:00-15:00

Kripke Semantics for Intuitionistic Łukasiewicz Logic

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

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

Model Theory ex Proof-search

User Alexander Gheorghiu (University College London).

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

Apartness in constructive domain theory: part II

User Tom de Jong (Birmingham).

Thursday 05 May 2022, 14:00-15:00

Model Counting meets F0 Estimation

User Kuldeep Meel (National University of Singapore).

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

Apartness in constructive domain theory

User Tom de Jong (University of Birmingham).

Thursday 28 April 2022, 14:00-15:00

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

User Pierre Pradic (University of Swansea).

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

Regular string-to-string function in the linear λ-calculus

User Pierre Pradic (University of Swansea).

Thursday 07 April 2022, 14:00-15:00

Implicit automata in typed λ-calculi

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

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

The coherence space semantics of purely linear system F is finite and effective

User Lê Thành Dũng Nguyễn (Tito).

Thursday 31 March 2022, 14:00-15:00

Transducers of polynomial growth

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

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

Semantic evaluation in the simply typed λ-calculus: implicit complexity and normalization

User Lê Thành Dũng Nguyễn (Tito).

Thursday 24 March 2022, 14:00-15:00

Recent results and open questions in applied proof theory

User Tom Powell (University of Bath).

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

Specker sequences and their relevance to Proof Mining

User Morenikeji Neri.

Thursday 17 March 2022, 14:00-15:00

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

User Paul Taylor (University of Birmingham).

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

Teaching complexity theory without machines, some reflections: part II

User Anupam Das, University of Birmingham.

Thursday 10 March 2022, 14:00-15:00

Cyclic Proofs, Hypersequents, and Transitive Closure Logic

User Marianna Girlando (University of Birmingham).

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

Teaching complexity theory without machines, some reflections

User Anupam Das, University of Birmingham.

Thursday 24 February 2022, 14:00-15:00

Seemingly impossible programs and proofs

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

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

Comprehension bicategories

User Niels van der Weide, University of Birmingham.

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

Constructing fully-abstract models of effectful λ-calculi

User Philip Saville, University of Oxford.

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

Synthetic fibered (∞,1)-category theory

User Jonathan Weinberger (University of Birmingham).

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

Confluence with basic effects

User Willem Heijltjes (University of Bath).

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

From axioms to synthetic inference rules via focusing

User Sonia Marin (University of Birmingham).

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

Categorifying Intersection Types

User Federico Olimpieri (University of Leeds).

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

A Type Theory for Strictly Associative Infinity Categories

User Alex Rice.

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

Part III: Some musings on circular proofs and the metamathematical approach to proof mining and higher-order computability

User Anupam Das, University of Birmingham.

Thursday 21 October 2021, 13:00-14:00

Solving Verification Questions using Machine Learning

User Mirco Giacobbe, University of Birmingham.

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

House Zoom (see abstract for link).

Part II: Some musings on circular proofs and the metamathematical approach to proof mining and higher-order computability

User Anupam Das, University of Birmingham.

Thursday 14 October 2021, 13:00-14:00

House https://bham-ac-uk.zoom.us/j/83640520145?pwd=RmJ1a1ZvamNEVG1Sa0ZlN3plaTFHQT09.

Some musings on circular proofs and the metamathematical approach to proof mining and higher-order computability

Join the Zoom meeting below, or join in person in the LG seminar room.

User Dr Anupam Das (University of Birmingham).

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

Types are Internal oo-Groupoids

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

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

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

The Strange Career of Interpolation and Definability

User Michael Benedikt, University of Oxford.

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

House Zoom (see abstract for link).

Logic beyond formulas: a proof system on graphs

User Matteo Acclavio, Université du Luxembourg.

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

House Zoom (see abstract for link).

Canonical proof-objects for coinductive programming

User Abhishek De, Institut de Recherche en Informatique Fondamentale.

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

House Venue to be confirmed.

Hierarchical string diagram for closed monoidal categories

User Dan Ghica (Computer Science).

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

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

Hierarchical string diagrams for closed monoidal categories

User Dan Ghica (Computer Science).

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

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

Automatic differentiation in string diagrams

User Mario Alvarez Picallo, Huawei Research.

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

House Via Zoom (see link in abstract).

Proof complexity of positive branching programs

User Avgerinos Delkos.

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

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

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

User Ming Ng.

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

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

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

User Alex Rice (University of Cambridge).

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

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

The smash product of monoidal theories

User Amar Hadzihasanovic.

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

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

Environments & CPS translations, a well-typed story

User Etienne Miquey, ENS Lyon.

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

House Zoom link at the bottom of the abstract.

On the proof theory of conditional logics

User Marianna Girlando. University of Birmingham..

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

House Zoom link at the bottom of the abstract.

Reparametrizing gradient descent

User David Sprunger, University of Birmingham.

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

House Zoom link at the bottom of the abstract.

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.

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

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

Circularly typed programs and their abstraction complexity

User Dr Anupam Das (University of Birmingham).

Thursday 17 December 2020, 13:55-15:00

Privacy in the Age of Big Data, ML & Blockchains

User Pascal Berrang, University of Birmingham.

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

Privacy in the Age of Big Data, ML & Blockchains

User Pascal Berrang (University of Birmingham).

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

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

A minimal cyclic formal framework for coinduction

User Liron Cohen, Ben-Gurion University.

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

Combining cyclic proofs and implicit complexity

User Gianluca Curzi (University of Birmingham).

Thursday 10 December 2020, 13:55-15:00

The Graphical Language of Symmetric Traced Monoidal Categories

User George Kaye (University of Birmingham).

Thursday 03 December 2020, 13:55-15:00

Broad Infinity and Generation Principles

Virtual Lab Lunch - Passcode: 217

User Paul Levy (University of Birmingham).

Thursday 26 November 2020, 13:55-15:00

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

Arithmetic universes: Home of free algebras

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

User Steve Vickers, CS Theory Group Birmingham .

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

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

Extracting nested relational queries from implicit definitions

User Pierre Pradic (University of Oxford).

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

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

On program equivalence in the probabilistic lambda calculus

User Gianluca Curzi (University of Birmingham).

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

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

Lovász' Theorem and Comonads in Finite Model Theory

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

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

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

Whisker-based biased composition in infinity categories

Alex is leaving the School sadly, so this will be his last talk as an internal speaker!

User Alex Rice (University of Birmingham).

Thursday 24 September 2020, 13:55-15:00

Intriguing Properties of Adversarial ML Attacks in the Problem Space

User Lorenzo Cavallaro (King's College London).

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

Intriguing Properties of Adversarial ML Attacks in the Problem Space

User Lorenzo Cavallaro (King's College London).

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

Pointfree Construction of Positive Real Exponentiation

User Ming Ng (University of Birmingham).

Thursday 27 August 2020, 13:55-15:00

Formal topology and GRD-systems

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

Thursday 13 August 2020, 13:55-15:00

Formal topology and GRD-systems

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

Thursday 13 August 2020, 13:55-15:00

Formal Topology in Univalent Foundations

Ayberk is a new Ph.D. student with Martín Escardó.

User Ayberk Tosun (University of Birmingham).

Thursday 23 July 2020, 13:00-14:00

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

Intutions on domain theory and geometry

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

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

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

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

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

Quantitative Tauberian theorems

User Tom Powell, University of Bath.

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

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

An Authoritarian Approach to Presheaves

User Pierre-Marie Pédrot (INRIA).

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

Formalising the Escardó-Simpson Interval Object in UTT

Preceded by a coffee break at 13:30

User Todd Waugh Ambridge (University of Birmingham).

Thursday 04 June 2020, 14:00-15:00

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

Elementary doctrines as coalgebras

User Jacopo Emmenegger, University of Birmingham.

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

Bifibrations of Polycategories and Classical Linear Logic

NOTE the earlier time of 13:30

User Nicolas Blanco (University of Birmingham).

Thursday 28 May 2020, 13:25-14:30

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

Synthetic probability theory

User Alex Simpson, University of Ljubljana.

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

House https://us02web.zoom.us/j/82603907326?pwd=dXlBdmh0RnRZTDc0Zk1pQXhndWI4Zz09.

A Theory of Particular Sets

Preceded by a coffee break at 13:30

User Paul Levy (University of Birmingham).

Thursday 21 May 2020, 13:55-15:00

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

Formalising mathematics in a theorem prover

User Kevin Buzzard, Imperial College.

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

The ring of adeles from a homotopical viewpoint

Preceded by a coffee break at 13:30

User Scott Balchin (University of Warwick).

Thursday 14 May 2020, 13:55-15:00

Near-Optimal Complexity Bounds for Fragments of the Skolem Problem

User Nikhil Balaji, University of Oxford.

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

Booij’s locators point-free

https://us02web.zoom.us/j/82603907326?pwd=dXlBdmh0RnRZTDc0Zk1pQXhndWI4Zz09

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

Thursday 07 May 2020, 14:00-15:00

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

User Mike Shulman, University of San Diego.

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

On linear rewriting systems for Boolean logic and some applications to proof theory (2)

https://us04web.zoom.us/j/7744570352

User Dr Anupam Das (University of Birmingham).

Thursday 30 April 2020, 14:00-15:00

Title to be confirmed

User Frank Piessens (KU Leuven).

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

Trace Theory for Probability and Nondeterminism

User Ana Sokolova, University of Salzburg.

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

Introduction to the ZX-calculus (2)

https://us04web.zoom.us/j/7744570352

User Miriam Backens (School of Computer Science, University of Birmingham).

Thursday 23 April 2020, 14:00-15:00

Introduction to the ZX-calculus

https://us04web.zoom.us/j/498274768 https://us04web.zoom.us/j/305829441

User Miriam Backens (School of Computer Science, University of Birmingham).

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

On linear rewriting systems for Boolean logic and some applications to proof theory

User Dr Anupam Das (University of Birmingham).

Thursday 02 April 2020, 12:00-13:00

Analysis in Univalent Type Theory

This will be a Virtual Lab Lunch: https://zoom.us/j/615775681

User Auke Booij (UoB).

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

CANCELLED: How hard is LWE anyway?

User Martin R. Albrecht (Royal Holloway).

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

Coinductive Invertibility in Higher Categories

https://meet.google.com/ecc-quzw-qyq

User Alex Rice (University of Birmingham).

House Google Meet.

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

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

User Lorenzo Cavallaro (Kings College London).

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

EV Charging Security at the Physical-Layer

User Richard Baker (University of Oxford).

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

ZX-calculus and its applications

User Quanlong Wang, Oxford.

Artificial Intelligence and Natural Computation seminars

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

New developments in the Meta-Configured Genome theory

More detailed overview:

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

Artificial Intelligence and Natural Computation seminars

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

Unsupervised General Dynamic Scene Reconstruction and Understanding

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

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

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

User Kit Murdock (University of Birmingham).

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

From Brouwer's Thesis to the Fan Functional

User Ulrich Berger (Swansea University).

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

Privileged side-channel attacks for enclave adversaries

User Jo Van Bulck (KU Leuven).

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

Consistency of circuit lower bounds with bounded theories

User Igor Carboni Oliveira (Warwick University).

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

Discrete Gaussian Sampling over the Integers Using Polar Codes

User Dr Cong Ling, Imperial College London.

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

Post-mortem privacy – theory, law and technology

User Dr Edina Harbinja (Aston Law School).

Artificial Intelligence and Natural Computation seminars

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

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

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

House Learning Centre, UG05.

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

House UG10 Learning Centre.

Gödel's incompleteness theorem using arithmetic universes

change of venue

User Alexander Gietelink Oldenziel (Amsterdam).

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

The Cantor-Schröder-Bernstein Theorem for ∞-groupoids

User Martin Escardo (School of Computer Science).

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

Verification of Byzantine Fault Tolerant Systems

User Vincent Rahli (University of Birmingham).

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

Induction for Cycles

User Nicolai Kraus (University of Birmingham).

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

An attack on ECDSA using lattice techniques

User Cécile Pierrot (CNRS-Nancy).

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Revisiting the relation between subspaces and sublocales

User Anna Laura Suarez (University of Birmingham).

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

FENL: an ISE to mitigate analogue micro-architectural leakage

User Dan Page (University of Bristol).

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

On the complexity of linear arithmetic theories over the integers

User Dmitry Chistikov, University of Warwick.

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

Constructing Infinitary Quotient-Inductive Types

User Andy Pitts (University of Cambridge).

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

Well founded coalgebras and recursion

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

Artificial Intelligence and Natural Computation seminars

Thursday 12 December 2019, 12:00-13:00

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

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

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

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

User Samson Abramsky, University of Oxford.

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

Proof complexity through the lens of the pigeon hole principle II

User Dr Anupam Das (University of Birmingham).

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

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

User Chris A (Government Representative).

Artificial Intelligence and Natural Computation seminars

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

Robot Audition for Situational Awareness

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

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

Raising research profile – communications support

User Danann Swanton (EPS Communications).

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

String diagrams for cartesian bicategories and their Karoubi envelopes - and entailment systems

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

Thursday 21 November 2019, 12:00-13:00

TBA

User Dr Anupam Das (University of Birmingham).

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Algorithms and Complexity through the eyes of Vertex Cover (Part 2)

Part 2 of last week's talk

User Rajesh Chitnis (University of Birmingham).

Thursday 07 November 2019, 12:00-13:00

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

User Dr Eduard Marin (University of Birmingham).

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

Taylor expansion in linear logic is invertible: A completeness result

User Daniel de Carvalho, Innopolis University.

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

Algorithms and Complexity through the eyes of Vertex Cover

User Rajesh Chitnis (University of Birmingham).

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

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

User Rob Granger (University of Surrey).

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

Nested proof systems for modal logics (and beyond)

User Sonia Marin, UCL.

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

Internal higher-categorical models of dependent type theory

Please contact Todd if you wish to give a talk this term!

User Nicolai Kraus (University of Birmingham).

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

Quantum Cryptography and the Real World

User Freya Wilson (Sec-1).

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

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

Note unusual time

User Professor Abbas Edalat, Imperial College London.

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

ICS Vulnerabilities Happen - What Lessons can we Learn?

User Richard James Thomas (BCRRE).

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

On the logical complexity of cyclic arithmetic

User Anupam Das, University of Birmingham.

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

A Brouwerian Intuitionistic Type Theory (Part 3)

Please contact Todd if you wish to give a talk this term!

User Vincent Rahli (University of Birmingham).

Thursday 10 October 2019, 12:00-13:00

Diagram rewriting in double categories

User Antonin Delpeuch, University of Oxford.

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

A Brouwerian Intuitionistic Type Theory (Part 2)

First talk of the term. Please contact Todd if you wish to give a talk this term!

User Vincent Rahli (University of Birmingham).

Artificial Intelligence and Natural Computation seminars

Thursday 03 October 2019, 12:00-13:00

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

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

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

A privacy preserving SDN framework leveraging Trusted Computing

User Nada Abdelhadi.

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

Transparent synchronous dataflow

User Steven Cheung, University of Birmingham.

Artificial Intelligence and Natural Computation seminars

Thursday 15 August 2019, 12:00-13:00

How Can Metaheuristics Help Software Engineers

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

Artificial Intelligence and Natural Computation seminars

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

Deep Learning for Magnetic Resonance Image Reconstruction and Analysis

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

Artificial Intelligence and Natural Computation seminars

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

Classification with unknown stochastic label noise: A distribution dependent view

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

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

A Brouwerian Intuitionistic Type Theory

User Vincent Rahli, CS Theory Group, Birmingham.

Artificial Intelligence and Natural Computation seminars

Thursday 25 July 2019, 12:00-13:00

Variational methods for diffusive optical tomography and data clustering

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

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

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

User Brandon Bohrer (Carnegie Mellon).

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

Playing at control: writing surveillance in/for gamified society

User Garfield.

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

House Computer Science, 245.

Constructive Brouwer Fixed Point Theorem

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

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

Artificial Intelligence and Natural Computation seminars

Computational musculoskeletal biomechanics and its applications

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

Artificial Intelligence and Natural Computation seminars

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

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

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

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

House Computer Science, Room 217.

A verifiable, coercion-resistant voting system with linear complexity

User Ben Smyth.

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

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

User Mathy Vanhoef.

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

The next 700 abstract machines

User Dan Ghica (Computer Science).

Thursday 27 June 2019, 12:00-13:00

Rudimentary recursion

User Adrian Mathias.

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

Engineering Lattice-based Cryptography.

User Dr. Sujoy Sinha Roy.

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

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

User Sophie Bullock and Sophie Huckfield. Ambience Factory.

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

A Sound and Complete Logic for Algebraic Effects

User Cristina Matache (Oxford).

Artificial Intelligence and Natural Computation seminars

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

Machine Learning and Network Analysis Approaches for Enabling Biomedical Research

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

House Biosciences E102.

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

Geometric morphisms as structure preserving maps and other nice characterisations

User Christopher Townsend.

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

The coproduct of frames as encoding d-frame structure

User Anna Laura Suarez, CS Theory Group Birmingham.

Thursday 06 June 2019, 12:00-13:00

IFAL: Issue First Activate Later Certificates for V2X

User Chris Hicks.

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

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

User Eduard Marin .

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

Trustworthy software systems

User Pramod Bhatotia.

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

Reasoning about effectful programs and evaluation order

User Dylan McDermott (Cambridge).

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

CAOS: Concurrent-Access Obfuscated Store

User Mihai Ordean.

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

House Computer Science, 245.

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

User Mehrnoosh Sadrzadeh, Queen Mary.

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

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

User Simon Castellan, Imperial College London.

Artificial Intelligence and Natural Computation seminars

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

Probabilistic Modeling for Sequential Decision Making under Uncertainty Problems

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

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

Graph Theory and the Transfinite

User Michael Rathjen (Leeds).

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

POSTPONED

User Dan Ghica, CS Theory Group Birmingham.

Thursday 16 May 2019, 12:00-13:00

Designing Future Heat Services

User Jody Osborn - User Researcher, Energy Systems Catapult.

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

Denotational Semantics of Linear Logic with Least and Greatest Fixpoints

User Farzad Jafarrahmani, ENS Cachan.

Thursday 09 May 2019, 12:00-13:00

Addressing Cybersecurity Issues for the Rail Sector

User Richard James Thomas.

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

Automotive Security

User Andreea Radu.

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

An overview of hardware roots of trust for automotive applications

User Mark Ryan.

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Designing an algebraic effect system for OCaml

User Leo White, Jane Street.

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

Anonymous Communications against Global Adversaries via Secure Multi-Party Computation

User Thomas Zacharias - Edinburgh University.

Artificial Intelligence and Natural Computation seminars

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

Drawing on Millions of Biomedical Journal Publications to do Predictive Biology

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

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

House Computer Science, 217.

Operational approaches to the foundations of physics

User Lucien Hardy, Perimeter Institute.

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

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

User Luc Pellissier, IRIF, Université Paris Diderot.

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

The lifting monad in infinity-groupoids, or types in univalent mathematics

Note room 245 this week

User Martin Escardo, CS Theory Group Birmingham.

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

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

User Dr Dave Singelée.

Artificial Intelligence and Natural Computation seminars

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

Resolution limit of image analysis algorithms

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

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

Proof-Carrying Plans

User Ekaterina Komendantskaya, Heriot-Watt University.

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

Tensor topology

User Pau Enrique Moliner, Edinburgh.

Artificial Intelligence and Natural Computation seminars

Thursday 28 February 2019, 12:00-13:00

Mixed Variational Inference

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

Artificial Intelligence and Natural Computation seminars

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

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

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

Artificial Intelligence and Natural Computation seminars

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

A guided tour of spline-based active contours

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

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

The lifting monad in infinity-groupoids, or types in univalent mathematics

Note changed time and place, theory seminar slot for lab lunch talk

User Martin Escardo (School of Computer Science).

House Sloman lounge.

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

The Scott model of PCF in UniMath

Martin Escardo's talk has been postponed to Friday 22, Sloman Lounge at 11.00

User Tom de Jong, Birmingham CS Theory Group.

Artificial Intelligence and Natural Computation seminars

Thursday 21 February 2019, 12:00-13:00

Resilience and Data Science for Networked Infrastructures

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

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

Unrestricted Quantification and the Structure of Type Theory

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

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

Title to be confirmed

User Speaker to be confirmed.

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

House Computer Science, 217.

COMPUTER PROBLEMS POSED BY DESSINS D'ENFANTS THEORY

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

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

Artificial Intelligence and Natural Computation seminars

Rumour Stance and Veracity Classification in Social Media Conversations

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

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

Numerically Definite Logic

User Richard Kaye, University of Birmingham (Mathematics).

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

BAGSPACES, (OP)FIBRATIONS, AND COLIMITS OF POINT-FREE GENERALIZED SPACES

User Steve Vickers, CS Theory Group Birmingham.

Thursday 07 February 2019, 12:00-13:00

BAGSPACES, (OP)FIBRATIONS, AND COLIMITS OF POINT-FREE GENERALIZED SPACES

User Steve Vickers, CS Theory Group Birmingham.

Thursday 07 February 2019, 12:00-13:00

Bagspaces, (op)fibrations, and colimits of point-free generalized spaces

Note room 245

User Steve Vickers, CS Theory Group Birmingham.

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

The explicit isomorphism problem and its applications"

User Peter Kutas Hungarian Academy of Sciences .

Artificial Intelligence and Natural Computation seminars

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

Robots, Emotions, and Epistemic Rational Assessability

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

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

Strategic Graph Rewriting in PORGY — an interactive modelling framework

User Maria Isabel Fernandez, King's College London.

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

Higher Universal Algebra in Type Theory

User Eric Finster, INRIA, Paris.

Thursday 24 January 2019, 12:00-13:00

House Computer Science, 245.

Higher Universal Algebra in Type Theory

User Eric Finster, INRIA, Paris.

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

Artificial Intelligence and Natural Computation seminars

Gaze Estimation and Perspective-taking Mechanisms in Robots and Humans

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

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

Fibrations and opfibrations of generalized point-free spaces

User Steve Vickers, CS Theory Group Birmingham.

Thursday 17 January 2019, 12:00-13:00

House Computer Science, room 245.

Towards Coherence for Guarded Traces

User Sergey Goncharov, FAU Erlangen-Nürnberg.

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

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

User Daniel Marsden, University of Oxford.

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

Fibrations and opfibrations of toposes

User Sina Hazratpour, CS Theory Group, Birmingham.

Thursday 29 November 2018, 12:00-13:00

Reflection principles in subsystems of analysis

User Emanuele Frittaion, University of Leeds.

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

A foundation for machine learning from Peirce's Logic of Science

User Dan Ghica, CS Theory Group, Birmingham.

Thursday 22 November 2018, 12:00-13:00

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

User Leigh Clark, UCD.

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

House Computer Science, room 245.

Reverse mathematics of non-deterministic inductive definitions

User Hajime Ishihara (JAIST).

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

Polynomials via fibrations

User Tamara von Glehn, University of Cambridge.

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

Beck in control: Algebraic interpretation of a call-by-push-value dialect with control effect

(Dan Ghica's advertised talk has been postponed to next week.)

User Yuning Feng.

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

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

User Myrto Arapinis.

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

Some Open Problems in Homotopy Type Theory

User Nicolai Kraus, University of Nottingham.

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

Discrete spaces are opfibrant, Stone spaces are fibrant (categorically) - and why it matters

Continued from previous week. Dan Ghica's advised talk will be next week.

User Steve Vickers, CS Theory Group, Birmingham.

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

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly

User Qingju Wang.

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

Quantitative Algebraic Reasoning

User Radu Mardare, University of Aalborg.

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

Discrete spaces are opfibrant, Stone spaces are fibrant (categorically) - and why it matters

Postponed from 25 Oct

User Steve Vickers, CS Theory Group Birmingham.

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

Active cyber defence

User Chris A - National Cyber Security Centre.

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

Quasitopoi and universes of propositions

User Paolo Capriotti, University of Nottingham.

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

Compact ordinals in constructive univalent mathematics

(Steve Vickers's advertised talk is postponed to next week)

User Martin Escardo, CS Theory Group, Birmingham.

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

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

User Joe Gardiner.

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Towards a Formal Theory of Renaming for OCaml

User Reuben Rowe, University of Kent.

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

House Learning Centre UG05.

Compact ordinals in constructive univalent mathematics

We found a room after all!

User Martin Escardo, CS Theory Group, Birmingham.

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

Shorter QA-NIZK Proofs For Quadratic Equations

User Javier Silva.

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

Completing the ZX-calculus

User Miriam Backens, University of Oxford.

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

Formulating categorical concepts using classes

Continuation of last week's talk.

User Paul Levy, CS Theory Group Birmingham.

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

Building Reliable Systems on Reliable Foundations

User Vincent Rahli - University of Luxembourg.

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

Formulating categorical concepts using classes

User Paul Levy, CS Theory Group Birmingham.

Thursday 04 October 2018, 12:00-13:00

Security challenges in SDN

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

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

Hypergraph categories as cospan algebras

User Brendan Fong, MIT.

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

Title to be confirmed

User Brendan Fong.

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

Compromised Information Sources

User Tim Muller.

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

Dismantling the AUT64 Automotive Cipher

User Chris Hicks - University of Birmingam.

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

Beneath the Bonnet: a Breakdown of Diagnostic Security

User Jan Van den Herrewegen.

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

Postponed (Topological structure in single molecular imaging)

POSTPONED - new date not fixed yet.

User Iain Styles, School of Computer Science, UoB.

Tuesday 21 August 2018, 13:00-14:00

RepuCoin: An extra resilient blockchain consensus

User Jiangshan Yu, University of Luxemborg.

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

Adversarial examples and attack models in machine learning

User Mark Ryan.

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

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

User Myrto Arapinis (Edinburgh).

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

House Arts - Lecture Room 201.

A Software Engineer Ventures into Behavioural Economics

NB alternative day/room

User Karen Renaud (Abertay).

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

Understanding Girard’s Paradox

User Thorsten Altenkirch (Nottingham).

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

House Room UG07, Murray Learning Centre.

Security of Cyberphysical Systems

School of Computer Science Distinguished Seminar

User P.R.Kumar (TAMU).

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

Artificial Intelligence and Natural Computation seminars

Probabilistic Principal Component Analysis for Time Series

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

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

Software Exploitation: Hardware is the New Black

NB alternative day/room

User Christiano Giuffrida (Vrije Universiteit Amsterdam).

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Title to be confirmed

User Speaker to be confirmed.

Tuesday 19 June 2018, 13:00-14:00

Title to be confirmed

Please note alternative day and location

User Christiano Giuffrida.

Artificial Intelligence and Natural Computation seminars

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

Unsupervised sensorimotor integration for task learning in robot manipulators.

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

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

A homotopy type theory for directed homotopy theory

User Paige North.

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

Group meeting

User Christophe Petit.

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

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

User Siamak Shahandashti (York).

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

REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics

Note change of time and room.

User Mohan Sridharan, SoCS.

Artificial Intelligence and Natural Computation seminars

Tuesday 15 May 2018, 12:00-13:00

Cost-sensitive Boosting, Margin Maximization and Information Theory

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

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

Magnitude of Metric Spaces

User Simon Willerton (Maths, Sheffield).

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

Title to be confirmed

User Sujoy Sinha Roy (KU Leuven).

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

Future directions for Java

User Gavin Bierman (Oracle, Cambridge).

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

A Unified Perspective of Linear Time Logics using Coalgebras

User Corina Cirstea (Southampton).

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

VulCAN: Authentic Execution for Automotive Control Networks

NB alternative day and room

User Jan Tobias Muehlberg (KU Leuven).

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

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

User Juraj Somorovsky (Bochum).

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

Schulmann's Real-cohesive HoTT

User Speaker to be confirmed.

Artificial Intelligence and Natural Computation seminars

Tuesday 24 April 2018, 13:00-14:00

Statistical machine learning for remote characterization of neurological disorders using smartphones

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

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

Between Ratings and Security

User Tim Muller (Oxford).

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

Ordinals vs. Cardinals in N? and Beyond

Special seminar arranged by Aaron Sloman

User Aviv Keren (Jerusalem).

Artificial Intelligence and Natural Computation seminars

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

Statistical Machine Learning for Genomics

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

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

Physical oracles: Measurement, complexity and cyber-physical systems

User Edwin Beggs (Maths, Swansea University).

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

(Op)fibrations of toposes

Room changed

User Sina Hazratpour, CS Theory Group Birmingham.

Tuesday 20 March 2018, 13:00-14:00

Machine Learning Security – Can we trust the machines?

User Steve.

Artificial Intelligence and Natural Computation seminars

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

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

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

House UG06, Learning Centre.

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

Univalent mathematics - continued

User Martin Escardo, CS Theory Group Birmingham.

Tuesday 13 March 2018, 13:00-14:00

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

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

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

Geometric/AU mathematics

User Steve Vickers, CS Theory Group Birmingham.

Tuesday 06 March 2018, 13:00-14:00

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

User Marcelo Fiore (Cambridge).

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

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

User Jens Groth (UCL).

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

Univalent mathematics

Note not usual room

User Martin Escardo, CS Theory Group Birmingham.

Tuesday 27 February 2018, 13:00-14:00

Handlers in Scope with Adjunctions

User Nicholas Wu (Bristol).

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

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

User Sebastian Lekies (Google).

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

Linear typings as flows on 3-valent graphs (part 3)

User Noam Zeilberger, CS Theory Group Birmingham.

Artificial Intelligence and Natural Computation seminars

Tuesday 20 February 2018, 13:00-14:00

Constructivist approach towards understanding and making intelligence

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

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

Concurrent Kleene Algebra: free model and completeness

User Alexandra Silva (UCL).

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

Group meeting

User Mark Ryan.

Artificial Intelligence and Natural Computation seminars

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

Structural Identifiability and Indistinguishability Analyses: Tools for Systems Modelling

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

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

The Dialectica models of type theory

room 217, not Sloman Lounge

User Sean Moss (Oxford, formerly Cambridge).

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

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

User Matt Smith (Oxford).

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

Linear typings as flows on 3-valent graphs

User Noam Zeilberger, CS Theory Group Birmingham.

Tuesday 06 February 2018, 13:00-14:00

The Church-Turing Thesis and denotational semantics

room 217, not Sloman Lounge

User Achim Jung (School of Computer Science).

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

Universally Verifiable MPC with Applications to IRV Ballot Counting

User Olivier Pereira (UC Louvain).

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

Multitasking in Human-Computer Interaction

User Duncan Brumby, UCL.

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

Some remarks on n-fibrations

User Sina Hazratpour, CS Theory Group Birmingham.

Tuesday 30 January 2018, 13:00-14:00

Teaching old type systems new tricks with type providers

User Tomas Petricek (Alan Turing Institute).

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

House Computer Science, Room 217.

Cyber Security Game Session

User Andreas Haggman (RHUL).

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

Wargaming Cyber Security

User Andreas Haggman (RHUL).

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

Linear typings as flows on 3-valent graphs (Part 1: imploids and flows)

Note not usual room

User Noam Zeilberger, CS Theory Group Birmingham.

Tuesday 23 January 2018, 13:00-14:00

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

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

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

Informal discussions

User Speaker to be confirmed.

Artificial Intelligence and Natural Computation seminars

Tuesday 16 January 2018, 13:00-14:00

Behavioural Machine Learning

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

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

From curves to train tracks to compressed words

NB 217 not Sloman Lounge

User Saul Schleimer (Maths, Warwick).

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

Group meeting

User David Oswald.

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

Informal

Date changed

User Speaker to be confirmed.

Tuesday 09 January 2018, 13:00-14:00

A Curry-Howard Correspondence for Event-Based Programming

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

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

A syntactic view of adequacy

User Marco Devesas Campos, CS Theory Group.

Artificial Intelligence and Natural Computation seminars

Wednesday 06 December 2017, 13:00-14:00

Tensor Analysis and Learning

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

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

Universally optimal mitigation strategies for leakage of information

User Pasquale Malacaria (Queen Mary, London).

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

Informal

User Speaker to be confirmed.

Artificial Intelligence and Natural Computation seminars

Wednesday 29 November 2017, 13:00-14:00

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

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

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

Syntactic and semantic fun with monads

User Fredrik Dahlqvist (UCL).

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

House Computer Science room 245.

TRAKS: A Universal Key Management Scheme for ERTMS

NB change of location: Room 245

User Richard Thomas (Birmingham).

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

Using Yoneda rather than J to present the identity type.

User Martin Escardo, CS Theory Group Birmingham.

Artificial Intelligence and Natural Computation seminars

Wednesday 22 November 2017, 01:00-02:00

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

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

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

A concurrent interpretation of the law of excluded middle

User Ulrich Berger (University of Swansea).

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

Family Rituals 2.0

User Dave Kirk, Northumbria University.

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

Informal

User Speaker to be confirmed.

Wednesday 15 November 2017, 01:00-02:00

Decidable Logics for Path Feasibility of Programs with Strings

User Anthony Widjaja Lin (University of Oxford).

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

A sequent calculus for a semi-associative law

Time changed - sorry

User Noam Zeilberger, Birmingham Theory Group.

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

Segal-type models of higher categories

User Simona Paoli (University of Leicester).

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

Free d-frames and quotients

User Tomas Jakl, CS Theory Group Birmingham/Charles University Prague.

Wednesday 01 November 2017, 13:00-01:00

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

User Kathy Stawarz, University of Bristol.

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

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

User Corneliu Hoffman (University of Birmingham).

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

How (not) to use TLS between 3 parties

User Ioana Boureanu (Surrey).

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

From finitary monads to Lawvere theories: Cauchy completions

NB 217 not Sloman Lounge

User John Power (University of Bath).

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

House Learning Centre, UG07.

Birmingham Security and Privacy research showcase

Please note longer time and change of venue

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

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

No formal presentation (offers welcome!)

User Speaker to be confirmed.

Wednesday 18 October 2017, 01:00-02:00

Theoretical Computer Science in Quantum Circuit Design

Also of interest in Security

User Peter Hines (University of York).

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

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

User Changyu Dong (Newcastle).

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

Multiplication is commutative, geometrically

Note non-standard time and room

User Martin Escardo, Birmingham.

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

Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

User Reuben Rowe (University of Kent at Canterbury).

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

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

User Philipp Jakubeit (Birmingham).

Artificial Intelligence and Natural Computation seminars

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

Bandits on an unknown manifold

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

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

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

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

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

Type theory without exponentials

User Steve Vickers, CS Theory Group Birmingham.

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

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

User Mina Vasalou, UCL Institue of Education.

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

Analysis in univalent type theory

User Auke Booij, CS Theory Group, Birmingham.

Artificial Intelligence and Natural Computation seminars

Thursday 14 September 2017, 12:00-13:00

Random Projections for Dimensionality Reduction

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

Artificial Intelligence and Natural Computation seminars

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

Level-based analysis of stochastic population models

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

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

Towards abductive functional programming

User Koko Muroya, CS Theory Group, University of Birmingham.

Thursday 31 August 2017, 12:00-13:00

Fibrations of toposes

NB This talk is at the theory seminar time (11.0 Friday) in the lab lunch room (217).

User Sina Hazratpour, CS Theory Group Birmingham.

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

Locally graded categories

User Paul Levy, CS Theory Group, Birmingham.

Thursday 24 August 2017, 12:00-13:00

Locally graded categories

NB This talk is at the theory seminar time (11.0 Friday) in the lab lunch room (217).

User Paul Levy, CS Theory Group, Birmingham.

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

Work in progress

User Flavien Breuvart.

Artificial Intelligence and Natural Computation seminars

Thursday 17 August 2017, 12:00-13:00

The Physics and Control of Balancing on a Point

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

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

Dynamic Geometry of Interaction

User Koko Muroya, University of Birmingham.

Thursday 10 August 2017, 12:00-13:00

Partial functions and recursion via dominances in univalent type theory

User Cory Knapp.

Thursday 03 August 2017, 12:00-13:00

String diagrams for stably compact locales

NB This talk is at the theory seminar time (11.0 Friday) in the lab lunch room (217).

User Steve Vickers, CS Theory Group Birmingham.

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

String diagrams for stably compact locales

User Steve Vickers, CS Theory Group, Birmingham.

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

Birmingham Research Showcase

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

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

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

User Eric Verheul (Radboud).

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

Security and Privacy group research showcase

User Speaker to be confirmed.

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

Commutative or monoidal monads

User Paul Taylor (U of Brum (honorary)).

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

Polymorphic Encryption and Pseudonymization in the Dutch eID scheme

User Eric Verheul (Radboud).

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Blockchain & Hyperledger

User Pete Cripps (Cloud Architect, IBM).

Artificial Intelligence and Natural Computation seminars

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

Inferring functional networks from rule-based machine learning models

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

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Models of type theory

User Cory Knapp.

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

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

User Chris Brzuska (Hamburg).

Artificial Intelligence and Natural Computation seminars

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

Rule Control of Goal Directed, Reactive, Communicating Robotic Agents

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

House Mechanical Engineering, G36.

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

Deciding subtype entailment

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

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

Colocales

User Steve Vickers, Theory Group, SoCS.

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

Automotive security research from a tier 1 perspective

User Michael Feiri and Martin Thompson (ZF TRW).

Artificial Intelligence and Natural Computation seminars

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

Parameter tuning via abduction

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

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

Can we machine-learn a programming language semantics?

User Dan Ghica (Computer Science).

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

House Computer Science room 245.

Ethics, Risk and Responsibility in Cyber Security Research

Please note room change

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

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

New foundations for string diagram rewriting

User Fabio Zanasi (UCL).

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

Information Security in Practice

User David Deighton (Birmingham).

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

House Computer Science 217.

Relative pseudomonads

Room change!

User Nicola Gambino (University of Leeds).

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

Adjunctions that are both monadic and comonadic

Postponed and moved.

User Paul Taylor (U of Brum (honorary)).

Thursday 25 May 2017, 11:59-13:00

Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results

User Jean Paul Degabriele (RHUL).

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

Measuring & Reflecting on Mental Workload

User Max Wilson - University of Nottingham.

Artificial Intelligence and Natural Computation seminars

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

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

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

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

Algorithms and barriers for random instances of computational problems

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

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

Certifying the uncertifiable

User Julio Hernandez-Castro (University of Kent).

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

Partner Modelling and its Impact on Human-Machine Dialogue Interactions

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

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

Title to be confirmed

User Angela Sasse (UCL).

Artificial Intelligence and Natural Computation seminars

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

Machine Learning and Computer Vision on Mars

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

Artificial Intelligence and Natural Computation seminars

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

Manifolds in the Age of Big Data and Deep Learning

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

Artificial Intelligence and Natural Computation seminars

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

Online Ensemble Learning of Data Streams with Gradually Evolved Classes

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

House Mechanical Engineering, B22.

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

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

User Abbas Edalat (Imperial College).

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

Towards the Analysis of Movement Variability in Human-Humanoid Interaction

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

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

A Geometry of Interaction semantics for TensorFlow

User Dan Ghica (University of Birmingham).

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

Some enumerative, topological, and algebraic aspects of linear lambda calculus

User Noam Zeilberger, SoCS UoB.

Artificial Intelligence and Natural Computation seminars

Thursday 06 April 2017, 12:00-13:00

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

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

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

The frame generated by closed sublocales

User Ales Pultr (Charles University, Prague).

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

Double negation and continuations

User Hayo Thielecke, SoCS UoB.

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

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

User Michael Huth (Imperial College London).

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

Coalgebraic Dynamic Logics

User Clemens Kupke (University of Strathclyde).

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

Speaker to be confirmed

User Speaker to be confirmed.

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

Certifying the uncertifiable

User Thanassis Giannetsos (Surrey).

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

On the commutativity of the powerspace monads

User Matthew de Brecht (University of Kyoto).

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

Stacks

Room changed

User Sina Hazratpour.

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

Towards the verified compilation of Lustre

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

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

Title to be confirmed

User Speaker to be confirmed.

Thursday 09 March 2017, 12:00-13:00

Computability and recursion theory in univalent type theory

Room as usual, despite earlier announcement

User Cory Knapp, SoCS, Birmingham.

Artificial Intelligence and Natural Computation seminars

Thursday 02 March 2017, 12:00-13:00

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

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

House Learning Centre, UG05.

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

Closure of system T under the bar recursion rule

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

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

A formal Security Analysis of the Signal Messaging Protocol

User Luke Garratt (University of Oxford).

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

Homotopy coherent distributive laws

User Nick Gurski (University of Sheffield).

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

House Computer Science, Room 217.

Noetherian Quasi-Polish spaces

User Arno Pauly.

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

Title to be confirmed

User Arno Pauly.

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

Fixed-Point Arithmetic in Somewhat Homomorphic Encryption Schemes

User Srinivas Vivek (University of Bristol).

Artificial Intelligence and Natural Computation seminars

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

Planning Under Uncertainty and Robot Task Plan Performance Evaluation

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

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

Computability and recursion theory in univalent type theory

Note change of date (was scheduled for 2 Feb, then 9 Feb)

User Cory Knapp.

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

A Surfeit of SSH Ciphersuites

User Kenny Paterson (Royal Holloway University of London).

Artificial Intelligence and Natural Computation seminars

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

Cost sensitive learning in high dimensions with approximate nearest neighbours

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

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

House Computer Science room 245.

Functoriality of modified realizability

Room 245 not Sloman Lounge

User Peter Johnstone (DPMMS, University of Cambridge).

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

Partial functions via dominances in univalent type theory

Note that Cory's talk has been postponed a week, to 9 Feb.

User Martin Escardo, School of Computer Science, UoBirmingham.

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

Partial functions via dominances in univalent type theory

User Martin Escardo, School of Computer Science, UoBirmingham.

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

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

User Jason Nurse (Oxford).

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

Grothendieck toposes fibred over elementary toposes

Room changed

User Steve Vickers, School of Computer Science, University of Birmingham.

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

Security Notions for Whitebox Cryptography

User Chris Brzuska (Hamburg University of Technology).

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

Reversible System T

User Ian Mackie (University of Sussex).

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

Do we need trust for verifiability in e-voting?

User Peter Browne Roenne (Luxembourg).

Artificial Intelligence and Natural Computation seminars

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

Reformation: a generic algorithm for repairing faulty representations.

Departmental Seminar

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

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

Representations for feasibly approximable functions

User Michal Konečný (Aston University).

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

Type theoretic aspects of AU sketches

Apologies for wrong announcement that it was Wednesday

User Steve Vickers, SoCS, Birmingham.

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

Post-quantum cryptography

User Peter Schwabe (Radboud, NL).

Artificial Intelligence and Natural Computation seminars

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

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

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

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

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

A Categorical Perspective on Type Refinement Systems

User Noam Zeilberger (University of Birmingham).

Thursday 08 December 2016, 12:00-13:00

Interaction morphisms

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

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

Alpha-Beta Privacy

User Luca Vigano (KCL).

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

Probabilistic Programming

User Hongseok Yang (University of Oxford).

Artificial Intelligence and Natural Computation seminars

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

Cost-Sensitive Boosting: A Unifying Perspective

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

User Gavin Brown, University of Manchester.

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

Transparency Overlays and Applications

User Sarah Meiklejohn (UCL).

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

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

User Aaron Sloman (University of Birmingham).

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

Parametricity for category theory

User Uday Reddy (School of Computer Science).

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

Understanding and Improving the Security Impact of Smartphone Apps

User Vincent Taylor (University of Oxford) .

Artificial Intelligence and Natural Computation seminars

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

Multiagent Planning, Learning & Influences

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

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

Semantic Foundations for Probabilistic Programming

User Sam Staton (University of Oxford).

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

To be announced

User Pierre Clairambault.

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

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

User Jonathan Bootle (UCL).

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

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

User Paul Bilokon.

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

Type theory for the arithmetic universe sketches

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

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

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

User Petr Svenda (Masaryk University, Czech Republic).

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

Formalizing compositional proofs

User Jamie Vicary (University of Oxford).

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

Title to be confirmed

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

Thursday 13 October 2016, 12:00-13:00

Reconciling structural and nominal syntax in the language of diagrams

User Dan Ghica (Computer Science).

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

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

User Sylvain Frey (University of Lancaster).

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

Adjunctions and Actions of Co/Cartesian Categories

User Francisco Lobo (University of Manchester).

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

Trace equivalence of well-founded processes via commutativity

User Paul Levy (University of Birmingham).

Thursday 29 September 2016, 12:00-13:00

Computer Science Summer Interns

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

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

LeiA: A Lightweight Authentication Protocol for CAN

User Andreea Radu (University of Birmingham).

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

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

User David Galindo (University of Birmingham).

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

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

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

Artificial Intelligence and Natural Computation seminars

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

3 Challenge Problems with Cyber Physical Systems and IoT

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

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

A revised graph syntax from traced monoidal categories

User Aliaume Lopez, École normale supérieure.

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

Jung-Tix problem in sober dcpos

User Xiaodong Jia (School of Computer Science, University of Birmingham).

Wednesday 06 July 2016, 13:00-14:00

Possible world semantics for heap storage

User Paul Levy (University of Birmingham).

Friday 01 July 2016, 13:00-14:00

Possible world semantics for heap storage

User Paul Levy (University of Birmingham).

Wednesday 29 June 2016, 13:00-14:00

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

User Hannes Mehnert (University of Cambridge).

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

A Formal Security Analysis of ERTMS Train to Trackside Protocols

User Richard Thomas (University of Birmingham).

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

House Room 217, School of Computer Science.

Internet Voting on Insecure Platforms

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

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

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

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

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

A Vietoris functor for d-frames

User Tomas Jakl ().

Artificial Intelligence and Natural Computation seminars

Wednesday 08 June 2016, 13:00-14:00

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

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

House Medical School, MED-CM04.

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

Dynamic games and strategies

User Norihiro Yamada (Oxford).

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

Sketches for arithmetic universes

User Dr Steve Vickers (School of Computer Science, University of Birmingham).

Wednesday 18 May 2016, 13:00-14:00

Parametricity and excluded middle

User Auke Booij.

Wednesday 11 May 2016, 13:00-14:00

Iteration and labelled iteration

User Bram Geron.

Wednesday 27 April 2016, 13:00-14:00

House Learning Centre UG09.

Side Effects in Natural Languages

User Jirka Marsik.

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

House UG07, Learning Centre.

Towards Deployment of a Next-generation Secure Internet Architecture

User Adrian Perrig (ETH Zurich).

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

Fibrations in Category Theory and Topology

User Sina (University of Birmingham, UK).

Wednesday 06 April 2016, 13:00-14:00

Investigatory Powers Bill

User Ian Batten (University of Birmingham).

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

Curriculum discussion

User Speaker to be confirmed.

Artificial Intelligence and Natural Computation seminars

Wednesday 23 March 2016, 13:00-14:00

Meaning, Language Games and Inference

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

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

Cyber Security: It's a Socio-Technical Challenge

User Budi Arief (University of Kent).

Artificial Intelligence and Natural Computation seminars

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

Rewriting syntactically complex English sentences in the FIRST project

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

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

Theory curriculum discussion

User Speaker to be confirmed.

Wednesday 09 March 2016, 13:00-14:00

Lightweight Cryptography for Next Generation Vehicle Electrical Architecture

User Andrea Radu.

Wednesday 02 March 2016, 13:00-14:00

Type Theory in Type Theory using Quotient Inductive Types

User Ambrus Kaposi (Nottingham).

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

Names with interleaved scopes

User Dan Ghica (Computer Science).

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

Internal "parametricity" of HoTT

User Auke Booij.

Wednesday 24 February 2016, 13:00-14:00

Enriched-adjunction models and polarisation for modelling effects and resources

User Guillaume Munch-Maccagnoni (Cambridge).

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

Effects as sessions, sessions as effects

User Dominic Orchard (Imperial).

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

cMix: Anonymization by High-Performance Scalable Mixing

User Joeri de Ruiter (University of Birmingham).

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

Is Mathematics Parametric?

User Uday Reddy (School of Computer Science).

Wednesday 03 February 2016, 13:00-14:00

Programming and Proving with Concurrent Resources

User Ilya Sergey (UCL).

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

Functional programming analogue of Datalog

User Michael .

Wednesday 27 January 2016, 13:00-14:00

NetKAT: A FORMAL SYSTEM FOR THE VERIFICATION OF NETWORKS

User Alexandra Silva (UCL).

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

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

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

Host: Jeremy L Wyatt

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

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

Liveness for programs with higher-order state

User Neel Krishnaswami ().

Wednesday 13 January 2016, 13:00-14:00

Conjugate Hylomorphisms

User Nicolas Wu (Bristol).

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

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

Motion sensitive visual neural networks, from animals to bio robotics

Host: Dr. Shan He

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

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

Automated Reasoning in the Wild

Host: Dr. Manfred Kerber

User Ulrich Furbach, University of Koblenz, Germany.

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

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

On the feasibility of cryptography for a wireless insulin pump system

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

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

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

User David Oswald (University of Birmingham).

House Arts Lecture Room 6.

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

Title to be confirmed

User Ben Paddock, Developer at Talis.

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

Title to be confirmed

User Steve Pitchford, Development Manager at Majestic.

House Arts Lecture Room 6.

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

Haskell in Production

User Will Sewell, Platform Engineer at Pusher.

House Arts Lecture Room 6.

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

Structural Resolution meets Curry-Howard

User Ekaterina Komendantskaya (Dundee).

Artificial Intelligence and Natural Computation seminars

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

The Church-Turing Thesis in the theory of computation

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

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

Artificial Intelligence and Natural Computation seminars

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

What is computation and can it explain anything?

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

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

Artificial Intelligence and Natural Computation seminars

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

Reflexive Self: How

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

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

Artificial Intelligence and Natural Computation seminars

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

Evolution of mathematical consciousness based on experienced positive and negative affordances

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

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