|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.
6 upcoming talks and 143 talks in the archive.
NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Yuri Gurevich, Microsoft Research Redmond, USA.
Tuesday 09 February 2016, 16:00-17:00
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 listsPhilosophical Approaches to Education seminar series Darwin College Research Talks RECOUP open seminar series
Other talksLong-running programs women@CL Coffee & Cake - 7 Rebekka Reinhard: 'Die Kunst des Scheiterns: Erfolg und Leistung aus philosophischer Sicht' 'Designing in' informal interaction in bioscience architecture: design intent and scientists' practices Antigenicity of the HPV major capsid protein Games Animals Play