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/2023/newsitem/14451/2-
 --5-November-2023-Challenges-and-Adequacy-Conditio
 ns-for-Logics-in-the-New-Age-of-Artificial-Intelli
 gence-ACLAI23-
DTSTAMP:20230821T145632
SUMMARY:Challenges and Adequacy Conditions for Log
 ics in the New Age of Artificial Intelligence (ACL
 AI23)
DTSTART;VALUE=DATE:20231102
DTEND;VALUE=DATE:20231105
LOCATION:Málaga, Spain
DESCRIPTION:The widespread diffusion of AI systems
  today creates new challenges for logics and syste
 ms of formal reasoning. If logic is to help make A
 I more accountable, logic itself needs to be accou
 ntable. It should therefore be susceptible to crit
 ical examination and evaluation of its adequacy fo
 r the objectives which its designers and users hav
 e set it. The ACLAI23 workshop will be devoted to 
 challenges and adequacy conditions for logics in l
 ight of their important role in contributing to ac
 countable AI.  The workshop will include technical
  work on current systems of logic for AI as well a
 s philosophical reflections on logical methodology
 , besides examining external desiderata for logics
  that arise for instance from legal or ethical req
 uirements for AI systems.  Contributions in the fo
 rm of a 2-5 page abstract may include new research
 , position papers, as relevant work previously pre
 sented elsewhere.  Submissions to be made via Easy
 Chair at https://easychair.org/conferences/?conf=a
 clai23  Deadline 12 September, 2023; notification 
 2 October, 2023.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The wides
 pread diffusion of AI systems today creates new ch
 allenges for logics and systems of formal reasonin
 g. If logic is to help make AI more accountable, l
 ogic itself needs to be accountable. It should the
 refore be susceptible to critical examination and 
 evaluation of its adequacy for the objectives whic
 h its designers and users have set it. The ACLAI23
  workshop will be devoted to challenges and adequa
 cy conditions for logics in light of their importa
 nt role in contributing to accountable AI.<br>\n  
 The workshop will include technical work on curren
 t systems of logic for AI as well as philosophical
  reflections on logical methodology, besides exami
 ning external desiderata for logics that arise for
  instance from legal or ethical requirements for A
 I systems.</p>\n</div><div>\n  <p>Contributions in
  the form of a 2-5 page abstract may include new r
 esearch, position papers, as relevant work previou
 sly presented elsewhere.<br>\n  Submissions to be 
 made via EasyChair at <a href="https://easychair.o
 rg/conferences/?conf=aclai23" target="_blank" rel=
 "noopener">https://easychair.org/conferences/?conf
 =aclai23</a><br>\n  Deadline 12 September, 2023; n
 otification 2 October, 2023.</p>\n</div>
URL:https://easychair.org/cfp/ACLAI23
CONTACT:Claudia Fernández-Fernández at cffernandez
  at uma.es
END:VEVENT
END:VCALENDAR