University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory)

SANDWICH Seminar (Computer Laboratory)

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

  • Scientists Are Now Discussing Wildly Interesting Conjectures and Hypotheses *

The SANDWICH seminar runs on Mondays at 1pm in the Computer Science department, in room FS07 . This is an internal seminar series of the Cambridge Logical Structures Hub:

https://www.cl.cam.ac.uk/research/clash/

If you have any questions, please contact Neel Krishnaswasmi or Jamie Vicary.

Tell a friend about this list:

If you have a question about this list, please contact: Jamie Vicary; nk480; Dr Meven Lennon-Bertrand; Ariadne Si Suo . If you have a question about a specific talk, click on that talk to find its organiser.

5 upcoming talks and 27 talks in the archive.

Toward a liquid call-by-push-value

UserDimitrios Economou (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 28 April 2025, 13:00-14:00

Title to be confirmed

UserKarl Mose (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockTuesday 06 May 2025, 13:00-14:00

Title to be confirmed

UserDhruv Makwana (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 12 May 2025, 13:00-14:00

Title to be confirmed

UserProf. Andrew M Pitts (University of Cambridge).

HouseVenue to be confirmed.

ClockMonday 19 May 2025, 13:00-14:00

Title to be confirmed

UserArthur Adjedj (ENS Paris-Saclay) .

HouseFS07, Computer Laboratory.

ClockTuesday 27 May 2025, 13:00-14:00

Please see above for contact details for this list.

 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity