\n

This is the annual meeting of the British Logic\n Colloquium. The scope of the event includes mathem atical and\n philosophical logic as well as l ogic in computer science and\n applications o f logic. The event will be preceded by the BLC PhD \n day, on 6th, and followed by a symposium i n celebration of\n Gordon Plotkin's 70th Birt hday (GDP70) on 9th September.\n

\nWe anticipate that our programme will include c ontributed\n talks on a range of topics inclu ding proof theory, set theory,\n model theory , computability and complexity, logical aspects of \n computer science, and philosophy of mathem atics. We especially\n encourage students and early-career researchers to present their\n work.\n

\n \n \nFor more information, see\n http://con ferences.inf.ed.ac.uk/blc/\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/750
5/6-8-September-2016-British-Logic-Colloquium-BLC-
2016-Edinburgh-Scotland
END:VEVENT
END:VCALENDAR
We encourage you to attend and present your best work, be it\n already publ ished or not. You submit a talk, not a paper. Henc e,\n submissions should have a single author, who is the\n speaker. Since you should only present your favorite result of\n the year, t here should be at most one submission per\n s peaker. The single page abstract may include a lis t of\n coauthors. Application deadline: midni ght (UTC) on 22nd July.\n

\n