6-8 Sep 2016
Edinburgh, Scotland
British Logic Colloquium 2016 http://conferences.inf.ed.ac.uk/blc/ The British Logic Colloquium, BLC 2016, will be held at the University of Edinburgh, on 7th & 8th September, preceded by the BLC PhD day, on 6th, and followed by a symposium in celebration of Gordon Plotkin's 70th Birthday, GDP70, on 9thSeptember. SPONSORS. We are grateful for support from ? The Edinburgh Mathematical Society ? The London Mathematical Society ? The School of Informatics, University of Edinburgh INVITED SPEAKERS ? Sylvy Anscombe, University of Central Lancashire, Preston, UK ? Diego Figuera, CNRS, Bordeaux, France ? Orna Kupferman, Hebrew University, Jerusalem, Israel ? Maurizio Lenzerini, Sapienza Universita di Roma, Rome, Italy ? Alexandra Silva, UCL, London, UK ? Alex Wilke FRS, University of Manchester, Manchester, UK. PROGRAMME COMMITTEE: Michael Fourman, Philippa Gardner, Martin Hyland, Leonid Libkin, Angus Macintyre, Ursula Martin, Valeria de Paiva 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. We anticipate that our programme will include contributed talks on a range of topics including proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics. We especially encourage students and early-career researchers to present their work. CONTRIBUTED TALKS: We encourage you to attend and present your best work, be it already published or not. You submit a talk, not a paper. Hence, submissions should have a single author, who is the speaker. Since you should only present your favorite result of the year, there should be at most one submission per speaker. The single page abstract may include a list of coauthors. ? A single page abstract (A4 pdf) should be submitted via EasyChair by the deadline of midnight (UTC) on 22nd July. ? Acceptances will be notified before 30th July. -- [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