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/2024/newsitem/14900/1-
 July-2024-5th-International-Workshop-on-Automated-
 Reasoning-in-Quantified-Non-Classical-Logics-AQRNL
 -2024-Nancy-France
DTSTAMP:20240402T150230
SUMMARY:5th International Workshop on Automated Re
 asoning in Quantified Non-Classical Logics (AQRNL 
 2024), Nancy, France
DTSTART;VALUE=DATE:20240701
DTEND;VALUE=DATE:20240701
LOCATION:Nancy, France
DESCRIPTION:Non-classical logics - such as modal l
 ogics, conditional logics, intuitionistic logic, d
 escription logics, temporal logics, linear logic, 
 dynamic logic, deontic logics, fuzzy logic, paraco
 nsistent logic, relevance logic - have many applic
 ations in AI, Computer Science, Philosophy, Lingui
 stics, and Mathematics. Hence, the automation of p
 roof search in these logics is a crucial task. The
  ARQNL workshop aims at fostering the development 
 of proof calculi, automated theorem proving system
 s and model finders for all sorts of quantified no
 n-classical logics. The workshop will provide a fo
 rum for researchers to present and discuss recent 
 developments in this area.  ARQNL 2024 is associat
 ed with IJCAR 2024, the International Joint Confer
 ence on Automated Reasoning.  We welcome contribut
 ions from computer scientists, linguists, philosop
 hers, and mathematicians. Topics of the ARQNL work
 shop will cover all aspects related to the automat
 ion of quantified non-classical logics. The contri
 butions may range from theory to system descriptio
 ns and implementations. Contributions may also out
 line relevant applications, describe problem forma
 lizations, example problems, and benchmarks.  Subm
 issions of papers are solicited in three categorie
 s: (A) Full papers (up to 15 pages excluding refer
 ences) (B) Short papers (up to 8 pages excluding r
 eferences) (C) Talk abstracts (up to 2 pages exclu
 ding references)
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Non-class
 ical logics - such as modal logics, conditional lo
 gics, intuitionistic logic, description logics, te
 mporal logics, linear logic, dynamic logic, deonti
 c logics, fuzzy logic, paraconsistent logic, relev
 ance logic - have many applications in AI, Compute
 r Science, Philosophy, Linguistics, and Mathematic
 s. Hence, the automation of proof search in these 
 logics is a crucial task. The ARQNL workshop aims 
 at fostering the development of proof calculi, aut
 omated theorem proving systems and model finders f
 or all sorts of quantified non-classical logics. T
 he workshop will provide a forum for researchers t
 o present and discuss recent developments in this 
 area.</p>\n  <p>ARQNL 2024 is associated with IJCA
 R 2024, the International Joint Conference on Auto
 mated Reasoning.</p>\n</div><div>\n  <p>We welcome
  contributions from computer scientists, linguists
 , philosophers, and mathematicians. Topics of the 
 ARQNL workshop will cover all aspects related to t
 he automation of quantified non-classical logics. 
 The contributions may range from theory to system 
 descriptions and implementations. Contributions ma
 y also outline relevant applications, describe pro
 blem formalizations, example problems, and benchma
 rks.</p>\n  <p>Submissions of papers are solicited
  in three categories: (A) Full papers (up to 15 pa
 ges excluding references) (B) Short papers (up to 
 8 pages excluding references) (C) Talk abstracts (
 up to 2 pages excluding references)</p>\n</div>
URL:http://iltp.de/ARQNL-2024/
END:VEVENT
END:VCALENDAR