BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2016/newsitem/7505/6-8
 -September-2016-British-Logic-Colloquium-BLC-2016-
 Edinburgh-Scotland
DTSTAMP:20160714T000000
SUMMARY:British Logic Colloquium (BLC 2016), Edinb
 urgh, Scotland
DTSTART;VALUE=DATE:20160906
DTEND;VALUE=DATE:20160908
LOCATION:Edinburgh, Scotland
DESCRIPTION:This is the annual meeting of the Brit
 ish Logic Colloquium. The scope of the event inclu
 des mathematical and philosophical logic as well a
 s logic in computer science and applications of lo
 gic. The event will be preceded by the BLC PhD day
 , on 6th, and followed by a symposium in celebrati
 on of Gordon Plotkin's 70th Birthday (GDP70) on 9t
 h September.   We anticipate that our programme wi
 ll include contributed talks on a range of topics 
 including proof theory, set theory, model theory, 
 computability and complexity, logical aspects of c
 omputer science, and philosophy of mathematics. We
  especially encourage students and early-career re
 searchers to present their work.   For more inform
 ation, see http://conferences.inf.ed.ac.uk/blc/  W
 e encourage you to attend and present your best wo
 rk, be it already published or not. You submit a t
 alk, not a paper. Hence, submissions should have a
  single author, who is the speaker. Since you shou
 ld only present your favorite result of the year, 
 there should be at most one submission per speaker
 . The single page abstract may include a list of c
 oauthors. Application deadline: midnight (UTC) on 
 22nd July.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>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      </p>\n      
 <p>We 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      </p>\n    \n      \n      <p>For more
  information, see\n        <a target="_blank" href
 ="http://conferences.inf.ed.ac.uk/blc/">http://con
 ferences.inf.ed.ac.uk/blc/</a>\n      </p>\n    </
 div><div>\n      <p>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      </p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7505/6-8
 -September-2016-British-Logic-Colloquium-BLC-2016-
 Edinburgh-Scotland
END:VEVENT
END:VCALENDAR