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/2019/newsitem/10822/25 ---26-August-2019-Automated-Reasoning-Challenges-A pplications-Directions-Exemplary-achievements-ARCA DE-2019-Natal-Brazil DTSTAMP:20190425T141855 SUMMARY:Automated Reasoning: Challenges, Applicati ons, Directions, Exemplary achievements (ARCADE 20 19), Natal, Brazil DTSTART;VALUE=DATE:20190825 DTEND;VALUE=DATE:20190826 LOCATION:Natal, Brazil 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, resol ution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), inter active theorem proving---to discuss the present, p ast, and future of the field. The intention is to provide an opportunity to discuss broad issues fac ing the community. The structure of the workshop w ill be informal. We invite extended abstracts in the form of non-technical position statements aime d at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage. At the event, contrib utions will be grouped into similar themes and aut hors will be invited to make their case within dis cussion panels. After the workshop, they will be w elcome to extend their abstracts for inclusion in an EPiC post-proceedings, taking into account the discussion. X-ALT-DESC;FMTTYPE=text/html:
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, theo ry-specific calculi (e.g. for description logic, a rithmetic, set theory), interactive theorem provin g---to discuss the present, past, and future of th e field. The intention is to provide an opportunit y to discuss broad issues facing the community. Th e structure of the workshop will be informal.
< /div>We invite extended abstracts in t he form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage. At the event, contribu tions will be grouped into similar themes and auth ors will be invited to make their case within disc ussion panels. After the workshop, they will be we lcome to extend their abstracts for inclusion in a n EPiC post-proceedings, taking into account the d iscussion.