University of Birmingham > Talks@bham > Computer Science Distinguished Seminars

Computer Science Distinguished Seminars

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Description to be confirmed

Tell a friend about this list:

8 upcoming talks and 711 talks in the archive: show all (slow!).

Theoretical computer science seminar

Cancelled

UserUNISON.

HousePicket lines.

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

Theoretical computer science seminar

Inductive Continuity via Brouwer Trees

UserAyberk Tosun (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Categories like Hilbert spaces

UserChris Heunen (University of Edinburgh).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Picturing Quantum Software

UserAleks Kissinger (University of Oxford).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Cancelled

UserUniversity and College Union (UCU).

HousePicket lines.

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

Theoretical computer science seminar

Effectfully gardening with the Pythia

Note unusual time because of interviews

UserMartin Baillon (INRIA).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Composable Constraint Models for Permutation Problems

UserRuth Hoffmann (University of St Andrews).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Cancelled

UserUniversity and College Union (UCU).

HousePicket lines.

ClockFriday 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

UserDan Ghica (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Cyclic Systems for Arithmetic Theories of Inductive Definitions

UserLukas Holter Melgaard (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Theoretical computer science seminar

Cancelled

UserUniversity and College Union (UCU).

HousePicket lines.

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

Theoretical computer science seminar

The Functional Machine Calculus

UserChris Barrett (University of Birmingham).

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

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

Theoretical computer science seminar

Acyclic types and epimorphisms in homotopy type theory

Tom day Jong!

UserTom de Jong (University of Nottingham).

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

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

Theoretical computer science seminar

Mixed states and module categories

UserDominic Verdon (University of Bristol).

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

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

Theoretical computer science seminar

Model Theory ex Proof-search

UserAlexander Gheorghiu (University College London).

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

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

Theoretical computer science seminar

Model Counting meets F0 Estimation

UserKuldeep Meel (National University of Singapore).

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

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

Theoretical computer science seminar

Implicit automata in typed λ-calculi

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

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

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

Theoretical computer science seminar

Transducers of polynomial growth

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

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

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

Theoretical computer science seminar

Seemingly impossible programs and proofs

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

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

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

Theoretical computer science seminar

Comprehension bicategories

UserNiels van der Weide, University of Birmingham.

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

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

Theoretical computer science seminar

Synthetic fibered (∞,1)-category theory

UserJonathan Weinberger (University of Birmingham).

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

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

Theoretical computer science seminar

Confluence with basic effects

UserWillem Heijltjes (University of Bath).

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

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

Theoretical computer science seminar

Categorifying Intersection Types

UserFederico Olimpieri (University of Leeds).

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

ClockFriday 29 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

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

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

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

Theoretical computer science seminar

Logic beyond formulas: a proof system on graphs

UserMatteo Acclavio, Université du Luxembourg.

HouseZoom (see abstract for link).

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

Theoretical computer science seminar

Canonical proof-objects for coinductive programming

UserAbhishek De, Institut de Recherche en Informatique Fondamentale.

HouseZoom (see abstract for link).

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

Theoretical computer science seminar

On the proof theory of conditional logics

UserMarianna Girlando. University of Birmingham..

HouseZoom link at the bottom of the abstract.

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

Theoretical computer science seminar

Reparametrizing gradient descent

UserDavid Sprunger, University of Birmingham.

HouseZoom link at the bottom of the abstract.

ClockFriday 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.

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

HouseZoom link at the bottom of the abstract.

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

Computer Security Seminars

Privacy in the Age of Big Data, ML & Blockchains

UserPascal Berrang, University of Birmingham.

HouseZoom (e-mail organiser for details).

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

Computer Security Seminars

Privacy in the Age of Big Data, ML & Blockchains

UserPascal Berrang (University of Birmingham).

HouseZoom (e-mail organiser for details).

ClockThursday 17 December 2020, 11:00-12: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

UserSteve Vickers, CS Theory Group Birmingham .

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

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

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.

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

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

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

Computer Security Seminars

Intriguing Properties of Adversarial ML Attacks in the Problem Space

UserLorenzo Cavallaro (King's College London).

HouseZoom (e-mail organiser for details).

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

Computer Security Seminars

Intriguing Properties of Adversarial ML Attacks in the Problem Space

UserLorenzo Cavallaro (King's College London).

HouseZoom (e-mail organiser for details).

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

Theoretical computer science seminar

Intutions on domain theory and geometry

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

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

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

Artificial Intelligence and Natural Computation seminars

Machine Learning and Dynamical Systems meet in Reproducing Kernel Hilbert Spaces

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Elementary doctrines as coalgebras

UserJacopo Emmenegger, University of Birmingham.

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

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

Theoretical computer science seminar

Synthetic probability theory

UserAlex Simpson, University of Ljubljana.

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

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

Theoretical computer science seminar

Near-Optimal Complexity Bounds for Fragments of the Skolem Problem

UserNikhil Balaji, University of Oxford.

HouseZoom.

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

Computer Security Seminars

Title to be confirmed

UserFrank Piessens (KU Leuven).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Trace Theory for Probability and Nondeterminism

UserAna Sokolova, University of Salzburg.

HouseZoom.

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

Computer Security Seminars

CANCELLED: How hard is LWE anyway?

UserMartin R. Albrecht (Royal Holloway).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

EV Charging Security at the Physical-Layer

UserRichard Baker (University of Oxford).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

New developments in the Meta-Configured Genome theory

More detailed overview:

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Unsupervised General Dynamic Scene Reconstruction and Understanding

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Post-mortem privacy – theory, law and technology

UserDr Edina Harbinja (Aston Law School).

HouseComputer Science, The Sloman Lounge (UG).

ClockThursday 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

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

HouseLearning Centre, UG05.

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

Lab Lunch

Gödel's incompleteness theorem using arithmetic universes

change of venue

UserAlexander Gietelink Oldenziel (Amsterdam).

HouseUG10 Learning Centre.

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

Computer Security Seminars

Verification of Byzantine Fault Tolerant Systems

UserVincent Rahli (University of Birmingham).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Induction for Cycles

UserNicolai Kraus (University of Birmingham).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

An attack on ECDSA using lattice techniques

UserCécile Pierrot (CNRS-Nancy).

HouseComputer Science, The Sloman Lounge (UG).

ClockThursday 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Robot Audition for Situational Awareness

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Raising research profile – communications support

UserDanann Swanton (EPS Communications).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

HouseComputer Science, The Sloman Lounge (UG).

ClockMonday 11 November 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

UserProfessor Abbas Edalat, Imperial College London.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Diagram rewriting in double categories

UserAntonin Delpeuch, University of Oxford.

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

How Can Metaheuristics Help Software Engineers

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Deep Learning for Magnetic Resonance Image Reconstruction and Analysis

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Classification with unknown stochastic label noise: A distribution dependent view

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Variational methods for diffusive optical tomography and data clustering

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Constructive Brouwer Fixed Point Theorem

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

HouseComputer Science, 245.

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

Artificial Intelligence and Natural Computation seminars

Computational musculoskeletal biomechanics and its applications

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

HouseComputer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

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

UserSophie Bullock and Sophie Huckfield. Ambience Factory.

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Machine Learning and Network Analysis Approaches for Enabling Biomedical Research

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

HouseBiosciences E102.

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

Artificial Intelligence and Natural Computation seminars

Probabilistic Modeling for Sequential Decision Making under Uncertainty Problems

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

HouseComputer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Designing Future Heat Services

UserJody Osborn - User Researcher, Energy Systems Catapult.

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Drawing on Millions of Biomedical Journal Publications to do Predictive Biology

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Operational approaches to the foundations of physics

UserLucien Hardy, Perimeter Institute.

HouseComputer Science, 217.

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

Artificial Intelligence and Natural Computation seminars

Resolution limit of image analysis algorithms

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Proof-Carrying Plans

UserEkaterina Komendantskaya, Heriot-Watt University.

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Mixed Variational Inference

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

A guided tour of spline-based active contours

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Resilience and Data Science for Networked Infrastructures

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Unrestricted Quantification and the Structure of Type Theory

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

COMPUTER PROBLEMS POSED BY DESSINS D'ENFANTS THEORY

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

HouseComputer Science, 217.

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

Artificial Intelligence and Natural Computation seminars

Rumour Stance and Veracity Classification in Social Media Conversations

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Numerically Definite Logic

UserRichard Kaye, University of Birmingham (Mathematics).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

The explicit isomorphism problem and its applications"

UserPeter Kutas Hungarian Academy of Sciences .

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Robots, Emotions, and Epistemic Rational Assessability

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Higher Universal Algebra in Type Theory

UserEric Finster, INRIA, Paris.

HouseComputer Science, 245.

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

Artificial Intelligence and Natural Computation seminars

Gaze Estimation and Perspective-taking Mechanisms in Robots and Humans

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Towards Coherence for Guarded Traces

UserSergey Goncharov, FAU Erlangen-Nürnberg.

HouseComputer Science, room 245.

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

Theoretical computer science seminar

Reflection principles in subsystems of analysis

UserEmanuele Frittaion, University of Leeds.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Polynomials via fibrations

UserTamara von Glehn, University of Cambridge.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Some Open Problems in Homotopy Type Theory

UserNicolai Kraus, University of Nottingham.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Quantitative Algebraic Reasoning

UserRadu Mardare, University of Aalborg.

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Active cyber defence

UserChris A - National Cyber Security Centre.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Quasitopoi and universes of propositions

UserPaolo Capriotti, University of Nottingham.

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 26 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Completing the ZX-calculus

UserMiriam Backens, University of Oxford.

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Building Reliable Systems on Reliable Foundations

UserVincent Rahli - University of Luxembourg.

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Security challenges in SDN

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Dismantling the AUT64 Automotive Cipher

UserChris Hicks - University of Birmingam.

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

RepuCoin: An extra resilient blockchain consensus

UserJiangshan Yu, University of Luxemborg.

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A Software Engineer Ventures into Behavioural Economics

NB alternative day/room

UserKaren Renaud (Abertay).

HouseArts - Lecture Room 201.

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

Theoretical computer science seminar

Understanding Girard’s Paradox

UserThorsten Altenkirch (Nottingham).

House217, School of Computer Science.

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

Computer Security Seminars

Security of Cyberphysical Systems

School of Computer Science Distinguished Seminar

UserP.R.Kumar (TAMU).

HouseRoom UG07, Murray Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Probabilistic Principal Component Analysis for Time Series

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Software Exploitation: Hardware is the New Black

NB alternative day/room

UserChristiano Giuffrida (Vrije Universiteit Amsterdam).

HouseRoom 245, School of Computer Science.

ClockMonday 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Title to be confirmed

Please note alternative day and location

UserChristiano Giuffrida.

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Group meeting

UserChristophe Petit.

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Cost-sensitive Boosting, Margin Maximization and Information Theory

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Magnitude of Metric Spaces

UserSimon Willerton (Maths, Sheffield).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Title to be confirmed

UserSujoy Sinha Roy (KU Leuven).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Future directions for Java

UserGavin Bierman (Oracle, Cambridge).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

VulCAN: Authentic Execution for Automotive Control Networks

NB alternative day and room

UserJan Tobias Muehlberg (KU Leuven).

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Ordinals vs. Cardinals in N? and Beyond

Special seminar arranged by Aaron Sloman

UserAviv Keren (Jerusalem).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Statistical Machine Learning for Genomics

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

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

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

HouseUG06, Learning Centre.

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

Human Computer Interaction seminars

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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Constructivist approach towards understanding and making intelligence

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Group meeting

UserMark Ryan.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

The Dialectica models of type theory

room 217, not Sloman Lounge

UserSean Moss (Oxford, formerly Cambridge).

House217, School of Computer Science.

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

Theoretical computer science seminar

The Church-Turing Thesis and denotational semantics

room 217, not Sloman Lounge

UserAchim Jung (School of Computer Science).

House217, School of Computer Science.

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

Computer Security Seminars

Cyber Security Game Session

UserAndreas Haggman (RHUL).

HouseComputer Science, Room 217.

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

Computer Security Seminars

Wargaming Cyber Security

UserAndreas Haggman (RHUL).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Behavioural Machine Learning

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

From curves to train tracks to compressed words

NB 217 not Sloman Lounge

UserSaul Schleimer (Maths, Warwick).

House217, School of Computer Science.

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

Computer Security Seminars

Group meeting

UserDavid Oswald.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

A Curry-Howard Correspondence for Event-Based Programming

UserNeel Krishnaswami (University of Cambridge, formerly Birmingham).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Tensor Analysis and Learning

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

HouseComputer Science, The Sloman Lounge (UG).

ClockMonday 04 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

TRAKS: A Universal Key Management Scheme for ERTMS

NB change of location: Room 245

UserRichard Thomas (Birmingham).

HouseComputer Science room 245.

ClockThursday 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Family Rituals 2.0

UserDave Kirk, Northumbria University.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Segal-type models of higher categories

UserSimona Paoli (University of Leicester).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

From finitary monads to Lawvere theories: Cauchy completions

NB 217 not Sloman Lounge

UserJohn Power (University of Bath).

House217, School of Computer Science.

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

Computer Security Seminars

Birmingham Security and Privacy research showcase

Please note longer time and change of venue

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

HouseLearning Centre, UG07.

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

Theoretical computer science seminar

Theoretical Computer Science in Quantum Circuit Design

Also of interest in Security

UserPeter Hines (University of York).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Bandits on an unknown manifold

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Random Projections for Dimensionality Reduction

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Level-based analysis of stochastic population models

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

The Physics and Control of Balancing on a Point

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Birmingham Research Showcase

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Blockchain & Hyperledger

UserPete Cripps (Cloud Architect, IBM).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Rule Control of Goal Directed, Reactive, Communicating Robotic Agents

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

HouseMechanical Engineering, G36.

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

Theoretical computer science seminar

Deciding subtype entailment

UserStephen Dolan (Computer Lab, University of Cambridge).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Automotive security research from a tier 1 perspective

UserMichael Feiri and Martin Thompson (ZF TRW).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Parameter tuning via abduction

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Ethics, Risk and Responsibility in Cyber Security Research

Please note room change

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

HouseComputer Science room 245.

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

Computer Security Seminars

Information Security in Practice

UserDavid Deighton (Birmingham).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Relative pseudomonads

Room change!

UserNicola Gambino (University of Leeds).

HouseComputer Science 217.

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

Human Computer Interaction seminars

Measuring & Reflecting on Mental Workload

UserMax Wilson - University of Nottingham.

HouseComputer Science, The Sloman Lounge (UG).

ClockWednesday 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Algorithms and barriers for random instances of computational problems

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

HouseComputer Science Sloman Lounge.

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

Computer Security Seminars

Certifying the uncertifiable

UserJulio Hernandez-Castro (University of Kent).

HouseComputer Science, The Sloman Lounge (UG).

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

Human Computer Interaction seminars

Partner Modelling and its Impact on Human-Machine Dialogue Interactions

UserBen Cowan: UCD School of Information and Communication Studies.

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Title to be confirmed

UserAngela Sasse (UCL).

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Machine Learning and Computer Vision on Mars

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Manifolds in the Age of Big Data and Deep Learning

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Online Ensemble Learning of Data Streams with Gradually Evolved Classes

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

HouseMechanical Engineering, B22.

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

Human Computer Interaction seminars

Towards the Analysis of Movement Variability in Human-Humanoid Interaction

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

The frame generated by closed sublocales

UserAles Pultr (Charles University, Prague).

HouseComputer Science Sloman Lounge.

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

Theoretical computer science seminar

Coalgebraic Dynamic Logics

UserClemens Kupke (University of Strathclyde).

HouseComputer Science Sloman Lounge.

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

Computer Security Seminars

Certifying the uncertifiable

UserThanassis Giannetsos (Surrey).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

On the commutativity of the powerspace monads

UserMatthew de Brecht (University of Kyoto).

HouseComputer Science Sloman Lounge.

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

Theoretical computer science seminar

Towards the verified compilation of Lustre

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

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 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

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

HouseLearning Centre, UG05.

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

Theoretical computer science seminar

Closure of system T under the bar recursion rule

UserPaulo Oliva (Queen Mary, University of London).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Homotopy coherent distributive laws

UserNick Gurski (University of Sheffield).

HouseComputer Science Sloman Lounge.

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

Artificial Intelligence and Natural Computation seminars

Planning Under Uncertainty and Robot Task Plan Performance Evaluation

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

A Surfeit of SSH Ciphersuites

UserKenny Paterson (Royal Holloway University of London).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Functoriality of modified realizability

Room 245 not Sloman Lounge

UserPeter Johnstone (DPMMS, University of Cambridge).

HouseComputer Science room 245.

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

Computer Security Seminars

Security Notions for Whitebox Cryptography

UserChris Brzuska (Hamburg University of Technology).

HouseSloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Reversible System T

UserIan Mackie (University of Sussex).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Do we need trust for verifiability in e-voting?

UserPeter Browne Roenne (Luxembourg).

HouseSloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Reformation: a generic algorithm for repairing faulty representations.

Departmental Seminar

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Post-quantum cryptography

UserPeter Schwabe (Radboud, NL).

HouseSloman Lounge, School of Computer Science.

ClockThursday 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

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

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Interaction morphisms

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Alpha-Beta Privacy

UserLuca Vigano (KCL).

HouseSloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Probabilistic Programming

UserHongseok Yang (University of Oxford).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 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

UserGavin Brown, University of Manchester.

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Multiagent Planning, Learning & Influences

UserFrans Oliehoek, University of Liverpool/ University of Amsterdam.

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Formalizing compositional proofs

UserJamie Vicary (University of Oxford).

HouseComputer Science, The Sloman Lounge (UG).

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

Theoretical computer science seminar

Adjunctions and Actions of Co/Cartesian Categories

UserFrancisco Lobo (University of Manchester).

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Computer Science Summer Interns

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

HouseSloman Lounge, School of Computer Science.

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

Computer Security Seminars

LeiA: A Lightweight Authentication Protocol for CAN

UserAndreea Radu (University of Birmingham).

HouseSloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

3 Challenge Problems with Cyber Physical Systems and IoT

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

HouseComputer Science, The Sloman Lounge (UG).

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

Autonomous Mobile Service Robots: Algorithms, Results and Challenges

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

HouseRoom UG07, Murray Learning Centre.

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

Computer Security Seminars

Internet Voting on Insecure Platforms

UserYvo Desmedt (The University of Texas at Dallas).

HouseRoom 217, School of Computer Science.

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

Computer Security Seminars

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

UserYvo Desmedt (The University of Texas at Dallas).

HouseRoom 245, School of Computer Science.

ClockThursday 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

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

HouseMedical School, MED-CM04.

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

Geometry Without Points

UserProfessor Dana Scott .

House Room G33 , Mechanical Engineering .

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

Computer Security Seminars

Investigatory Powers Bill

UserIan Batten (University of Birmingham).

HouseSloman Lounge, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Meaning, Language Games and Inference

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

HouseComputer Science, The Sloman Lounge (UG).

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

Artificial Intelligence and Natural Computation seminars

Rewriting syntactically complex English sentences in the FIRST project

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

HouseComputer Science, The Sloman Lounge (UG).

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

Computer Security Seminars

Names with interleaved scopes

UserDan Ghica (Computer Science).

HouseSloman Lounge, School of Computer Science.

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

Computer Security Seminars

cMix: Anonymization by High-Performance Scalable Mixing

UserJoeri de Ruiter (University of Birmingham).

HouseSloman Lounge, School of Computer Science.

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

Theoretical computer science seminar

Conjugate Hylomorphisms

UserNicolas Wu (Bristol).

HouseCS 217.

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

Computer Science Departmental Series

Automated Reasoning in the Wild

Host: Dr. Manfred Kerber

UserUlrich Furbach, University of Koblenz, Germany.

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

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

Computer Security Seminars

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

UserDavid Oswald (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Computer Science Departmental Series

Title to be confirmed

UserBen Paddock, Developer at Talis.

HouseArts Lecture Room 6.

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

Computer Science Departmental Series

Title to be confirmed

UserSteve Pitchford, Development Manager at Majestic.

HouseArts Lecture Room 6.

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

Computer Science Departmental Series

Haskell in Production

UserWill Sewell, Platform Engineer at Pusher.

HouseArts Lecture Room 6.

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

Theoretical computer science seminar

Structural Resolution meets Curry-Howard

UserEkaterina Komendantskaya (Dundee).

HouseCS 217.

ClockFriday 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

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

HouseComputer Science UG21.

ClockTuesday 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

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

HouseComputer Science UG21.

ClockTuesday 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

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

HouseComputer Science UG21.

ClockTuesday 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

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

HouseComputer Science UG21.

ClockMonday 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

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

HouseComputer Science UG21.

ClockMonday 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

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

HouseComputer Science UG21.

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

Artificial Intelligence and Natural Computation seminars

Can a Robot and a Planner Become Real Friends?

Host: Dr. Nick Hawes

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

HouseMechanical Engineering B05.

ClockMonday 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

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

HouseMechanical Engineering B05.

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

Theoretical computer science seminar

On the Forwarding Paths Produced by Internet Routing Algorithms

UserTimothy Griffin (Cambridge).

HouseCS 217.

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

Computer Security Seminars

Protocol State Fuzzing of TLS Implementations

UserJoeri de Ruiter (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Strong Complementarity in Quantum Computing

UserRoss Duncan (University of Strathclyde).

HouseCS 245.

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

Computer Security Seminars

BackScan: Backdoor Detection via Functionality Profiling

UserSam Thomas (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Pareto Efficient Solutions of Attack-Defence Trees

UserZaruhi Aslanyan (Technical University of Denmark).

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

The recursion hierarchy for PCF is strict

UserJohn Longley (Edinburgh).

HouseCS 217.

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

Theoretical computer science seminar

Diagrammatic mathematics and signal flow graphs

UserPawel Sobocinski (Southampton).

HouseCS 245.

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

Computer Security Seminars

Security trade-offs and verifiability in IoT

UserMark Ryan (University of Birmingham).

HouseRoom 245, School of Computer Science.

ClockThursday 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

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

HouseMechanical Engineering G42.

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

Computer Security Seminars

Wirelessly Lockpicking a Vehicle Immobilizer

UserFlavio Garcia ( University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Template Power Analysis Against ECC Software Implementations

UserErick Nascimento (University of Campinas, Brazil).

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Smart-Guard: Defending user input from malware and keyloggers

UserMichael Denzel (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

A computability perspective on eliminativist computationalism

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

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

HouseMech Eng G42.

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

Computer Security Seminars

Encrypted cloud-based data sharing

UserAlexander Kaitai Liang, Aalto University Finland.

HouseRoom 245, School of Computer Science.

ClockThursday 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

UserProf. Michael Mendler, University of Bamberg, Germany.

HouseLearning Centre Room UG06.

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

Theoretical computer science seminar

Refining Strategic Ability

UserDimitar P Guelev (IMI/BAS).

HouseCS 245.

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

Computer Security Seminars

Symbolic protocol verification - where next?

UserCas Cremers, University of Oxford.

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

FreshMLTT: Dependent Type Theory with Names and Name-Abstraction

UserAndy Pitts (University of Cambridge).

HouseCS 245.

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

Computer Security Seminars

Leakage attacks beyond the single target setting

UserElisabeth Oswald, Bristol University.

HouseRoom 245, School of Computer Science.

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

Computer Science Departmental Series

Transition systems over games

UserPaul Levy, University of Birmingham.

HouseMechanical Engineering, Room G28.

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

Theoretical computer science seminar

CoLoSL: Concurrent Local Subjective Logic

UserAzalea Raad (Imperial).

HouseCS 245.

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

Computer Security Seminars

Verifiable Electronic Voting: Making it Real

Note unusual day

UserSteve Schneider, University of Surrey.

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Set-pi: Set Membership Pi-calculus

UserAlessandro Bruni (Technical University of Denmark).

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Unikernels and the Next Generation Cloud

UserJon Crowcroft (University of Cambridge).

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Propositions as Sessions

UserSam Lindley (University of Edinburgh).

HouseCS 245.

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

Computer Security Seminars

How to detect unauthorised usage of a key

UserMark Ryan and Jiangshan Yu (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Coeffects: Context-aware programming languages

UserTomas Petricek (University of Cambridge).

HouseCS 245.

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

Computer Science Departmental Series

Mining Sequential Patterns from Uncertain Data

Host: Xin Yao

UserProfessor Rajeev Raman, University of Leicester.

HouseMechanical Engineering, Room G28.

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

Computer Security Seminars

Demonstration of CT-Mail

Note unusual time

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

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Programs for Cheap!

UserJennifer Hackett (Nottingham).

HouseCS 245.

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

Computer Security Seminars

Privacy and Access Control for Outsourced Personal Records

UserDominique Schroeder (Saarland University).

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Automata over infinite alphabets

UserNikos Tzevelekos (Queen Mary University).

HouseCS 245.

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

Computer Security Seminars

Title to be confirmed

UserCas Cremers, University of Oxford.

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

StarfishNet: decentralised security for low-power wireless networks

UserJustin King-Lacroix, University of Oxford.

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

Worldly Type Systems

UserConor McBride (University of Strathclyde).

HouseCS 245.

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

Computer Security Seminars

Understanding and Fighting Malicious Activity on Online Social Networks

UserGianluca Stringhini, University College London.

HouseRoom 245, School of Computer Science.

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

Theoretical computer science seminar

On Cubes and Types

UserThorsten Altenkirch (University of Nottingham).

HouseCS 245.

ClockFriday 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

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

HouseMechanical Engineering, B01.

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

Theoretical computer science seminar

Cohomology of Contextuality and Logical Paradoxes

UserKohei Kishida, University of Oxford.

HouseCS 245.

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

Computer Science Departmental Series

Verifying algorithm correctness on TSO architectures

Host: Behzad Bordbar

UserProfessor John Derrick, University of Sheffield.

HouseMechanical Engineering, Room G28.

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

Artificial Intelligence and Natural Computation seminars

Compositional Object and Activity Recognition

Host: Ales Leonardis, Krzysztof Walas

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

HouseLearning Centre, UG05.

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

Theoretical computer science seminar

Innocent Strategies are Sheaves over Plays

UserTakeshi Tsukada (University of Oxford).

HouseArts - Lecture Room 201.

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

Computer Science Departmental Series

Verification Tool DIY

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

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

HouseHills Building, Room 120.

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

Artificial Intelligence and Natural Computation seminars

Talking about Space

Host: Dr. Nick Hawes

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

HouseLearning Centre, UG05.

ClockMonday 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

UserMarta Kwiatkowska, Oxford University.

HouseHills Building, Room 120.

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

Computer Science Departmental Series

Compiler technology for solving PDEs with performance portability

UserProfessor Paul Kelly, Imperial College London.

HouseHills Building, Room 120.

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

Computer Security Seminars

Blindspot: Indistinguishable Anonymous Communications

UserJoseph Gardiner (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Computer Science Departmental Series

Challenges in reproducibility in computer systems research

Host: Mirco Musolesi

UserTristan Henderson University of St Andrews.

HouseLearning Centre - UG10.

ClockWednesday 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

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

HouseMechanical Engineering, G26.

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

Artificial Intelligence and Natural Computation seminars

Learning Subspaces from Proximities

Host: Prof. Xin Yao

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

HouseLearning Centre, UG05.

ClockMonday 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

UserProfessor Michael Butler, University of Southampton.

HouseHills Building, Room 120.

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

Computer Security Seminars

PhD Student Five Minute Talks

UserVarious speakers.

HouseRoom 245, School of Computer Science.

ClockThursday 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

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

HouseMechanical Engineering, B04.

ClockMonday 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

UserStephen Brewster, School of Computing Science University of Glasgow.

HouseMechanical Engineering Room G28.

ClockMonday 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

UserProfessor Robert Stevens, University of Manchester.

HouseHills Building, Room 120.

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

Computer Security Seminars

Security of ECDSA in Bitcoin

UserNicolas T. Courtois (University College London).

HouseRoom 245, School of Computer Science.

ClockThursday 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

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

HouseLearning Centre, UG10.

ClockMonday 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

UserBob Coecke, Oxford University.

HouseHills Building, Room 120.

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

Computer Security Seminars

Hack.lu CTF

UserVarious speakers.

HouseRoom 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Modelling Expert Uncertainty in Medical Decision Support

Host: Prof. Xin Yao

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

HouseLearning Centre, UG05.

ClockMonday 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

UserProfessor Michael Fisher, Liverpool University.

HouseHills Building, Room 120.

ClockThursday 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

UserAdam Prugel-Bennett, University of Southampton .

HouseHills Building, Room 120.

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

Artificial Intelligence and Natural Computation seminars

Graph Analysis through Quantum Walks

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

HouseMechanical Engineering, B01.

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

Theoretical computer science seminar

A link between lambda calculus and maps

UserNoam Zeilberger.

HouseCS 217.

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

Computer Science Departmental Series

Cyber-attacks on Smart Grid Infrastructures

UserProfessor Christopher Johnson, University of Glasgow.

HouseHills Building, Room 120.

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

Computer Security Seminars

Key usage detection

UserJiangshan Yu (University of Birmingham).

HouseRoom 245, School of Computer Science.

ClockThursday 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.

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

HouseLearning Centre, LG14.

ClockMonday 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

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

HouseMechanical Engineering, B04.

ClockMonday 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

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

HouseHaworth 203.

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

Artificial Intelligence and Natural Computation seminars

Learning in the Model space

Host: Dr. Shan He

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

HouseHaworth 203.

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

Artificial Intelligence and Natural Computation seminars

Machine Learning for / in Mobile Environments

Host: Dr. Shan He

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

HouseUG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Research on Semi-Supervised Support Vector Machine

Host: Dr. Shan He

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

HouseUG05, Learning Centre.

ClockWednesday 20 August 2014, 16:00-17: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

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

HouseUG05, Learning Centre.

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

Computer Security Seminars

Balancing Societal Security and Individual Privacy: Accountable Escrow System

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

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

An overview of some GCHQ/NSA projects

UserTom Chothia, University of Birmingham.

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Entropy model checking [NOTE: CHANGE OF LOCATION]

UserChunyan Mu, University of Birmingham.

HouseRoom 217, School of Computer Science.

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

Computer Science Departmental Series

Long-Term Monitoring of Human Mobility on Smartphones

Host: Mirco Musolesi

UserDr Petteri Nurmi, Aalto University/University of Helsinki.

HouseCHEM-G35.

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

Computer Science Departmental Series

Probabilistic Models of Human Location Behaviour

Host: Mirco Musolesi

UserDr James McInerney, Princeton University.

HouseUG05, Learning Centre.

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

Computer Science Departmental Series

The Psychology of Security

Host: Shishir Nagaraja - ROOM CHANGE

UserProf. Ross Anderson, University of Cambridge.

HouseBioscience E102 (ROOM CHANGE).

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

Computer Science Departmental Series

All Networks Great and Small

Host: Mirco Musolesi - ROOM CHANGE

UserProf. Robin Dunbar, University of Oxford.

HouseBioscience 301 (ROOM CHANGE).

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

Theoretical computer science seminar

Colimits of monads on Set

UserNathan Bowler, University of Hamburg.

HouseUG05 Learning Centre.

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

Computer Science Departmental Series

The Geometry of Information Flow

Host: Dan Ghica

UserJamie Vicary, University of Oxford.

HouseUG05, Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Mutation and selection strategies for incremental evolution

Host: Peter Tino

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

HouseUG05, Learning Centre.

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

Computer Security Seminars

Care.data: when good intentions are not enough

UserIan Batten, University of Birmingham.

HouseRoom 245, School of Computer Science.

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

Computer Security Seminars

Timing attacks in security protocols: symbolic framework and proof techniques

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

HouseRoom 245, School of Computer Science.

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

Artificial Intelligence and Natural Computation seminars

Generation of Feasible Scenes in an Ontological Framework

Host: Nick Hawes

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

HouseUG05, Learning Centre.

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

Human Computer Interaction seminars

Understanding preference reversals as optimal under constraints

UserGeorge Farmer, University of Manchester.

HouseUG07, Learning Centre.

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

Computer Science Departmental Series

Towards Optimal Techniques for Command Selection

Host: Andrew Howes

UserGilles Bailly, TELECOM ParisTech.

HouseUG05, Learning Centre.

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

Human Computer Interaction seminars

Everyday interactions with your phone

UserDuncan Brumby, UCL Interaction Centre.

HouseUG07, Learning Centre.

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

Theoretical computer science seminar

A bridge between semirings

UserFlavien Breuvart, PPS, University of Paris 7.

HouseUG06 Learning Centre.

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

Artificial Intelligence and Natural Computation seminars

Bayesian reinforcement learning: Algorithms and models

Host: Prof. Jeremy Wyatt

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

HouseUG05, Learning Centre.

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

Theoretical computer science seminar

Update monads: cointerpreting directed containers

UserTarmo Uustalu, Tallinn University of Technology.

HouseUG10 Learning Centre.

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

If you have a question about this list, please contact: Ceinwen Cushway; C.Cushway. If you have a question about a specific talk, click on that talk to find its organiser.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.