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

8 upcoming talks and 201 talks in the archive.

Modular Algorithm Analysis

UserMichel Schellekens, University College Cork.

HouseFW26.

ClockFriday 23 February 2018, 14:00-15:00

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

UserHubert Chen, Birkbeck University of London.

HouseFW11.

ClockFriday 02 March 2018, 14:00-15:00

Title to be confirmed

UserTony Hoare, FRS FREng.

HouseFW26.

ClockTuesday 06 March 2018, 14:00-15:00

Left Exact Modalities in Type Theory

UserEric Finster, INRIA Rennes.

HouseFW26.

ClockFriday 09 March 2018, 14:00-15:00

Meta-interpretive learning logic programs

UserAndrew Cropper, University of Oxford.

HouseFW26.

ClockTuesday 13 March 2018, 14:00-15:00

Title to be confirmed

UserAnthony Bordg, Computer Laboratory, University of Cambridge.

HouseFW26.

ClockFriday 23 March 2018, 14:00-15:00

Title to be confirmed

UserGuillaume Munch-Maccagnoni, Inria Bretagne.

HouseFW26.

ClockFriday 06 April 2018, 14:00-15:00

Title to be confirmed

UserAmlan Chakrabarti, University of Calcutta.

HouseFW26.

ClockFriday 18 May 2018, 14:00-15:00

Please see above for contact details for this list.

 

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