19 Nov 2020
The LMS Computer Science Colloquium is an annual day of themed talks on a topical issue at the interface of mathematics and computer science, organised by the LMS Computer Science Committee. The event is aimed at PhD students and post-docs, although others are welcome to attend. The next colloquium will be held on Thursday 19th November 2020, 10am-4pm, and will be held online. The theme will be 'Algorithms, Complexity and Logic'. The speakers will be as follows: - Nobuko Yoshida (Imperial College London) - Kitty Meeks (Glasgow) - Anupam Das (Birmingham) - Igor Carboni Oliveira (Warwick) Register here for the 2020 Computer Science Colloquium. https://www.smartsurvey.co.uk/s/virtual-lms-csc/ For further information please contact Katherine Wright <lmscomputerscience@lms.ac.uk> Society and Research Officer London Mathematical Society -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam