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/2014/newsitem/5644/23-
 July-2014-Automated-Reasoning-in-Quantified-Non-Cl
 assical-Logics-ARQNL-2014-Vienna-Austria
DTSTAMP:20140327T000000
SUMMARY:Automated Reasoning in Quantified Non-Clas
 sical  Logics (ARQNL 2014), Vienna, Austria
DTSTART;VALUE=DATE:20140723
DTEND;VALUE=DATE:20140723
LOCATION:Vienna, Austria
DESCRIPTION:The ARQNL workshop aims at fostering t
 he development of proof calculi, ATP systems and m
 odel finders for all sorts of quantified non-class
 ical logics. The workshop will provide a forum for
  researchers to present and discuss recent develop
 ments in this area. In particular, we are interest
 ed in all sorts of applications and problem formal
 izations that use a quantified non-classical logic
 . A particular emphasis of the first edition of th
 e ARQNL workshop will be on quantified modal logic
 s.    For further information see the workshop web
  page at http://vsl2014.at/arqnl/.    We welcome c
 ontributions from computer scientists, linguists, 
 philosophers, and mathematicians. These contributi
 ons may range from theory to system descriptions a
 nd implementations; they may also outline relevant
  applications and describe example problems and be
 nchmarks. Research papers (up to 15 pages), short 
 papers, talk abstracts, and system demonstrations 
 (up to 5 pages) are solicited. The submission dead
 line is April 28th.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The ARQNL workshop aims at fostering the deve
 lopment of proof\n        calculi, ATP systems and
  model finders for all sorts of\n        quantifie
 d non-classical logics. The workshop will provide 
 a\n        forum for researchers to present and di
 scuss recent\n        developments in this area.  
 In particular, we are interested\n        in all s
 orts of applications and problem formalizations th
 at\n        use a quantified non-classical logic. 
 A particular emphasis of\n        the first editio
 n of the ARQNL workshop will be on quantified\n   
      modal logics.\n      </p>\n    \n      \n    
   <p>\n        For further information see the wor
 kshop web page at\n        <a target="_blank" href
 ="http://vsl2014.at/arqnl/">http://vsl2014.at/arqn
 l/</a>.\n      </p>\n    </div><div>\n      <p>\n 
        We welcome contributions from computer scie
 ntists, linguists,\n        philosophers, and math
 ematicians.  These contributions may\n        rang
 e from theory to system descriptions and implement
 ations; they may\n        also outline relevant ap
 plications and describe example problems and\n    
     benchmarks. \n        Research papers (up to 1
 5 pages), short papers, talk abstracts, and\n     
    system demonstrations (up to 5 pages) are solic
 ited. The submission\n        deadline is April 28
 th.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2014/newsitem/5644/23-
 July-2014-Automated-Reasoning-in-Quantified-Non-Cl
 assical-Logics-ARQNL-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR