\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

We encourage you to attend and prese nt your best work, be it\n already published or not. You submit a talk, not a paper. Hence,\n submissions should have a single author, who i s the\n speaker. Since you should only presen t your favorite result of\n the year, there s hould be at most one submission per\n speaker . The single page abstract may include a list of\n coauthors. Application deadline: midnight (U TC) on 22nd July.\n

\n URL:/NewsandEvents/Archives/2016/newsitem/7505/6-8 -September-2016-British-Logic-Colloquium-BLC-2016- Edinburgh-Scotland END:VEVENT END:VCALENDAR