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/10791/20
 ---22-November-2019-Circularity-in-Syntax-and-Sema
 ntics-CiSS-Gothenburg-Sweden
DTSTAMP:20190905T145156
SUMMARY:Circularity in Syntax and Semantics (CiSS)
 , Gothenburg, Sweden
DTSTART;VALUE=DATE:20191120
DTEND;VALUE=DATE:20191122
LOCATION:Gothenburg, Sweden
DESCRIPTION:The conference is dedicated to aspects
  of circularity and ill-foundedness in formal meth
 ods. The aim is to gather together researchers who
  study and/or utilise these phenomena from differe
 nt perspectives such as provability, formal reason
 ing, construction, computation and complexity. The
  2019 Lindström Lectures will be held in connectio
 n with CiSS and delivered by Johan van Benthem.  A
 s well as invited speakers there will be sessions 
 for contributed talks. Topics of interest include 
 (but are not restricted to): Logics with circular 
 or self-referential semantics,  Models of infinite
  computation, including automata and games, Non-we
 llfounded or circular derivation systems for prova
 bility, satisfiability, type-checking, etc., Impre
 dicative constructions in foundations, Self-refere
 nce in natural and formal languages and their trea
 tment, and  Philosophical considerations of any of
  the above topics.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The confe
 rence is dedicated to aspects of circularity and i
 ll-foundedness in formal methods. The aim is to ga
 ther together researchers who study and/or utilise
  these phenomena from different perspectives such 
 as provability, formal reasoning, construction, co
 mputation and complexity. The 2019 Lindström Lectu
 res will be held in connection with CiSS and deliv
 ered by Johan van Benthem.</p>\n</div><div>\n  <p>
 As well as invited speakers there will be sessions
  for contributed talks. Topics of interest include
  (but are not restricted to): Logics with circular
  or self-referential semantics,&nbsp; Models of in
 finite computation, including automata and games, 
 Non-wellfounded or circular derivation systems for
  provability, satisfiability, type-checking, etc.,
  Impredicative constructions in foundations, Self-
 reference in natural and formal languages and thei
 r treatment, and&nbsp; Philosophical consideration
 s of any of the above topics.</p>\n</div>
URL:http://www.cse.chalmers.se/~bahafs/CiSS2019/
CONTACT:Bahareh Afshari at bahareh.afshari at gu.s
 e
END:VEVENT
END:VCALENDAR