University of Birmingham > Talks@bham > Computer Science, The Sloman Lounge (UG)

0 upcoming talks and 218 talks in the archive.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Information Security in Practice

UserDavid Deighton (Birmingham).

HouseComputer Science, The Sloman Lounge (UG).

ClockThursday 01 June 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

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

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

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

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

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

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

Lab Lunch

Computability and recursion theory in univalent type theory

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

UserCory Knapp.

HouseComputer Science, The Sloman Lounge (UG).

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

Reversible System T

UserIan Mackie (University of Sussex).

HouseComputer Science, The Sloman Lounge (UG).

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

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

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

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

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

If you have a question about this list, please contact: . 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.