|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
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.
5 upcoming talks and 144 talks in the archive.
NOTE UNUSUAL VENUE This is the second seminar this week.
Andrew Swan, The Logic Group, School of Mathematics, University of Leeds.
Friday 12 February 2016, 14:00-15:00
Conor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.
Friday 19 February 2016, 14:00-15:00
NOTE UNUSUAL VENUE
Rodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie.
Friday 26 February 2016, 14:00-15:00
NOTE UNUSUAL LOCATION, DATE, AND TIME
Martín Escardó, School of Computer Science, University of Birmingham.
Thursday 03 March 2016, 14:00-15:00
Fredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.
Friday 11 March 2016, 14:00-15:00
Please see above for contact details for this list.
Other listsGender Computer Laboratory Security Seminar Beer Talks
Other talksLarge deformations in soft porous materials: Squishing, swelling, and yielding Commodifications, Capitalism, Counter-movements: Perspectives from Southeast Asia Analytical ultracentrifugation (AUC) CO2 Sequestration and the need for uncertainty quantification Alexander Ogg (1811-65): surveyor, farmer and gold prospector, Aberdeenshire and New Zealand The EvoDevo and Physics of Skin Appendages and Skin Colours in Vertebrates