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/7341/1-J
uly-2016-2nd-International-Workshop-on-Automated-R
easoning-in-Quantified-Non-Classical-Logics-ARQNL-
2016-Coimbra-Portugal
DTSTAMP:20160430T000000
SUMMARY:2nd International Workshop on Automated Re
asoning in Quantified Non-Classical Logics (ARQNL
2016), Coimbra, Portugal
DTSTART;VALUE=DATE:20160701
DTEND;VALUE=DATE:20160701
LOCATION:Coimbra, Portugal
DESCRIPTION:Non-classical logics -- such as modal
logics, conditional logics, intuitionistic logic,
description logics, temporal logics, linear logic,
dynamic logic, fuzzy logic, paraconsistent logic,
relevance logic -- have many applications in AI,
Computer Science, Philosophy, Linguistics and Math
ematics. Hence, the automation of proof search in
these logics is a crucial task. The ARQNL workshop
aims at fostering the development of proof calcul
i, automated theorem proving systems and model fin
ders for all sorts of quantified non-classical log
ics. The workshop will provide a forum for resea
rchers to present and discuss recent developments
in this area. The contributions may range from the
ory to system descriptions and implementations. Co
ntributions may also outline relevant applications
and describe example problems and benchmarks. We
welcome contributions from computer scientists, li
nguists, philosophers, and mathematicians. For m
ore information, see http://iltp.de/ARQNL-2016/
X-ALT-DESC;FMTTYPE=text/html:\n \n
Non-classical logics -- such as modal logics, cond
itional logics,\n intuitionistic logic, des
cription logics, temporal logics, linear\n
logic, dynamic logic, fuzzy logic, paraconsistent
logic, relevance\n logic -- have many appli
cations in AI, Computer Science, Philosophy,\n
Linguistics and Mathematics. Hence, the automa
tion of proof search\n in these logics is a
crucial task.\n The ARQNL workshop aims at
fostering the development of proof calculi,\n
automated theorem proving systems and model fi
nders for all sorts of\n quantified non-cla
ssical logics.

\n The workshop will pr
ovide a forum for\n researchers to present
and discuss recent developments in this area.\n
The contributions may range from theory to sy
stem descriptions and\n implementations. Co
ntributions may also outline relevant applications
\n and describe example problems and benchm
arks. We welcome contributions\n from compu
ter scientists, linguists, philosophers, and mathe
maticians.\n

\n \n For more in
formation, see\n http://iltp.de/ARQNL-20
16/\n

\n
URL:/NewsandEvents/Archives/2016/newsitem/7341/1-J
uly-2016-2nd-International-Workshop-on-Automated-R
easoning-in-Quantified-Non-Classical-Logics-ARQNL-
2016-Coimbra-Portugal
END:VEVENT
END:VCALENDAR