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/8306/25-
 --29-September-2017-26th-International-Conference-
 on-Automated-Reasoning-with-Analytic-Tableaux-and-
 Related-Methods-TABLEAUX-2017-Brasilia-Brazil
DTSTAMP:20170428T144645
SUMMARY:26th International Conference on Automated
  Reasoning with Analytic Tableaux and Related Meth
 ods (TABLEAUX 2017), Brasilia, Brazil
DTSTART;VALUE=DATE:20170925
DTEND;VALUE=DATE:20170929
LOCATION:Brasilia, Brazil
DESCRIPTION:TABLEAUX is the main international con
 ference at which research on all aspects, theoreti
 cal foundations, implementation techniques, system
 s development and applications, of the mechanizati
 on of tableau-based reasoning and related methods 
 is presented.  Tableau methods offer a convenient 
 and flexible set of tools for automated reasoning 
 in classical logic, extensions of classical logic,
  and a large number of non-classical logics. For l
 arge groups of logics, tableau methods can be gene
 rated automatically. Areas of application include 
 verification of software and computer systems, ded
 uctive databases, knowledge representation and its
  required inference engines, teaching, and system 
 diagnosis.  TABLEAUX 2017 will be co-located with 
 both the 11th International Symposium on Frontiers
  of Combining Systems (FroCoS 2017) and the 8th In
 ternational Conference on Interactive Theorem Prov
 ing (ITP 2017).  Submissions are invited in two ca
 tegories: Research papers (which describe original
  theoretical research, original algorithms, or app
 lications, with length up to 15 pages) and System 
 descriptions (with length up to 9 pages). We also 
 welcome papers describing applications of tableau 
 procedures to real world examples. Such papers sho
 uld be tailored to the tableau community and shoul
 d focus on the role of reasoning, and logical aspe
 cts of the solution. Deadline for Abstract Submiss
 ion: 18 Apr 2017.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>TABLEAUX 
 is the main international conference at which rese
 arch on all aspects, theoretical foundations, impl
 ementation techniques, systems development and app
 lications, of the mechanization of tableau-based r
 easoning and related methods is presented.</p>\n\n
   <p>Tableau methods offer a convenient and flexib
 le set of tools for automated reasoning in classic
 al logic, extensions of classical logic, and a lar
 ge number of non-classical logics. For large group
 s of logics, tableau methods can be generated auto
 matically. Areas of application include verificati
 on of software and computer systems, deductive dat
 abases, knowledge representation and its required 
 inference engines, teaching, and system diagnosis.
 </p>\n\n  <p>TABLEAUX 2017 will be co-located with
  both the 11th International Symposium on Frontier
 s of Combining Systems (FroCoS 2017) and the 8th I
 nternational Conference on Interactive Theorem Pro
 ving (ITP 2017).</p>\n</div><div>\n  <p>Submission
 s are invited in two categories: Research papers (
 which describe original theoretical research, orig
 inal algorithms, or applications, with length up t
 o 15 pages) and System descriptions (with length u
 p to 9 pages). We also welcome papers describing a
 pplications of tableau procedures to real world ex
 amples. Such papers should be tailored to the tabl
 eau community and should focus on the role of reas
 oning, and logical aspects of the solution. Deadli
 ne for Abstract Submission: 18 Apr 2017.</p>\n</di
 v>
URL:http://tableaux2017.cic.unb.br/
END:VEVENT
END:VCALENDAR