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/15894/8-
 --13-December-2025-Logic-Categories-and-Decision-m
 aking-Algebraic-and-Proof-theoretic-Methods-LoCaD-
 2025-
DTSTAMP:20251109T112522
SUMMARY:Logic, Categories and Decision-making: Alg
 ebraic and Proof-theoretic Methods (LoCaD 2025)
DTSTART;VALUE=DATE:20251208
DTEND;VALUE=DATE:20251213
LOCATION:Vrije Universiteit Amsterdam, De Boelelaa
 n 1105, 1081 HV Amsterdam
DESCRIPTION:LoCaD 2025 brings together researchers
  in logic, algebra, and proof theory to explore fo
 rmal methods for reasoning, categorization, and de
 cision-making. The aim is to foster interaction ac
 ross traditions—modal logic, algebraic logic, proo
 f theory, category theory, knowledge representatio
 n, formal epistemology—and to identify common stru
 ctures, tools, and research programmes.  LoCaD 202
 5 is organized on the occasion of PhD defenses.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>LoCaD 2025 bri
 ngs together researchers in logic, algebra, and pr
 oof theory to explore formal methods for reasoning
 , categorization, and decision-making. The aim is 
 to foster interaction across traditions—modal logi
 c, algebraic logic, proof theory, category theory,
  knowledge representation, formal epistemology—and
  to identify common structures, tools, and researc
 h programmes.</p>\n  <p>LoCaD 2025 is organized on
  the occasion of PhD defenses.</p>\n
URL:https://sites.google.com/view/locad2025/
CONTACT:locad2025.amsterdam at gmail.com
END:VEVENT
END:VCALENDAR