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 in room FW11 . Talks are of relevance to the Programming, Logic and Semantics Group. 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: Anuj Dawar; Peter Sewell; Victor Gomes; Jean Pichon-Pharabod. If you have a question about a specific talk, click on that talk to find its organiser.

3 upcoming talks and 236 talks in the archive.

Quantum Things 1 - Monads, comonads, and resource-limited computation

UserAdam ó Conghaile (University of Cambridge).

HouseMR9 Centre for Mathematical Sciences.

ClockThursday 14 November 2019, 14:15-15:15

Quantum Things 2 - The quantum monad on relational structures

UserNadish de Silva (University of Cambridge).

HouseSS03.

ClockFriday 15 November 2019, 14:00-15:00

Quantum things 3 - Resources and Co-resources

UserAnuj Dawar (University of Cambridge).

HouseComputer Laboratory, Room FW26.

ClockFriday 06 December 2019, 14:00-15:00

Please see above for contact details for this list.

 

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