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/2022/newsitem/13423/11
 ---12-August-2022-8th-Workshop-on-Practical-Aspect
 s-of-Automated-Reasoning-PAAR-2022-Haifa-Israel
DTSTAMP:20220217T180157
SUMMARY:8th Workshop on Practical Aspects of Autom
 ated Reasoning (PAAR 2022), Haifa, Israel
DTSTART;VALUE=DATE:20220811
DTEND;VALUE=DATE:20220812
LOCATION:Haifa, Israel
DESCRIPTION:The automation of logical reasoning is
  a challenge that has been studied intensively in 
 fields including mathematics, philosophy, and comp
 uter science. PAAR is the workshop on turning this
  theory into practice: how can automated reasoning
  tools be built that work and are useful in applic
 ations. PAAR covers all aspects of this challenge:
  which theories, logics, or fragments are well-beh
 aved in practice, and connect well to application 
 domains? which reasoning tasks are tractable and u
 seful? which algorithms are able to solve real-wor
 ld instances? how should automated reasoning tools
  be designed, implemented, tested, and evaluated? 
 The goal of PAAR is to bring together theoretician
 s, tool developers, and users, to concentrate on t
 he practical aspects of automated reasoning.  PAAR
  2022 will be co-located with FLoC/IJCAR 2022 and 
 host the meeting of the working group on Automated
  Theorem Provers of the EuroProofNet COST action. 
  The workshop welcomes high-quality contributions 
 of any kind, including new research results, prese
 ntation of work in progress, presentation of  Rese
 archers interested in participating are invited to
  submit either an extended abstract (up to 8 pages
 ) or a regular paper (up to 15 pages), excluding r
 eferences, via EasyChair. Short submissions that c
 ould stimulate fruitful discussion at the workshop
  are particularly welcome. Submissions should be p
 repared in LaTeX using the EasyChair proceedings s
 tyle. Topics: automated reasoning, implementation,
  tools.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The autom
 ation of logical reasoning is a challenge that has
  been studied intensively in fields including math
 ematics, philosophy, and computer science. PAAR is
  the workshop on turning this theory into practice
 : how can automated reasoning tools be built that 
 work and are useful in applications. PAAR covers a
 ll aspects of this challenge: which theories, logi
 cs, or fragments are well-behaved in practice, and
  connect well to application domains? which reason
 ing tasks are tractable and useful? which algorith
 ms are able to solve real-world instances? how sho
 uld automated reasoning tools be designed, impleme
 nted, tested, and evaluated? The goal of PAAR is t
 o bring together theoreticians, tool developers, a
 nd users, to concentrate on the practical aspects 
 of automated reasoning.</p>\n\n  <p>PAAR 2022 will
  be co-located with FLoC/IJCAR 2022 and host the m
 eeting of the working group on Automated Theorem P
 rovers of the EuroProofNet COST action.</p>\n</div
 ><div>\n  <p>The workshop welcomes high-quality co
 ntributions of any kind, including new research re
 sults, presentation of work in progress, presentat
 ion of&nbsp; Researchers interested in participati
 ng are invited to submit either an extended abstra
 ct (up to 8 pages) or a regular paper (up to 15 pa
 ges), excluding references, via EasyChair. Short s
 ubmissions that could stimulate fruitful discussio
 n at the workshop are particularly welcome. Submis
 sions should be prepared in LaTeX using the EasyCh
 air proceedings style. Topics: automated reasoning
 , implementation, tools.</p>\n</div>
URL:https://paar2022.github.io/
END:VEVENT
END:VCALENDAR