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/2016/newsitem/7172/5-9
 -September-2016-Syntax-Meets-Semantics-SYSMICS-201
 6-Barcelona-Spain
DTSTAMP:20160212T000000
SUMMARY:Syntax Meets Semantics (SYSMICS 2016), Bar
 celona, Spain
DTSTART;VALUE=DATE:20160905
DTEND;VALUE=DATE:20160909
LOCATION:Barcelona, Spain
DESCRIPTION:Substructural logics are formal reason
 ing systems that refine classical logic by weakeni
 ng structural rules in a Gentzen-style sequent cal
 culus. Intuitionistic, many-valued, linear logics,
  are typical examples. Traditionally, substructura
 l logics have been investigated using proof theore
 tic and algebraic methods. In recent years, combin
 ed approaches have started to emerge. The programm
 e of the SYSMICS conference will focus on interact
 ions between syntactic and semantic methods in sub
 structural logics. This open conference is the fir
 st of a series of meetings planned in the SYSMICS 
 RISE project during 2016-2019.  For more informati
 on, see http://sysmics-16.iiia.csic.es/   The Prog
 ramme Committee cordially invites all researchers 
 to submit their papers for presentation. Contribut
 ed talks can be on any topic related to substructu
 ral logic. The Programme Committee accepts submiss
 ions of abstracts ranging from 2 to 4 pages. Deadl
 ine for submissions: 30 April 2016.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>Sub
 structural logics are formal reasoning systems tha
 t refine classical logic by weakening structural r
 ules in a Gentzen-style sequent calculus. Intuitio
 nistic, many-valued, linear logics, are typical ex
 amples. Traditionally, substructural logics have b
 een investigated using proof theoretic and algebra
 ic methods. In recent years, combined approaches h
 ave started to emerge. The programme of the SYSMIC
 S conference will focus on interactions between sy
 ntactic and semantic methods in substructural logi
 cs. This open conference is the first of a series 
 of meetings planned in the SYSMICS RISE project du
 ring 2016-2019.</p>\n    \n      \n        <p>For 
 more information, see <a target="_blank" href="htt
 p://sysmics-16.iiia.csic.es/">http://sysmics-16.ii
 ia.csic.es/</a></p>\n    </div><div>\n      <p>\n 
        The Programme Committee cordially invites a
 ll researchers\n        to submit their\n        p
 apers for presentation. Contributed talks can be o
 n any topic related to substructural logic. The Pr
 ogramme Committee accepts submissions of abstracts
  ranging from 2 to 4 pages.\n        Deadline for 
 submissions: 30 April 2016.\n      </p>\n      </d
 iv>
URL:/NewsandEvents/Archives/2016/newsitem/7172/5-9
 -September-2016-Syntax-Meets-Semantics-SYSMICS-201
 6-Barcelona-Spain
END:VEVENT
END:VCALENDAR