Formal Topology in Univalent Foundations

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

Ayberk Tosun (University of Birmingham).

https://bham-ac-uk.zoom.us/my/lablunch.

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

Formalising the Escardó-Simpson Interval Object in UTT

Preceded by a coffee break at 13:30

Todd Waugh Ambridge (University of Birmingham).

https://bham-ac-uk.zoom.us/my/lablunch.

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

Bifibrations of Polycategories and Classical Linear Logic

NOTE the earlier time of 13:30

Nicolas Blanco (University of Birmingham).

Zoom.

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

A Theory of Particular Sets

Preceded by a coffee break at 13:30

Paul Levy (University of Birmingham).

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

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

The ring of adeles from a homotopical viewpoint

Preceded by a coffee break at 13:30

Scott Balchin (University of Warwick).

Zoom.

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

Booij’s locators point-free

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

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

Zoom.

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

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

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

Dr Anupam Das (University of Birmingham).

Zoom.

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

Introduction to the ZX-calculus (2)

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

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

Zoom.

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

Introduction to the ZX-calculus

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

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

Zoom.

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

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

Dr Anupam Das (University of Birmingham).

Zoom.

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

Analysis in Univalent Type Theory

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

Auke Booij (UoB).

Zoom.

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

Coinductive Invertibility in Higher Categories

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

Alex Rice (University of Birmingham).

Google Meet.

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

Gödel's incompleteness theorem using arithmetic universes

change of venue

Alexander Gietelink Oldenziel (Amsterdam).

UG10 Learning Centre.

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

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

Martin Escardo (School of Computer Science).

CS 217.

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

Revisiting the relation between subspaces and sublocales

Anna Laura Suarez (University of Birmingham).

CS 217.

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

Well founded coalgebras and recursion

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

CS 217.

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

Proof complexity through the lens of the pigeon hole principle II

Dr Anupam Das (University of Birmingham).

CS 217.

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

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

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

CS 217.

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

TBA

Dr Anupam Das (University of Birmingham).

CS 217.

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

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

Part 2 of last week's talk

Rajesh Chitnis (University of Birmingham).

CS 217.

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

Algorithms and Complexity through the eyes of Vertex Cover

Rajesh Chitnis (University of Birmingham).

CS 217.

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

Internal higher-categorical models of dependent type theory

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

Nicolai Kraus (University of Birmingham).

CS 217.

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

A Brouwerian Intuitionistic Type Theory (Part 3)

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

Vincent Rahli (University of Birmingham).

CS 217.

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

A Brouwerian Intuitionistic Type Theory (Part 2)

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

Vincent Rahli (University of Birmingham).

CS 217.

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

Transparent synchronous dataflow

Steven Cheung, University of Birmingham.

CS 217.

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

A Brouwerian Intuitionistic Type Theory

Vincent Rahli, CS Theory Group, Birmingham.

CS 217.

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

The next 700 abstract machines

Dan Ghica (Computer Science).

CS 217.

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

The coproduct of frames as encoding d-frame structure

Anna Laura Suarez, CS Theory Group Birmingham.

CS 217.

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

POSTPONED

Dan Ghica, CS Theory Group Birmingham.

CS 217.

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

Denotational Semantics of Linear Logic with Least and Greatest Fixpoints

Farzad Jafarrahmani, ENS Cachan.

CS 217.

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

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

Note room 245 this week

Martin Escardo, CS Theory Group Birmingham.

CS 245.

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

Tensor topology

Pau Enrique Moliner, Edinburgh.

CS 217.

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

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

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

Martin Escardo (School of Computer Science).

Sloman lounge.

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

The Scott model of PCF in UniMath

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

Tom de Jong, Birmingham CS Theory Group.

CS 217.

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

Title to be confirmed

Speaker to be confirmed.

CS 217.

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

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

Steve Vickers, CS Theory Group Birmingham.

CS 245.

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

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

Steve Vickers, CS Theory Group Birmingham.

CS 245.

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

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

Note room 245

Steve Vickers, CS Theory Group Birmingham.

CS 245.

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

Higher Universal Algebra in Type Theory

Eric Finster, INRIA, Paris.

CS 217.

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

Fibrations and opfibrations of generalized point-free spaces

Steve Vickers, CS Theory Group Birmingham.

CS 217.

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

Fibrations and opfibrations of toposes

Sina Hazratpour, CS Theory Group, Birmingham.

CS 245.

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

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

Dan Ghica, CS Theory Group, Birmingham.

CS 245.

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

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

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

Yuning Feng.

CS 245.

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

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

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

Steve Vickers, CS Theory Group, Birmingham.

CS 245.

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

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

Postponed from 25 Oct

Steve Vickers, CS Theory Group Birmingham.

CS 245.

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

Compact ordinals in constructive univalent mathematics

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

Martin Escardo, CS Theory Group, Birmingham.

CS 245.

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

Compact ordinals in constructive univalent mathematics

We found a room after all!

Martin Escardo, CS Theory Group, Birmingham.

Learning Centre UG05.

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

Formulating categorical concepts using classes

Continuation of last week's talk.

Paul Levy, CS Theory Group Birmingham.

CS 245.

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

Formulating categorical concepts using classes

Paul Levy, CS Theory Group Birmingham.

CS 245.

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

Postponed (Topological structure in single molecular imaging)

POSTPONED - new date not fixed yet.

Iain Styles, School of Computer Science, UoB.

CS 245.

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

Title to be confirmed

Speaker to be confirmed.

CS 217.

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

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

Note change of time and room.

Mohan Sridharan, SoCS.

CS 245.

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

Schulmann's Real-cohesive HoTT

Speaker to be confirmed.

CS 217.

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

(Op)fibrations of toposes

Room changed

Sina Hazratpour, CS Theory Group Birmingham.

CS 245.

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

Univalent mathematics - continued

Martin Escardo, CS Theory Group Birmingham.

CS 217.

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

Geometric/AU mathematics

Steve Vickers, CS Theory Group Birmingham.

CS 217.

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

Univalent mathematics

Note not usual room

Martin Escardo, CS Theory Group Birmingham.

CS 245.

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

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

Noam Zeilberger, CS Theory Group Birmingham.

CS 217.

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

Linear typings as flows on 3-valent graphs

Noam Zeilberger, CS Theory Group Birmingham.

CS 217.

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

Some remarks on n-fibrations

Sina Hazratpour, CS Theory Group Birmingham.

CS 217.

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

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

Note not usual room

Noam Zeilberger, CS Theory Group Birmingham.

CS 245.

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

Informal discussions

Speaker to be confirmed.

CS 217.

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

Informal

Date changed

Speaker to be confirmed.

CS 217.

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

A syntactic view of adequacy

Marco Devesas Campos, CS Theory Group.

CS 217.

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

Informal

Speaker to be confirmed.

CS 217.

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

Using Yoneda rather than J to present the identity type.

Martin Escardo, CS Theory Group Birmingham.

CS 217.

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

Informal

Speaker to be confirmed.

CS 217.

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

A sequent calculus for a semi-associative law

Time changed - sorry

Noam Zeilberger, Birmingham Theory Group.

CS 217.

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

Free d-frames and quotients

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

CS 217.

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

No formal presentation (offers welcome!)

Speaker to be confirmed.

CS 217.

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

Multiplication is commutative, geometrically

Note non-standard time and room

Martin Escardo, Birmingham.

CS 245.

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

Type theory without exponentials

Steve Vickers, CS Theory Group Birmingham.

CS 217.

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

Analysis in univalent type theory

Auke Booij, CS Theory Group, Birmingham.

CS 217.

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

Towards abductive functional programming

Koko Muroya, CS Theory Group, University of Birmingham.

CS 217.

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

Fibrations of toposes

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

Sina Hazratpour, CS Theory Group Birmingham.

CS 217.

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

Locally graded categories

Paul Levy, CS Theory Group, Birmingham.

CS 217.

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

Locally graded categories

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

Paul Levy, CS Theory Group, Birmingham.

CS 217.

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

Work in progress

Flavien Breuvart.

CS 217.

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

Dynamic Geometry of Interaction

Koko Muroya, University of Birmingham.

CS 217.

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

Partial functions and recursion via dominances in univalent type theory

Cory Knapp.

CS 217.

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

String diagrams for stably compact locales

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

Steve Vickers, CS Theory Group Birmingham.

CS 217.

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

String diagrams for stably compact locales

Steve Vickers, CS Theory Group, Birmingham.

CS 217.

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

Commutative or monoidal monads

Paul Taylor (U of Brum (honorary)).

CS 217.

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

Models of type theory

Cory Knapp.

CS 217.

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

Colocales

Steve Vickers, Theory Group, SoCS.

CS 217.

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

Can we machine-learn a programming language semantics?

Dan Ghica (Computer Science).

CS 217.

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

Adjunctions that are both monadic and comonadic

Postponed and moved.

Paul Taylor (U of Brum (honorary)).

CS 245.

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

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

Noam Zeilberger, SoCS UoB.

CS 217.

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

Double negation and continuations

Hayo Thielecke, SoCS UoB.

CS 217.

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

Speaker to be confirmed

Speaker to be confirmed.

CS 217.

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

Stacks

Room changed

Sina Hazratpour.

CS 245.

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

Title to be confirmed

Speaker to be confirmed.

CS 217.

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

Computability and recursion theory in univalent type theory

Room as usual, despite earlier announcement

Cory Knapp, SoCS, Birmingham.

CS 217.

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

Title to be confirmed

Arno Pauly.

CS 217.

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

Computability and recursion theory in univalent type theory

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

Cory Knapp.

Computer Science, The Sloman Lounge (UG).

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

Partial functions via dominances in univalent type theory

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

Martin Escardo, School of Computer Science, UoBirmingham.

CS 217.

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

Partial functions via dominances in univalent type theory

Martin Escardo, School of Computer Science, UoBirmingham.

CS 217.

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

Grothendieck toposes fibred over elementary toposes

Room changed

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

CS 245.

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

Type theoretic aspects of AU sketches

Apologies for wrong announcement that it was Wednesday

Steve Vickers, SoCS, Birmingham.

CS 217.

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

A Categorical Perspective on Type Refinement Systems

Noam Zeilberger (University of Birmingham).

CS 217.

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

Parametricity for category theory

Uday Reddy (School of Computer Science).

CS 217.

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

To be announced

Pierre Clairambault.

CS 217.

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

Type theory for the arithmetic universe sketches

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

CS 217.

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

Title to be confirmed

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

CS 217.

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

Trace equivalence of well-founded processes via commutativity

Paul Levy (University of Birmingham).

CS 217.

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

A revised graph syntax from traced monoidal categories

Aliaume Lopez, École normale supérieure.

CS 217.

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

Jung-Tix problem in sober dcpos

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

CS 217.

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

Possible world semantics for heap storage

Paul Levy (University of Birmingham).

CS 217.

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

Possible world semantics for heap storage

Paul Levy (University of Birmingham).

CS 217.

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

A Vietoris functor for d-frames

Tomas Jakl ().

CS 217.

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

Sketches for arithmetic universes

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

CS 217.

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

Parametricity and excluded middle

Auke Booij.

CS 217.

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

Iteration and labelled iteration

Bram Geron.

CS 217.

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

Fibrations in Category Theory and Topology

Sina (University of Birmingham, UK).

CS 217.

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

Curriculum discussion

Speaker to be confirmed.

CS 217.

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

Theory curriculum discussion

Speaker to be confirmed.

CS 217.

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

Lightweight Cryptography for Next Generation Vehicle Electrical Architecture

Andrea Radu.

CS 217.

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

Internal "parametricity" of HoTT

Auke Booij.

CS 217.

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

Is Mathematics Parametric?

Uday Reddy (School of Computer Science).

CS 217.

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

Functional programming analogue of Datalog

Michael .

CS 217.

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

Liveness for programs with higher-order state

Neel Krishnaswami ().

CS 217.

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

Continuity and dcpo-completion of posets

Zhongxi Zhang, Hunan University visitor.

CS 245.

Tuesday 29 September 2015, 12:00-13:00

An educational proof checker

Yu Yang Lin, University of Birmingham.

CS 217.

Tuesday 22 September 2015, 12:00-13:00

Categorical probability theory and categorical entropy

Sina Hazratpur.

CS 217.

Tuesday 15 September 2015, 12:00-13:00

Memoryful GOI

Koko Muroya, University of Tokyo.

CS 245.

Monday 14 September 2015, 12:00-13:00

localised side-effects using binding handlers (contd)

Bram Geron (University of Birmingham, School of Computer Science).

CS 217.

Friday 11 September 2015, 12:00-13:00

localised side-effects using binding handlers

Bram Geron (University of Birmingham, School of Computer Science).

CS 222.

Monday 31 August 2015, 12:00-13:00

Distribution monads, contexuality, and cohomology: part 2

Sina Hazratpur.

CS 222.

Friday 21 August 2015, 12:30-13:30

Distribution monads, contexuality, and cohomology

Sina Hazratpur.

CS 217.

Friday 14 August 2015, 12:00-13:00

Definability in Dependent Type Theory

Cory Knapp.

CS 217.

Friday 07 August 2015, 13:00-14:00

A coherent account of geometricity

Steve Vickers.

CS 217.

Tuesday 21 July 2015, 12:00-13:00

An algebra for CMOS logic

Dan Ghica (Computer Science).

CS 217.

Friday 10 July 2015, 12:00-13:00

Type theory of processes - A beginning

Speaker to be confirmed.

CS 217.

Friday 10 July 2015, 12:00-13:00

Nominal techniques for variables with interleaving scopes

Dan Ghica (Computer Science).

CS 217.

Tuesday 28 April 2015, 12:00-13:00

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

Ralf Jung (MPI-SWS).

CS 217.

Tuesday 21 April 2015, 12:00-13:00

A continuous computational interpretation of type theories

Chuangjie Xu (University of Birmingham).

CS 217.

Monday 09 March 2015, 12:00-13:00

Did Brouwer really mean the BHK interpretation?

Martin Escardo ().

CS 217.

Tuesday 03 March 2015, 12:00-13:00

4-valued coalgebraic modal logic - project description

Tomas Jakl.

CS 217.

Tuesday 24 February 2015, 12:00-13:00

POPL debrief continued

Neel Krishnaswami.

CS 217.

Tuesday 17 February 2015, 12:00-13:00

POPL debrief

Neel Krishnaswami.

CS 217.

Tuesday 10 February 2015, 12:00-13:00

Contextual Isomorphisms

Paul Levy (University of Birmingham).

CS 217.

Friday 21 November 2014, 12:00-13:00

Call-by-Value in a Basic Logic for Interaction

Speaker to be confirmed.

CS 222.

Wednesday 12 November 2014, 15:00-16:00

Formalisation of Haskell-style type calsses

Neel Krishnaswamy.

CS 217.

Tuesday 07 October 2014, 12:00-13:00

A Synchronous Functional Language with Integer Clocks

Adrien Guatto, ENS.

CS 217.

Monday 06 October 2014, 11:00-12:00

Distributing the SECD machine

Bertie Wheen, University of Birmingham.

CS 217.

Friday 26 September 2014, 11:00-12:00

MV-algebras 4/4

Phill Scott (University of Ottawa).

CS 217.

Friday 22 August 2014, 16:00-17:00

MV-algebras 3/4

Phill Scott (University of Ottawa).

CS 217.

Tuesday 19 August 2014, 14:00-15:00

MV-algebras 2/4

Phill Scott (University of Ottawa).

CS 217.

Friday 15 August 2014, 16:00-17:00

MV-algebras 1/4

Phill Scott (University of Ottawa).

CS 217.

Tuesday 12 August 2014, 14:00-15:00

Integrating Linear and Dependent Types

Pierre Pradic.

CS 217.

Friday 08 August 2014, 15:00-16:00

Syntax and Semantics of Linear Dependent Types

Matthijs Vakar (University of Oxford).

CS 217.

Friday 25 July 2014, 14:00-15:00

Monads and processes

Uday Reddy (School of Computer Science).

CS 217.

Wednesday 23 July 2014, 13:00-14:00

All about monads

Uday Reddy (School of Computer Science).

CS 217.

Friday 18 July 2014, 14:00-15:00

Reconstructing Observational Type Theory

Neel Krishnaswami (University of Birmingham).

CS 217.

Thursday 10 July 2014, 14:00-15:00

Local Compactness and Bases in Various Formulations of Topology

Paul Taylor ().

CS 245.

Friday 27 June 2014, 13:00-14:00

Synthetic domain theory versus N^\infty-sets

Prof Mojgan Mahmoudi (Shahid Beheshti University).

CS 217.

Thursday 26 June 2014, 14:00-15:00

Dynamic nominal sequences

Dan Ghica (Computer Science).

CS 225.

Tuesday 03 June 2014, 15:00-16:00

Tutorial on Fibrations

Uday Reddy (School of Computer Science).

CS 217.

Tuesday 27 May 2014, 14:00-15:00

Functional programming with effects: what works, what doesn't, how to improve

Bram Geron (University of Birmingham, School of Computer Science).

CS 217.

Tuesday 13 May 2014, 13:00-14:00

Krivine Nets

Olle Fredriksson (University of Birmingham).

CS 217.

Tuesday 06 May 2014, 13:00-14:00

Krivine Nets

Olle Fredriksson (University of Birmingham).

CS 217.

Monday 05 May 2014, 13:00-14:00

Geometric constructions preserving fibrations

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

CS 217.

Monday 28 April 2014, 13:00-14:00

Linearity and Dependent Types

Neel Krishnaswami (University of Birmingham).

CS 217.

Tuesday 01 April 2014, 13:00-14:00

Something about modal logic

Paul Levy (University of Birmingham).

CS 217.

Monday 24 March 2014, 13:00-14:00

Logical Relations and Parametricity: A Reynolds Programme for Category Theory and Programming Languages

Uday Reddy (School of Computer Science).

CS 217.

Tuesday 18 March 2014, 13:00-14:00

M-Sets, continued

Mojgan Mahmoudi (Department of Mathematics, Shahid Beheshti University, Iran.).

CS 217.

Friday 21 February 2014, 13:00-14:00

A dual calculus for unconstrained strategies

Alexis Goyet.

CS 217.

Tuesday 18 February 2014, 13:00-14:00

M-Sets

Prof Mojgan Mahmoudi (Shahid Beheshti University).

CS 217.

Friday 14 February 2014, 13:00-14:00

GADTs and the Girard/Schroeder-Heister Equality

Neel Krishnaswami (University of Birmingham).

CS 245.

Friday 07 February 2014, 13:00-14:00

Transitition Systems Over Games

Paul Levy (University of Birmingham).

CS 217.

Friday 17 January 2014, 13:00-14:00

Transitition Systems Over Games

Speaker to be confirmed.

CS 245.

Wednesday 15 January 2014, 13:00-14:00

Characterizing po-monoids $S$ by completeness and injectivity of $S$-posets

Mojgan Mahmoudi (Department of Mathematics, Shahid Beheshti University, Iran.) .

CS 217.

Friday 20 December 2013, 13:00-14:00

When is the Kleene--Kreisel hierarchy full?

Chuangjie Xu (University of Birmingham).

CS 217.

Friday 22 November 2013, 13:00-14:00

Weakly dependent bounded linear types

Fredrik Nordvall Forsberg.

CS 245.

Tuesday 19 November 2013, 13:00-14:00

Weakly dependent bounded linear types

Fredrik Nordvall Forsberg .

CS 245.

Tuesday 12 November 2013, 13:00-14:00

A reversible pi calculus for concurrent dynamic slicing

Roly Perera (University of Birmingham).

CS 225.

Tuesday 05 November 2013, 13:00-14:00

Title to be confirmed

Neel Krishnaswami (University of Birmingham).

CS 217.

Tuesday 29 October 2013, 11:00-12:00

Distributed abstract machines

Olle Fredriksson, University of Birmingham.

CS 217.

Tuesday 22 October 2013, 11:00-12:00

A Tribute to John Reynolds II

Uday Reddy (School of Computer Science).

CS 217.

Tuesday 30 July 2013, 11:00-12:00

Axiomatization using locality and free choice

Kamal Lodaya, The Institute of Mathematical Sciences, Chennai.

CS 217.

Tuesday 16 July 2013, 11:00-12:00

A dual calculus for unconstrained strategies

Alexis Goyet, PPS.

CS 217.

Thursday 25 April 2013, 16:00-17:00

A Congruence Format for Nominal SOS

Matteo Cimini.

CS 217.

Thursday 25 April 2013, 14:00-15:00

Concurrent Games with Symmetry

Pierre Clairambault, Cambridge.

CS 217.

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

Abstract machines for game semantics, revisited

Olle Fredriksson (University of Birmingham).

CS 217.

Tuesday 05 February 2013, 11:00-12:00

Bilatice logic

Achim Jung (School of Computer Science).

CS 245.

Tuesday 08 January 2013, 11:30-12:30

Geometry of Synthesis V : Pipelines

Dan Ghica (Computer Science).

CS 217.

Tuesday 27 November 2012, 12:00-13:00

Title to be confirmed

Olaf Klinke (University of Birmingham).

CS 217.

Tuesday 13 November 2012, 11:00-12:00

Functional Semantics of Parsing Actions, and Left Recursion Elimination as Continuation Passing

Dr Hayo Thielecke (Computer Science).

CS 217.

Monday 17 September 2012, 11:00-12:00

Operational semantics for signal handling

Maxim Strygin, University of Birmingham.

CS 217.

Tuesday 28 August 2012, 12:00-13:00

Fibrations and Logical Relations

Unusual time and place!

Claudio Hermida.

CS 245.

Tuesday 21 August 2012, 15:00-16:00

State-Action Duality

Uday Reddy (School of Computer Science).

CS 217.

Tuesday 24 July 2012, 12:00-13:00

Tutorial on Fibrations

Uday Reddy (School of Computer Science).

CS 245.

Tuesday 17 July 2012, 12:00-13:00

Self-explaining computation

Unusual date/venue

Roly Perera (University of Birmingham).

CS 245.

Monday 09 July 2012, 12:00-13:00

Abstract machine semantics of regular expression matching

Asiri Rathnayake.

CS 217.

Tuesday 19 June 2012, 12:00-13:00

Linear dependent types: Complexity of PCF terms evaluation

Joint Lab-Lunch and Theory Seminar

Barbara Petit, Bologna.

CS 217.

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

Title to be confirmed

Joint Lab Lunch and Theory seminar

Matt Hague, Paris.

CS 217.

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

Game semantics, nominally

Dan Ghica.

CS 217.

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

Coalgebraic Modal Logic I

Liang-Ting Chen.

CS 217.

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

Efficient secure computation via hardware compilation

Dan Ghica.

CS 217.

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

Towards seamless distributed computing

Olle Fredriksson.

CS 217.

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

Call-by-push-value tutorial [part 4]

Paul Levy (University of Birmingham).

CS 217.

Tuesday 31 January 2012, 12:00-13:00

No Talk

Speaker to be confirmed.

CS 217.

Tuesday 24 January 2012, 12:00-13:00

No Talk

Speaker to be confirmed.

CS 217.

Tuesday 17 January 2012, 12:00-13:00

CBPV tutorial - part 1/2

Paul Levy (University of Birmingham).

CS 217.

Tuesday 10 January 2012, 12:00-13:00

When is a Container a Comonad?

Danel Ahman, University of Cambridge.

CS 217.

Tuesday 13 December 2011, 12:00-13:00

The valuation locale monad (continued)

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

CS 217.

Tuesday 22 November 2011, 12:00-13:00

A monad of valuation locales II

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

CS 124.

Tuesday 11 October 2011, 12:00-13:00

A monad of valuation locales I : Introduction and motivation

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

CS 217.

Tuesday 04 October 2011, 12:00-13:00

A totally Epic backend for Agda

Olle Fredriksson.

CS 124.

Tuesday 19 July 2011, 12:00-13:00

A Statistical Test for Information Leaks Using Continuous Mutual Information

Tom Chotia .

CS 124.

Tuesday 14 June 2011, 12:00-13:00

Fresh-Register Automata

Nikos Tzevelekos (Oxford).

CS 124.

Tuesday 24 May 2011, 12:00-13:00

Protocol security, deducibility constraints and algebraic properties

Sergiu Bursuc (Computer Science).

CS 124.

Tuesday 29 March 2011, 13:00-14:00

Survey on names, binding and alpha conversion

Paul Levy.

CS 124.

Tuesday 15 March 2011, 13:00-14:00

Compiling recursive programs into static hardware

Dan Ghica.

CS 124.

Tuesday 08 March 2011, 13:00-14:00

Finding vulnerabilities in webapps by string analysis

Marco Cova.

CS 124.

Tuesday 01 March 2011, 12:00-13:00

The Born map for the topos qbit (continued)

Bertfried Fauser (Computer Science).

CS 124.

Tuesday 22 February 2011, 12:00-13:00

Varieties of causation in virtual machinery

Aaron Sloman.

CS 124.

Tuesday 01 February 2011, 12:00-13:00

Applied pi calculus with state

Mark Ryan .

CS 124.

Tuesday 07 December 2010, 12:00-13:00

Semantics of Polymorhism in Imperative Programming

Uday Reddy.

CS 124.

Tuesday 23 November 2010, 12:00-13:00

Privacy-supporting cloud-based conference systems: protocol and verification

Myrto Arapinis, Sergiu Bursuc and Mark Ryan.

CS 124.

Tuesday 09 November 2010, 12:00-13:00

Convergence of Preference Functions

Achim Jung and Jon Rowe.

CS 124.

Tuesday 02 November 2010, 12:00-13:00

Operational game semantics

Paul Levy.

CS 124.

Tuesday 26 October 2010, 12:00-13:00

RFC: A system-level semantics

Dan Ghica.

CS 124.

Tuesday 19 October 2010, 12:00-14:00

What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common

Martin Escardo.

CS 124.

Tuesday 12 October 2010, 12:00-13:00

Resource management via type inference in a hardware compiler

Alex Smith.

CS 124.

Tuesday 05 October 2010, 12:00-13:00

Hacking iPhone and Android Smart phones

Tom Chothia.

CS 124.

Tuesday 28 September 2010, 12:00-13:00

Canonical extensions and Stone duality for strong proximity lattices

Sam van Gool.

CS 124.

Tuesday 29 June 2010, 12:00-13:00

Total correctness for round abstraction

Mohamed Nabih Menaa.

CS 124.

Tuesday 15 June 2010, 13:00-14:00

From observational to symbolic to static equivalence

Sergiu Bursuc.

CS 124.

Tuesday 08 June 2010, 13:00-14:00

Structural properties of circuit diagrams

Dan Ghica.

CS 124.

Tuesday 01 June 2010, 13:00-14:00

Programming GPUs with CUDA

Dan Ghica.

CS 124.

Tuesday 18 May 2010, 13:00-14:00

Joint theory seminar talk

Patricia Johann.

CS 124.

Tuesday 04 May 2010, 13:00-14:00

From game semantics to delay-insensitive circuits

Alex Smith.

CS 124.

Tuesday 27 April 2010, 13:00-14:00

The history, nature, and significance of virtual machinery

Aaron Sloman.

CS 124.

Tuesday 23 March 2010, 13:00-14:00

Proving a concurrent garbage collector

Uday Reddy.

CS 124.

Tuesday 16 March 2010, 13:00-14:00

Proving the correctness of a concurrent garbage collector

Uday Reddy.

CS 124.

Tuesday 09 March 2010, 13:00-14:00

Statistical Measurement of Information Leakage

Tom Chothia.

CS 124.

Tuesday 02 March 2010, 13:00-14:00

Symmetries of black box algorithms and combinatorial problem classes

Jon Rowe.

CS 124.

Tuesday 23 February 2010, 13:00-14:00

Internal meeting of the Theory group

Speaker to be confirmed.

CS 124.

Tuesday 02 February 2010, 13:00-14:00

Searchable sets, Dubuc-Penon compactness, the omniscience principle, and the drinker paradox

Martin Escardo.

CS 124.

Tuesday 26 January 2010, 13:00-14:00

On the Canonical Reactivity Form for Past LTL

Dimitar Guelev.

CS 124.

Tuesday 19 January 2010, 13:00-14:00

First-order interactive programming

Roly Perera.

CS 124.

Tuesday 12 January 2010, 13:00-14:00

Title to be confirmed

Martin Escardo (University of Birmingham).

CS 217.

Tuesday 08 December 2009, 13:00-14:00

On automated Fault diagnosis

Behzad Bordbar ().

CS 217.

Tuesday 01 December 2009, 13:00-14:00

Title to be confirmed

Behzad Bordbar.

CS 124.

Tuesday 24 November 2009, 13:00-14:00

Round abstraction, compositionally

Mohamed Nabih Menaa.

CS 124.

Tuesday 17 November 2009, 13:00-14:00

Clipping: A semantics-directed syntactic approximation

Dan Ghica.

CS 217.

Tuesday 10 November 2009, 13:00-14:00

Cancelled

Achim Jung.

CS 124.

Tuesday 03 November 2009, 13:00-14:00

Formalising privacy in the applied pi-calculus

Myrto Arapinis.

CS 124.

Tuesday 27 October 2009, 13:00-14:00

Sublocales of regular reasonable d-frames

Olaf Klinke.

CS 124.

Tuesday 20 October 2009, 13:00-14:00

Simulation and final coalgebras

Paul Levy.

CS 124.

Tuesday 13 October 2009, 13:00-14:00

Characterising static equivalence in the applied pi-calculus

Eike Ritter.

CS 124.

Tuesday 06 October 2009, 13:00-14:00

Selection functions, bar recursion and backward induction

Martin Escardo.

CS 217.

Tuesday 29 September 2009, 13:00-14:00

From games to micropipelines

Dan Ghica.

CS 124.

Tuesday 22 September 2009, 13:00-14:00

Localic completion of generalized metric spaces II: Powerlocales

Steve Vickers.

CS 124.

Tuesday 15 September 2009, 13:00-14:00