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: Bjarki Holm; Anuj Dawar; Jonathan Hayman. If you have a question about a specific talk, click on that talk to find its organiser.

4 upcoming talks and 114 talks in the archive.

An algebraic theory of type-and-effect systems

UserOhad Kammar (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 13 December 2013, 13:00-14:00

Title to be confirmed

UserJuan A. Navarro Pérez, UCL.

HouseTBC.

ClockFriday 17 January 2014, 16:00-17:00

Title to be confirmed

UserDaniel Roy, Engineering Department, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 24 January 2014, 16:00-17:00

Title to be confirmed

UserRichard Jones, University of Kent.

HouseTBC.

ClockFriday 25 April 2014, 16:00-17:00

Please see above for contact details for this list.

Other lists

Lister Institute Research Prize Fellowship Talks Cambridge Network Sales & Marketing SIG

Other talks

New times, researcher mobility and multilingual research practice: opportunities, innovation and constraints The clinic of the birth: obstetric ultrasound, medical innovation and the clinico-anatomical project Speaking Ethically Across Borders: Interdisciplinary Approaches Further Thoughts on the Undivided Past Experimental Study of Suction and Vortex Generators for Supersonic Inlet Flow Control CGHR Expert Practitioner Series: Working in Human Rights, Peacebuilding, Humanitarian Aid and Development
 

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