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      <p>\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.</p>\n      <p> 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      </p>\n    \n      <p>For more in
 formation, see\n        <a target="_blank" href="h
 ttp://iltp.de/ARQNL-2016/">http://iltp.de/ARQNL-20
 16/</a>\n      </p>\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