School of Informatics


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.

Professor Gordon Plotkin

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

British Logic Colloquium 2016

Laboratory for Foundations of Computer Science

Institute for Language, Cognition and Computation

Edinburgh Mathematical Society

London Mathematical Society (LMS)

LMS childcare grant scheme