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

1 upcoming talk and 281 talks in the archive.

Staged Compilation with Two-Level Type Theory

UserAndrás Kovács, Eötvös Loránd University.

HouseFW26.

ClockMonday 22 August 2022, 14:00-15:00

Please see above for contact details for this list.

 

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