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 38 talks in the archive.

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