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/2017/newsitem/8188/25-
 --29-September-2017-Call-for-Workshops-Tutorials-T
 ABLEAUX-FroCoS-ITP-Brasilia-Brazil-
DTSTAMP:20160920T142436
SUMMARY:Call for Workshops & Tutorials: TABLEAUX, 
 FroCoS, ITP, Brasilia (Brazil)
DTSTART;VALUE=DATE:20170925
DTEND;VALUE=DATE:20170929
LOCATION:Brasilia (Brazil)
DESCRIPTION:Three of the main conferences on autom
 ated reasoning -- TABLEAUX, FroCoS, and ITP - will
  be held in Brasilia, Brazil, between 25 and 29 Se
 ptember 2017. Following the long tradition of thos
 e events, we invite researchers and practitioners 
 to submit proposals for co-located workshops and i
 n-depth tutorials on topics relating to automated 
 theorem proving and its applications. Workshops/tu
 torials can target the automated reasoning communi
 ty in general, focus on a particular theorem provi
 ng system, or highlight more specific issues or re
 cent developments.  Proposals are invited to be su
 bmitted by email no later than 9 December 2016.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Three of the m
 ain conferences on automated reasoning -- TABLEAUX
 , FroCoS, and ITP - will be held in Brasilia, Braz
 il, between 25 and 29 September 2017. Following th
 e long tradition of those events, we invite resear
 chers and practitioners to submit proposals for co
 -located workshops and in-depth tutorials on topic
 s relating to automated theorem proving and its ap
 plications. Workshops/tutorials can target the aut
 omated reasoning community in general, focus on a 
 particular theorem proving system, or highlight mo
 re specific issues or recent developments.</p>\n\n
   <p>Proposals are invited to be submitted by emai
 l no later than 9 December 2016.</p>\n
URL:http://tableaux2017.cic.unb.br/#cfw
CONTACT:nalon at unb.br
END:VEVENT
END:VCALENDAR