University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory)

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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.

6 upcoming talks and 203 talks in the archive.

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

UserHubert Chen, Birkbeck University of London.

HouseFW26.

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

Meta-interpretive learning logic programs

UserAndrew Crooper, University of Oxford.

HouseFW11.

ClockThursday 03 May 2018, 14:00-15:00

Lecture 3: Logic for Program Development, Verification and Implementation.

UserTony Hoare, FRS FREng.

HouseFW26.

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

Scheduling Tasks for Reconfigurable Architecture

UserAmlan Chakrabarti, University of Calcutta.

HouseFW26.

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

Title to be confirmed

UserJames Laird, University of Bath.

HouseFW26.

ClockFriday 01 June 2018, 14:00-15:00

Title to be confirmed

UserPawel Sobocinski, University of Southampton.

HouseFW26.

ClockFriday 08 June 2018, 14:00-15:00

Please see above for contact details for this list.

Other lists

Trust and Cloud Computing Cambridge University Heraldic and Genealogical Society HEP/GR Informal Seminar Series for Graduate Students

Other talks

Investigation into appropriate statistical models for the analysis and visualisation of data captured in clinical trials using wearable sensors CANCELLED DUE TO STRIKE ACTION Concentrated, “pulsed” axial glacier flow: structural glaciological evidence from Kvíárjökull in SE Iceland Realising public health research priorities; whose priorities? Reading and Panel Discussion with Emilia Smechowski Kiwi Scientific Acceleration on FPGA
 

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