Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

6-8 September 2016, British Logic Colloquium (BLC 2016), Edinburgh, Scotland

Date: 6-8 September 2016
Location: Edinburgh, Scotland

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. The event will be preceded by the BLC PhD day, on 6th, and followed by a symposium in celebration of Gordon Plotkin's 70th Birthday (GDP70) on 9th September.

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.

For more information, see http://conferences.inf.ed.ac.uk/blc/

Please note that this newsitem has been archived, and may contain outdated information or links.