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

2 upcoming talks and 305 talks in the archive.

RoboCert: A Formal Specification Notation for Robotic Software

UserMatthew Windsor, University of York.

HouseSS03, Computer Laboratory.

ClockFriday 09 June 2023, 14:00-15:00

RoboCert: A Formal Specification Notation for Robotic Software

UserMatthew Windsor, University of York.

HouseSS03, Computer Laboratory.

ClockFriday 09 June 2023, 14:00-15:00

Please see above for contact details for this list.

 

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