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/2025/newsitem/15709/10
 ---12-September-2025-British-Logic-Colloquium-2025
 -BLC-2025-and-Peter-Aczel-Memorial-Conference-Manc
 hester-UK
DTSTAMP:20250612T154147
SUMMARY:British Logic Colloquium 2025 (BLC 2025) a
 nd Peter Aczel Memorial Conference, Manchester, UK
DTSTART;VALUE=DATE:20250910
DTEND;VALUE=DATE:20250912
LOCATION:Manchester, UK
DESCRIPTION:The 2025 meeting of the British Logic 
 Colloquium will take place at the University of Ma
 nchester  (UK) from 11th to 12th September 2025. I
 t will be preceded by the Peter Aczel Memorial Con
 ference on 10th September 2025.   The programme wi
 ll include invited and contributed talks on a rang
 e of topics including (but not restricted to) cate
 gorical logic, computability theory, proof theory,
  logic in computer science, model theory, philosop
 hical logic, set theory, history of logic.
X-ALT-DESC;FMTTYPE=text/html:\n  <div>\n    <div>\
 n      <div>\n        <div>\n          <div>\n    
         <div>\n              <div id="h.46482d6058
 7cde96_0">\n                <div>\n               
    <div>\n                    <p style="text-align
 : justify;">The 2025 meeting of the British Logic 
 Colloquium will take place at the University of Ma
 nchester&nbsp; (UK) from 11th to 12th September 20
 25. It will be preceded by the Peter Aczel Memoria
 l Conference on 10th September 2025.&nbsp;</p>\n  
                   <p style="text-align: justify;">
 The programme will include invited and contributed
  talks on a range of topics including (but not res
 tricted to) categorical logic, computability theor
 y, proof theory, logic in computer science, model 
 theory, philosophical logic, set theory, history o
 f logic.</p>\n                  </div>\n          
       </div>\n              </div>\n            </
 div>\n          </div>\n        </div>\n      </di
 v>\n    </div>\n  </div>\n
URL:https://sites.google.com/view/blc2025/
END:VEVENT
END:VCALENDAR