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:<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, 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.</p>\
 n</div><div>\n  <p>We invite extended abstracts in
  the form of non-technical position statements aim
 ed at prompting lively discussion. The title of th
 e workshop is indicative of the kind of discussion
 s we would like to encourage. At the event, contri
 butions will be grouped into similar themes and au
 thors will be invited to make their case within di
 scussion panels. After the workshop, they will be 
 welcome to extend their abstracts for inclusion in
  an EPiC post-proceedings, taking into account the
  discussion.</p>\n</div>
URL:http://arcade2019.net/
END:VEVENT
END:VCALENDAR