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/Events/Conferences/newsitem/163
 37/29-October-2026-Workshop-on-definability-algebr
 a-and-duality-in-non-classical-logic
DTSTAMP:20260915T090402
SUMMARY:Workshop on definability, algebra and dual
 ity in non-classical logic
DTSTART;TZID=Europe/Amsterdam:20261029T090000
LOCATION:F3.20, Science Park 107, Amsterdam
DESCRIPTION:The DADL workshop aims to connect rese
 archers and students interested in algebra, dualit
 y theory non-classical logics (especially intuitio
 nistic modal logics) and definability problems in 
 these topics (uniform interpolation, higher-order 
 quantifier elimination, normal forms, free algebra
  constructions, etc). Participation is free and no
  registration is required.  The workshop is co-loc
 ated with the PhD defense of Rodrigo Almeida. The 
 defense is public and will be held on the 30 of Oc
 tober at 14:00 at the Aula of the University of Am
 sterdam (Singel 411, Amsterdam).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The DADL works
 hop aims to connect researchers and students inter
 ested in algebra, duality theory non-classical log
 ics (especially intuitionistic modal logics) and d
 efinability problems in these topics (uniform inte
 rpolation, higher-order quantifier elimination, no
 rmal forms, free algebra constructions, etc). Part
 icipation is free and no registration is required.
 </p>\n  <p>The workshop is co-located with the PhD
  defense of Rodrigo Almeida. The defense is public
  and will be held on the 30 of October at 14:00 at
  the Aula of the University of Amsterdam (Singel 4
 11, Amsterdam).</p>\n
URL:https://rodrigonalmeida.github.io/blog/thesisw
 orkshop/
CONTACT:Rodrigo Almeida at r.dacruzsilvapinadealme
 ida at uva.nl
END:VEVENT
END:VCALENDAR