University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory)

Logic and Semantics Seminar (Computer Laboratory)

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

Logic and Semantics seminars are usually held at 2pm on Fridays during term time. Please contact the seminar organisers if you would like more information, would like to suggest a speaker, or would like to offer to talk yourself.

Useful links:

Related series: Semantics lunch | Mini courses | PRG seminar | ARG lunch | All CL talks | Categories seminar
Tell a friend about this list:

If you have a question about this list, please contact: Jamie Vicary; nk480; mpf23; Anuj Dawar; Alan.Mycroft; Jon Sterling; pes20; Peter Sewell; Ioannis Markakis; Thibaut Benjamin. If you have a question about a specific talk, click on that talk to find its organiser.

1 upcoming talk and 327 talks in the archive.

Aeneas: Rust Verification by Functional Translation

UserSon Ho (Azure Research team).

HouseSS03, Computer Laboratory.

ClockFriday 30 May 2025, 14:00-15: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