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

Heyting Algebras and Higher-Order Logic

UserProf. Andrew M Pitts (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Automated Methods for Logic-Based Higher-Order Program Verification

UserHiroyuki Katsura (University of Cambridge).

HouseFS07, Computer Laboratory.

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

SANDWICH Day

UserMultiple Speakers.

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 09:30-17: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