---------- Forwarded message --------- From: LMS Computer Science <[log in to unmask]> Date: Tue, 30 Oct 2018 at 11:22 Subject: LMS/BCS-FACS Seminar: reminder To: LMS Computer Science <[log in to unmask]> *LMS/BCS-FACS Evening Seminar: Thursday 1 November, 5:30pm* This email is sent to all those who have registered an interest in attending the LMS/BCS-FACS Seminar to be held on Thursday evening. The speaker, Bill Roscoe (Oxford), will talk on *Verifying CSP and its offspring.* As a reminder, the itinerary is as follows: 5:30pm – guests arrive at De Morgan House reception. Refreshments will be available in the De Morgan House catering area. 6:00pm – seminar begins in the Hardy Room. 7:00pm – tea, coffee and biscuits will be available in the De Morgan House catering area. 20:00pm/20:30pm – seminar ends. The De Morgan House address is: De Morgan House, 57–58 Russell Square, London WC1B 4HS, UK. Best wishes, Katherine Wright *Katherine Wright* Society Business Officer, London Mathematical Society De Morgan House, 57–58 Russell Square, London WC1B 4HS, UK www.lms.ac.uk Tel.: +44 20 7927 0801 Charity no.: 252660 ######################################################################## To unsubscribe from the FMNET list, click the following link: https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=FMNET&A=1