Types for searching real numbers in constructive univalent type theory, part 2

Todd Waugh Ambridge (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 08 June 2022, 10:00-11:00

Types for searching real numbers in constructive univalent type theory

Todd Waugh Ambridge (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 01 June 2022, 10:00-11:00

A (tertiary) introduction to ((frobenius) string diagram) graph rewriting

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 25 May 2022, 10:00-11:00

A (secondary) introduction to (string diagram) graph rewriting

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 18 May 2022, 11:00-12:00

An introduction to (string diagram) graph rewriting

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 11 May 2022, 10:00-11:00

Title to be confirmed

Nicolas Blanco (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 04 May 2022, 10:00-11:00

ω-Categories and Groupoids from Identity Types

Tobias Schmude (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 30 March 2022, 10:00-11:00

Proof complexity of monotone branching programs

Note the unusual time

Avgerinos Delkos (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 23 March 2022, 11:00-12:00

Semidecidable truth values: constructive taboos, choice principles and closure properties

Tom de Jong (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 16 March 2022, 10:00-11:00

Efficient universal hypergraph resource state with Pauli-X and Z measurements

Piotr Mitosek (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 09 March 2022, 16:00-17:00

May-must testing in PCF and beyond (part 2)

Ayberk Tosun (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 02 March 2022, 16:00-17:00

May-must testing in PCF and beyond

Ayberk Tosun (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 23 February 2022, 16:00-17:00

A "new" normal form for Stabilizer MBQC-like diagrams and completeness.

Tommy McElvanney (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 16 February 2022, 16:00-17:00

Search over uniformly continuous decidable predicates on infinite collections of types. (Part 2)

Todd Waugh Ambridge (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 09 February 2022, 16:00-17:00

Full abstraction for digital circuits (part 2)

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 02 February 2022, 16:00-17:00

Full abstraction for digital circuits

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 26 January 2022, 16:00-17:00

Search over uniformly continuous decidable predicates on infinite collections of types

Todd Waugh Ambridge (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 19 January 2022, 16:00-17:00

Normalisation by evaluation for digital circuits

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 08 December 2021, 16:00-17:00

Searchable Sets and All That

Coffee break starts at 15:30

Ayberk Tosun (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 17 November 2021, 16:00-17:00

Realizability Toposes

Coffee break starts at 15:30

Tom de Jong (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 10 November 2021, 16:00-17:00

Preserving determinism in MBQC when adding additional qubits

Coffee break starts at 15:30

Tommy McElvanney (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 03 November 2021, 16:00-17:00

Categorical semantics for digital circuits

Coffee break starts at 15:30

George Kaye (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 27 October 2021, 16:00-17:00

What should a weak 2-multicategory be?

Coffee break starts at 15:30

Nicolas Blanco (University of Birmingham).

LG23, Computer Science // Zoom.

Wednesday 20 October 2021, 16:00-17:00

Sharp Elements and the Scott Topology of Domains

Tom de Jong (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Tuesday 24 August 2021, 10:00-11:00

Introduction to Homotopy.io

Calin Tataru (University of Cambridge).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Wednesday 07 July 2021, 10:00-11:15

Rewriting Graphically with Cartesian Traced Categories

George Kaye (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 05 July 2021, 14:00-15:15

Title to be confirmed

Tobias Schmude.

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 21 June 2021, 10:00-11:15

Title to be confirmed

Nicolas Blanco (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 07 June 2021, 10:00-11:15

Construction of the Circle in HoTT

Tom de Jong (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Tuesday 01 June 2021, 14:00-15:15

Measurement-based Quantum Computation and the power of the ZX calculus

Tommy McElvanney (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 24 May 2021, 10:00-11:15

Introduction to CaTT

Alex Rice (University of Cambridge).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 10 May 2021, 10:00-11:15

Categorical semantics of linear logic

Nicolas Blanco (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 26 April 2021, 10:00-11:15

Title to be confirmed

Ayberk Tosun (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 19 April 2021, 10:00-11:15

Introduction to Linear Logic

Nicolas Blanco (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 29 March 2021, 10:00-11:15

Title to be confirmed

Ayberk Tosun (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 22 March 2021, 10:00-11:15

Predicative Aspects of Order Theory in Univalent Foundations

Tom de Jong (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 08 March 2021, 10:00-11:15

Double categories and tileorders

Calin Tataru (University of Cambridge).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 01 March 2021, 10:00-11:15

A Strictification of Categories in Agda under Univalence

Alex Rice.

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 22 February 2021, 10:00-11:15

Title to be confirmed

Nicolas Blanco (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 15 February 2021, 10:00-11:15

Title to be confirmed

Tommy McElvanney (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 08 February 2021, 10:00-11:15

A predicative construction of the patch frame

Ayberk Tosun (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 25 January 2021, 10:00-11:15

Minimal linear inferences independent of switch and medial

Alex Rice (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/83640356951?pwd=M2c0LzRudFZ6dEJlZ0tnUzh0bFZZQT09).

Monday 18 January 2021, 10:00-11:15

Categorical semantics of type theory: comprehension categories and weak factorization systems

Tom de Jong (University of Birmingham).

Zoom (https://bham-ac-uk.zoom.us/j/84399081782?pwd=SkhJbWlVM3RoMGZWdENWK05mQkhoUT09).

Monday 11 January 2021, 10:00-11:15

Pointless and Formal Topology in UF

Ayberk Tosun (University of Birmingham).

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

Monday 14 December 2020, 10:00-11:15

Homological algebra 2

Tommy McElvanney (University of Birmingham).

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

Monday 07 December 2020, 10:00-11:15

Title to be confirmed

Nicolas Blanco (University of Birmingham).

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

Monday 30 November 2020, 10:00-11:15

The Graphical Language of Symmetric Traced Monoidal Categories

George Kaye (University of Birmingham).

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

Monday 23 November 2020, 10:00-11:15

An Introduction to Homological Algebra

Tommy McElvanney (University of Birmingham).

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

Monday 16 November 2020, 10:00-11:15

Apartness for continuous dcpos

Tom de Jong (University of Birmingham).

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

Monday 09 November 2020, 10:00-11:15

Defects in Topos Theory + some ideas going forward

Ming Ng (University of Birmingham).

Zoom.

Monday 02 November 2020, 10:00-11:15

Title to be confirmed

Nicolas Blanco (University of Birmingham).

Zoom.

Monday 26 October 2020, 10:00-12:00

Alex's swan song

Alex Rice.

Zoom.

Tuesday 22 September 2020, 11:30-12:30

A gentle introduction to cubical type theory

Alex Rice.

Zoom.

Tuesday 16 June 2020, 11:30-12:30

Title to be confirmed

Todd Waugh Ambridge.

Room 217, School of Computer Science.

Tuesday 17 March 2020, 11:00-12:30

Hypergraphs

George Kaye (University of Birmingham).

Room 222, School of Computer Science.

Tuesday 10 March 2020, 11:00-12:30

Monads and Comonads from a Computational Viewpoint

Alex Rice.

Room 222, School of Computer Science.

Tuesday 03 March 2020, 11:00-12:30

Title to be confirmed

Nicolas Blanco.

Room 217, School of Computer Science.

Tuesday 25 February 2020, 11:00-12:30

Hoare logic and B-Method: How to prove that trains (almost) never collide

Nicolas Blanco.

Room 217, School of Computer Science.

Tuesday 18 February 2020, 11:00-12:30

Coinduction II

Alex Rice (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 11 February 2020, 11:00-12:30

The Israeli-Palestinian Conflict, and conflicting visions of Zionism

Please note that we are in *222* (Alan Turing)

Ming Ng (University of Birmingham).

Room 222, School of Computer Science.

Tuesday 04 February 2020, 11:00-12:30

Revisiting the relation between subspaces and sublocales

Please note that we are in *222* (Alan Turing)

Anna Laura Suarez .

Room 222, School of Computer Science.

Tuesday 28 January 2020, 11:00-12:30

Introduction to string diagrams 2

Please note that we are in *222* (Alan Turing)

Calin Tataru (University of Birmingham).

Room 222, School of Computer Science.

Tuesday 21 January 2020, 11:00-12:30

Introduction to string diagrams

Calin Tataru (University of Birmingham).

Room 225, School of Computer Science.

Tuesday 14 January 2020, 11:30-12:45

Linear lambda terms as rooted maps: there and back again

George Kaye (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 26 November 2019, 11:00-12:15

Title to be confirmed

Todd Waugh Ambridge (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 19 November 2019, 11:00-12:15

Three polycategorical perspectives on *-autonomy

Nicolas Blanco (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 12 November 2019, 11:00-12:15

Coinduction

Alex Rice (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 05 November 2019, 11:00-12:30

Title to be confirmed

Todd Waugh Ambridge (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 29 October 2019, 11:00-12:15

The Category of Assemblies

Tom de Jong (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 22 October 2019, 14:00-15:15

Groupoids as a Unifying Principle

Ming Ng (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 15 October 2019, 11:00-12:30

Title to be confirmed

Nicolas Blanco (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 08 October 2019, 11:00-12:30

What is a monoid?

Nicolas Blanco (University of Birmingham).

Room 217, School of Computer Science.

Tuesday 01 October 2019, 11:00-12:30

Title to be confirmed

Todd Waugh Ambridge (University of Birmingham).

Room 245, School of Computer Science.

Wednesday 05 June 2019, 14:00-16:00

Title to be confirmed

Anna Laura Suarez.

Room 245, School of Computer Science.

Thursday 30 May 2019, 10:00-12:00

Adelic Geometry via Topos Theory

Rooms are all booked on the 28th

Ming Ng (University of Birmingham).

Room 217, School of Computer Science.

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

Univalent Type Theory and Its Semantics

Tom de Jong.

Room 217, School of Computer Science.

Tuesday 21 May 2019, 10:00-12:00

Title to be confirmed

Todd Ambridge.

Room 217, School of Computer Science.

Tuesday 14 May 2019, 10:00-12:00

Classical and choice-free Stone duality

Anna Laura Suarez.

Room 217, School of Computer Science.

Tuesday 07 May 2019, 10:00-12:00

Multicategories of Banach spaces

Nicolas Blanco.

Room 217, School of Computer Science.

Tuesday 30 April 2019, 10:00-12:00

Limits

Ming Ng.

Room 245, School of Computer Science.

Tuesday 19 March 2019, 10:00-12:00

Monoidal categories II

Nicolas Blanco.

Room 245, School of Computer Science.

Tuesday 12 March 2019, 10:00-12:00

Monoidal categories

Nicolas Blanco.

Room 245, School of Computer Science.

Tuesday 05 March 2019, 10:00-12:00

Adjunctions I

Anna Laura Suarez.

Room 245, School of Computer Science.

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

Monads

Tom de Jong.

Room 245, School of Computer Science.

Tuesday 19 February 2019, 10:00-12:00

The Yoneda Lemma

Auke Booij.

Room 245, School of Computer Science.

Tuesday 12 February 2019, 10:00-12:00

Natural Transformations

Nicolas Blanco.

Room 245, School of Computer Science.

Tuesday 05 February 2019, 10:00-12:00

Exercises

Tom de Jong.

Room 245, School of Computer Science.

Tuesday 29 January 2019, 10:00-12:00

Lambda-calculus and cartesian closed categories II

Nicolas Blanco.

Room 245, School of Computer Science.

Wednesday 12 December 2018, 10:00-12:00

Lambda-calculus and cartesian closed categories

Nicolas Blanco.

Room 245, School of Computer Science.

Wednesday 05 December 2018, 10:00-12:00

Cartesian closed categories

Anna Laura Suarez.

Room 205, School of Computer Science.

Tuesday 27 November 2018, 10:00-12:00

Categories and Functors

Tom de Jong.

Room 245, School of Computer Science.

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