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/2022/newsitem/13134/18
 ---20-July-2022-Trends-in-Logic-XXII-Cagliari-Ital
 y
DTSTAMP:20211108T135143
SUMMARY:Trends in Logic XXII, Cagliari, Italy
DTSTART;VALUE=DATE:20220718
DTEND;VALUE=DATE:20220720
LOCATION:Cagliari, Italy
DESCRIPTION:The 22nd Trends in Logic workshop, ent
 itled "Strong & Weak Kleene Logics", will take pla
 ce at the University of Cagliari (Cagliari, Italy)
  from 18–20 July 2022. It is organized by the ALOP
 HIS research group of the Department of Pedagogy, 
 Psychology and Philosophy.  The aim of the worksho
 p is to bring together researchers working on vari
 ous facets of logics related to the strong and wea
 k Kleene systems, be they algebraic, proof-theoret
 ic, or philosophical. The workshop will be held in
  a hybrid format, with in-person as well as online
  sessions. The workshop will be followed by anothe
 r event on neighbouring topics, the second install
 ment of Workshop on Relating Logics from July 22--
 23.  Submissions of extended abstracts (up to 2 pa
 ges, not counting the bibliography). ae solicited.
  The topics of the workshop include, but are not l
 imited to, the following: Proof theory and algebra
 ic semantics, for Strong Kleene logic, The Logic o
 f Paradox, Bochvar's logic, and Paraconsistent Wea
 k Kleene logic.Kleene lattices and their expansion
 s (e.g., MV-algebras)Płonka sums and regular varie
 tiesLeft & right variable inclusion logicsNon-Tars
 kian relatives of Kleene logicsPhilosophical appli
 cationsCS applications Full versions of selected p
 apers will be published in a special issue of Stud
 ia Logica after an open call for papers.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 22nd 
 Trends in Logic workshop, entitled &quot;Strong & 
 Weak Kleene Logics&quot;, will take place at the U
 niversity of Cagliari (Cagliari, Italy) from 18–20
  July 2022. It is organized by the ALOPHIS researc
 h group of the Department of Pedagogy, Psychology 
 and Philosophy.</p>\n  <p>The aim of the workshop 
 is to bring together researchers working on variou
 s facets of logics related to the strong and weak 
 Kleene systems, be they algebraic, proof-theoretic
 , or philosophical. The workshop will be held in a
  hybrid format, with in-person as well as online s
 essions. The workshop will be followed by another 
 event on neighbouring topics, the second installme
 nt of Workshop on Relating Logics from July 22--23
 .</p>\n</div><div>\n  <p>Submissions of extended a
 bstracts (up to 2 pages, not counting the bibliogr
 aphy). ae solicited. The topics of the workshop in
 clude, but are not limited to, the following:</p>\
 n  <ul>\n    <li>Proof theory and algebraic semant
 ics, for Strong Kleene logic, The Logic of Paradox
 , Bochvar's logic, and Paraconsistent Weak Kleene 
 logic.</li>\n    <li>Kleene lattices and their exp
 ansions (e.g., MV-algebras)</li>\n    <li>Płonka s
 ums and regular varieties</li>\n    <li>Left & rig
 ht variable inclusion logics</li>\n    <li>Non-Tar
 skian relatives of Kleene logics</li>\n    <li>Phi
 losophical applications</li>\n    <li>CS applicati
 ons</li>\n  </ul>\n  <p>Full versions of selected 
 papers will be published in a special issue of Stu
 dia Logica after an open call for papers.</p>\n</d
 iv>
URL:https://sites.google.com/view/trendsinlogic202
 2cagliari
CONTACT:trendsinlogic2022cagliari at gmail.com
END:VEVENT
END:VCALENDAR