8-9 Sep 2017
Brighton, England
British Logic Colloquium 2017 http://www.sussex.ac.uk/blc17/ The British Logic Colloquium will take place at the University of Sussex on 8-9 September 2017, with the BLC PhD day on 7 September. This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic. SPONSORS. We are grateful for support from The London Mathematical Society INVITED SPEAKERS ? Hazel Brickhill, University of Bristol, UK ? Oliver Kullmann, Swansea University, UK ? James Ladyman, University of Bristol, UK ? Sam Staton, Oxford University, UK ? Tamara von Glehn, Cambridge University, UK ? Katrin Tent, Universität Münster, Germany PROGRAMME COMMITTEE ? Martin Hyland, Cambridge ? Charlotte Kestner, Lancaster ? Ekaterina Komendantskaya, Heriot-Watt University ? Bernhard Reus, Sussex (chair) ? Monika Seisenberger, Swansea ? Philip Welch, Bristol ACCOMMODATION There will be a reduced conference fee for PhD students. Affordable accommodation on campus will be available through the organisers as early September is still tourist season in Brighton and hotels in the city centre will be expensive. The campus is just a 9min train ride away from the city centre. More info coming soon. CONTRIBUTED TALKS There will be a few slots available for contributed talks. If you would like to present your recent work, either already published or work in progress, please submit a single page abstract (A4 pdf) via EasyChair (https://easychair.org/conferences/?conf=blc2017) by 20th July. For more details please contact Bernhard Reus <bernhard@sussex.ac.uk>. -- Dr Paulo Oliva Reader in Mathematical Logic School of Electronic Engineering and Computer Science Queen Mary University of London, London E1 4FZ +44 (0) 207 882 5255 http://www.eecs.qmul.ac.uk/~pbo -- [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