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.

3 upcoming talks and 20 talks in the archive.

What does it take to certify a conversion checker?

UserMeven Lennon-Bertrand (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockMonday 03 February 2025, 13:00-14:00

Title to be confirmed

UserIoannis Markakis (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 03 March 2025, 13:00-14:00

Title to be confirmed

UserDima Szamozvancev (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 10 March 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