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/2018/newsitem/9453/26-
 --28-February-2018-2nd-SYSMICS-Workshop-Substructu
 ral-logics-semantics-proof-theory-and-applications
 -Vienna-Austria
DTSTAMP:20171106T140350
SUMMARY:2nd SYSMICS Workshop "Substructural logics
 : semantics, proof theory and applications", Vienn
 a, Austria
DTSTART;VALUE=DATE:20180226
DTEND;VALUE=DATE:20180228
LOCATION:Vienna, Austria
DESCRIPTION:Substructural logics are non-classical
  logics lacking some of the structural rules of cl
 assical logic, and are motivated by philosophical,
  linguistic and computational considerations. Trad
 itionally, substructural logics have been investig
 ated using proof theoretic and algebraic methods. 
 In recent years, combined approaches have started 
 to emerge. The program of this SYSMICS workshop wi
 ll be focused on the interactions between syntacti
 c and semantic methods in substructural and relate
 d logics, as well as their applications.  If you w
 ould like to give a contributed talk, please submi
 t an abstract of 1-3 pages in pdf via the EasyChai
 r submission page.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Substruct
 ural logics are non-classical logics lacking some 
 of the structural rules of classical logic, and ar
 e motivated by philosophical, linguistic and compu
 tational considerations. Traditionally, substructu
 ral logics have been investigated using proof theo
 retic and algebraic methods. In recent years, comb
 ined approaches have started to emerge. The progra
 m of this SYSMICS workshop will be focused on the 
 interactions between syntactic and semantic method
 s in substructural and related logics, as well as 
 their applications.</p>\n</div><div>\n  <p>If you 
 would like to give a contributed talk, please subm
 it an abstract of 1-3 pages in pdf via the EasyCha
 ir submission page.</p>\n</div>
URL:http://sysmics.logic.at
CONTACT:sysmics at logic.at
END:VEVENT
END:VCALENDAR