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/2019/newsitem/10020/21
 ---25-January-2019-Syntax-Meets-Semantics-2019-SYS
 MICS-2019-Amsterdam-the-Netherlands
DTSTAMP:20180702T134400
SUMMARY:Syntax Meets Semantics 2019  (SYSMICS 2019
 ), Amsterdam, the Netherlands
DTSTART;VALUE=DATE:20190121
DTEND;VALUE=DATE:20190125
LOCATION:Doelenzaal, University Library, Singel 42
 5 Amsterdam, the Netherlands
DESCRIPTION:Substructural logics are formal reason
 ing systems that refine classical logic by weakeni
 ng structural rules in a Gentzen-style sequent cal
 culus. Traditionally, substructural logics have be
 en investigated using proof theoretic and algebrai
 c methods. In recent years, combined approaches ha
 ve started to emerge. The programme of the SYSMICS
  conference will focus on interactions between syn
 tactic and semantic methods in substructural logic
 s. This conference is the last of a series of meet
 ings planned in the SYSMICS RISE project during 20
 16-2019.  Contributed talks can be on any topic re
 lated to substructural logic. The Programme Commit
 tee will accept submissions of abstracts ranging f
 rom 2 to 4 pages.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Substruct
 ural logics are formal reasoning systems that refi
 ne classical logic by weakening structural rules i
 n a Gentzen-style sequent calculus. Traditionally,
  substructural logics have been investigated using
  proof theoretic and algebraic methods. In recent 
 years, combined approaches have started to emerge.
  The programme of the SYSMICS conference will focu
 s on interactions between syntactic and semantic m
 ethods in substructural logics. This conference is
  the last of a series of meetings planned in the <
 a href="http://logica.dipmat.unisa.it/sysmics/" ta
 rget="_blank">SYSMICS RISE project</a> during 2016
 -2019.</p>\n</div><div>\n  <p>Contributed talks ca
 n be on any topic related to substructural logic. 
 The Programme Committee will accept submissions of
  abstracts ranging from 2 to 4 pages.</p>\n</div>
URL:http://events.illc.uva.nl/SYSMICS2019/
END:VEVENT
END:VCALENDAR