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/2021/newsitem/12588/16
 -July-2021-The-Third-International-ARCADE-Automate
 d-Reasoning-Challenges-Applications-Directions-Exe
 mplary-Achievements-Workshop-Virtual
DTSTAMP:20210321T174325
SUMMARY:The Third International ARCADE (Automated 
 Reasoning: Challenges, Applications, Directions, E
 xemplary Achievements) Workshop, Virtual
DTSTART;VALUE=DATE:20210716
DTEND;VALUE=DATE:20210716
LOCATION:Virtual
DESCRIPTION:The main goal of this workshop is to b
 ring together key people from various subcommuniti
 es of automated reasoning -such as SAT/SMT, resolu
 tion, tableaux, theory-specific calculi (e.g. for 
 description logic, arithmetic, set theory), intera
 ctive theorem proving - to discuss the present, pa
 st, and future of the field. The intention is to p
 rovide an opportunity to discuss broad issues faci
 ng the community. What are the current challenges,
  applications, directions, or exemplary achievemen
 ts of Automated Reasoning?  The structure of the w
 orkshop will be informal. At the event, contributi
 ons will be grouped into similar themes and author
 s will be invited to make their case within discus
 sion panels. After the workshop, they will be welc
 ome to extend their abstracts for inclusion in pos
 t-proceedings (EPiC or similar), taking into accou
 nt the discussion.  We invite extended abstracts (
 2-4 pages, using the EasyChair class style) in the
  form of non-technical position statements aimed a
 t prompting lively discussion. The title of the wo
 rkshop is indicative of the kind of discussions we
  would like to encourage.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The main 
 goal of this workshop is to bring together key peo
 ple from various subcommunities of automated reaso
 ning -such as SAT/SMT, resolution, tableaux, theor
 y-specific calculi (e.g. for description logic, ar
 ithmetic, set theory), interactive theorem proving
  - to discuss the present, past, and future of the
  field. The intention is to provide an opportunity
  to discuss broad issues facing the community. Wha
 t are the current challenges, applications, direct
 ions, or exemplary achievements of Automated Reaso
 ning?</p>\n\n  <p>The structure of the workshop wi
 ll be informal. At the event, contributions will b
 e grouped into similar themes and authors will be 
 invited to make their case within discussion panel
 s. After the workshop, they will be welcome to ext
 end their abstracts for inclusion in post-proceedi
 ngs (EPiC or similar), taking into account the dis
 cussion.</p>\n</div><div>\n  <p>We invite extended
  abstracts (2-4 pages, using the EasyChair class s
 tyle) in the form of non-technical position statem
 ents aimed at prompting lively discussion. The tit
 le of the workshop is indicative of the kind of di
 scussions we would like to encourage.</p>\n</div>
URL:http://arcade2021.net/
END:VEVENT
END:VCALENDAR