University of Birmingham > Talks@bham > Bravo

Bravo

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

Seminar for Computer Science (PhD) students in the Theory group

Tell a friend about this list:

0 upcoming talks and 91 talks in the archive.

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

UserTodd Waugh Ambridge (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Types for searching real numbers in constructive univalent type theory

UserTodd Waugh Ambridge (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

An introduction to (string diagram) graph rewriting

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Title to be confirmed

UserNicolas Blanco (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

ω-Categories and Groupoids from Identity Types

UserTobias Schmude (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Proof complexity of monotone branching programs

Note the unusual time

UserAvgerinos Delkos (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserTom de Jong (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserPiotr Mitosek (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserAyberk Tosun (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

May-must testing in PCF and beyond

UserAyberk Tosun (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserTommy McElvanney (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

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

UserTodd Waugh Ambridge (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Full abstraction for digital circuits (part 2)

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Full abstraction for digital circuits

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Search over uniformly continuous decidable predicates on infinite collections of types

UserTodd Waugh Ambridge (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Normalisation by evaluation for digital circuits

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Searchable Sets and All That

Coffee break starts at 15:30

UserAyberk Tosun (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Realizability Toposes

Coffee break starts at 15:30

UserTom de Jong (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Preserving determinism in MBQC when adding additional qubits

Coffee break starts at 15:30

UserTommy McElvanney (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Categorical semantics for digital circuits

Coffee break starts at 15:30

UserGeorge Kaye (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

What should a weak 2-multicategory be?

Coffee break starts at 15:30

UserNicolas Blanco (University of Birmingham).

HouseLG23, Computer Science // Zoom.

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

Introduction to Homotopy.io

UserCalin Tataru (University of Cambridge).

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

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

Title to be confirmed

UserNicolas Blanco (University of Birmingham).

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

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

Introduction to CaTT

UserAlex Rice (University of Cambridge).

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

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

Categorical semantics of linear logic

UserNicolas Blanco (University of Birmingham).

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

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

Title to be confirmed

UserAyberk Tosun (University of Birmingham).

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

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

Introduction to Linear Logic

UserNicolas Blanco (University of Birmingham).

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

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

Title to be confirmed

UserAyberk Tosun (University of Birmingham).

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

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

Double categories and tileorders

UserCalin Tataru (University of Cambridge).

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

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

Title to be confirmed

UserNicolas Blanco (University of Birmingham).

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

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

Title to be confirmed

UserTommy McElvanney (University of Birmingham).

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

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

Pointless and Formal Topology in UF

UserAyberk Tosun (University of Birmingham).

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

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

Homological algebra 2

UserTommy McElvanney (University of Birmingham).

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

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

Title to be confirmed

UserNicolas Blanco (University of Birmingham).

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

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

The Graphical Language of Symmetric Traced Monoidal Categories

UserGeorge Kaye (University of Birmingham).

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

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

An Introduction to Homological Algebra

UserTommy McElvanney (University of Birmingham).

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

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

Apartness for continuous dcpos

UserTom de Jong (University of Birmingham).

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

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

Defects in Topos Theory + some ideas going forward

UserMing Ng (University of Birmingham).

HouseZoom.

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

Title to be confirmed

UserNicolas Blanco (University of Birmingham).

HouseZoom.

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

Alex's swan song

UserAlex Rice.

HouseZoom.

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

A gentle introduction to cubical type theory

UserAlex Rice.

HouseZoom.

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

Title to be confirmed

UserTodd Waugh Ambridge.

HouseRoom 217, School of Computer Science.

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

Hypergraphs

UserGeorge Kaye (University of Birmingham).

HouseRoom 222, School of Computer Science.

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

Title to be confirmed

UserNicolas Blanco.

HouseRoom 217, School of Computer Science.

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

Coinduction II

UserAlex Rice (University of Birmingham).

HouseRoom 217, School of Computer Science.

ClockTuesday 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)

UserMing Ng (University of Birmingham).

HouseRoom 222, School of Computer Science.

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

Revisiting the relation between subspaces and sublocales

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

UserAnna Laura Suarez .

HouseRoom 222, School of Computer Science.

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

Introduction to string diagrams 2

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

UserCalin Tataru (University of Birmingham).

HouseRoom 222, School of Computer Science.

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

Introduction to string diagrams

UserCalin Tataru (University of Birmingham).

HouseRoom 225, School of Computer Science.

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

Linear lambda terms as rooted maps: there and back again

UserGeorge Kaye (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Title to be confirmed

UserTodd Waugh Ambridge (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Three polycategorical perspectives on *-autonomy

UserNicolas Blanco (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Coinduction

UserAlex Rice (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Title to be confirmed

UserTodd Waugh Ambridge (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

The Category of Assemblies

UserTom de Jong (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Groupoids as a Unifying Principle

UserMing Ng (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Title to be confirmed

UserNicolas Blanco (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

What is a monoid?

UserNicolas Blanco (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Title to be confirmed

UserTodd Waugh Ambridge (University of Birmingham).

HouseRoom 245, School of Computer Science.

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

Title to be confirmed

UserAnna Laura Suarez.

HouseRoom 245, School of Computer Science.

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

Adelic Geometry via Topos Theory

Rooms are all booked on the 28th

UserMing Ng (University of Birmingham).

HouseRoom 217, School of Computer Science.

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

Univalent Type Theory and Its Semantics

UserTom de Jong.

HouseRoom 217, School of Computer Science.

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

Title to be confirmed

UserTodd Ambridge.

HouseRoom 217, School of Computer Science.

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

Classical and choice-free Stone duality

UserAnna Laura Suarez.

HouseRoom 217, School of Computer Science.

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

Multicategories of Banach spaces

UserNicolas Blanco.

HouseRoom 217, School of Computer Science.

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

Limits

UserMing Ng.

HouseRoom 245, School of Computer Science.

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

Monoidal categories II

UserNicolas Blanco.

HouseRoom 245, School of Computer Science.

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

Monoidal categories

UserNicolas Blanco.

HouseRoom 245, School of Computer Science.

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

Adjunctions I

UserAnna Laura Suarez.

HouseRoom 245, School of Computer Science.

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

Monads

UserTom de Jong.

HouseRoom 245, School of Computer Science.

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

The Yoneda Lemma

UserAuke Booij.

HouseRoom 245, School of Computer Science.

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

Natural Transformations

UserNicolas Blanco.

HouseRoom 245, School of Computer Science.

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

Exercises

UserTom de Jong.

HouseRoom 245, School of Computer Science.

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

Lambda-calculus and cartesian closed categories II

UserNicolas Blanco.

HouseRoom 245, School of Computer Science.

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

Lambda-calculus and cartesian closed categories

UserNicolas Blanco.

HouseRoom 245, School of Computer Science.

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

Cartesian closed categories

UserAnna Laura Suarez.

HouseRoom 205, School of Computer Science.

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

Categories and Functors

UserTom de Jong.

HouseRoom 245, School of Computer Science.

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

If you have a question about this list, please contact: Tom de Jong; Nicolas Blanco; George Kaye. 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.