British Logic Colloquium 2016
This year’s British Logic Colloquium (BLC) will be held here in the Informatics Forum.
The Colloquium will take place 7-8 September 2016, with the BLC PhD day on 6 September and a symposium in celebration of Gordon Plotkin's 70th Birthday, ‘GDP70,’ 9 September.
The annual event includes mathematical and philosophical logic as well as logic in computer science and applications of logic.
Speakers, organisers, sponsors
As well as invited speakers, the 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.
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 and Valeria de Paiva.
Sponsors: Edinburgh Mathematical Society, London Mathematical Society, University of Edinburgh’s School of Informatics
Encouraging student participation
Students and early-career researchers are encouraged to present their work. The organisers will provide a number of bursaries for PhD students, to assist with registration, travel and subsistence costs - and priority will be given to students presenting their work on the student day.
For further informationsee British Logic Colloquium 2016.
Family friendly
The Informatics Forum has facilities for nappy changing and breastfeeding. Participants may be eligible for support under the LMS childcare grant scheme. Participants are encouraged to contact the organisers if help is required in arranging childcare.
GDP70 symposium for Gordon Plotkin
Professor Plotkin is a co-founding member of our Laboratory for Foundations of Computer Science and an Associate Member of our Institute for Language, Cognition and Computation. He is an alumnus of ours (PhD 1972), having submitted his PhD thesis ‘Automatic methods of inductive inference’, in 1971.
Useful links
Laboratory for Foundations of Computer Science
Institute for Language, Cognition and Computation
Edinburgh Mathematical Society