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/2024/newsitem/15028/5-
 --7-September-2024-British-Logic-Colloquium-2024-B
 LC-2024-Birmingham-UK
DTSTAMP:20240610T143201
SUMMARY:British Logic Colloquium 2024 ((BLC 2024),
  Birmingham, UK
DTSTART;VALUE=DATE:20240905
DTEND;VALUE=DATE:20240907
LOCATION:Birmingham, UK
DESCRIPTION:The annual meeting of the British Logi
 c Colloquium will be organised by the University o
 f Birmingham from Thursday 5th September afternoon
  to Saturday 7th September morning.  The programme
  will include invited and contributed talks on a r
 ange of topics including (but not restricted to) p
 roof theory, set theory, model theory, computabili
 ty and complexity, logical aspects of computer sci
 ence, and philosophy of mathematics.  Invited spea
 kers: Michael Rathjen (University of Leeds), more 
 TBC...  The programme committee invites abstracts 
 for contributed talks of up to 1 page (excluding b
 ibliography). These can be on published or unpubli
 shed work, as well as work in progress. We especia
 lly encourage students and early-career researcher
 s to present their work.  There are no formal publ
 ished proceedings, but accepted abstracts will be 
 made available for the meeting. Please submit your
  abstracts via EasyChair.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The annua
 l meeting of the <a href="https://www.blc-logic.or
 g/" target="_blank" rel="noopener">British Logic C
 olloquium</a> will be organised by the University 
 of Birmingham from Thursday 5th September afternoo
 n to Saturday 7th September morning.</p>\n  <p>The
  programme will include invited and contributed ta
 lks on a range of topics including (but not restri
 cted to) proof theory, set theory, model theory, c
 omputability and complexity, logical aspects of co
 mputer science, and philosophy of mathematics.</p>
 \n  <p>Invited speakers: Michael Rathjen (Universi
 ty of Leeds), more TBC...</p>\n</div><div>\n  <p>T
 he programme committee invites abstracts for contr
 ibuted talks of up to 1 page (excluding bibliograp
 hy). These can be on published or unpublished work
 , as well as work in progress. We especially encou
 rage students and early-career researchers to pres
 ent their work.</p>\n  <p>There are no formal publ
 ished proceedings, but accepted abstracts will be 
 made available for the meeting. Please submit your
  abstracts via <a href="https://easychair.org/conf
 erences/?conf=blc24" target="_blank" rel="noopener
 ">EasyChair</a>.</p>\n</div>
URL:https://blc24.github.io/
CONTACT:Sonia Marin at blc24 at easychair.org
END:VEVENT
END:VCALENDAR