University of Cambridge > > 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. If you have a question about a specific talk, click on that talk to find its organiser.

1 upcoming talk and 320 talks in the archive.

Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)

UserMagnus Myreen ( Chalmers University, Sweden).

HouseTBC - probably SS03, Computer Laboratory.

ClockFriday 21 June 2024, 14:00-15:00

Please see above for contact details for this list.


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