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/2013/newsitem/5074/16-
 19-September-2013-Automated-Reasoning-with-Analyti
 c-Tableaux-and-Related-Methods-TABLEAUX-2013-Nancy
 -France
DTSTAMP:20130530T000000
SUMMARY:Automated Reasoning with Analytic Tableaux
  and Related Methods (TABLEAUX 2013), Nancy, Franc
 e
DTSTART;VALUE=DATE:20130916
DTEND;VALUE=DATE:20130919
LOCATION:Nancy, France
DESCRIPTION:This conference is the 22th in a serie
 s of international meetings on Automated Reasoning
  with Analytic Tableaux and Related Methods.   Tab
 leaux methods are a convenient formalism for autom
 ating deduction in various non-standard logics as 
 well as in classical logic. Areas of application i
 nclude verification of software and computer syste
 ms, deductive databases, knowledge representation 
 and its required inference engines, and system dia
 gnosis. The conference intends to bring together r
 esearchers interested in all aspects - theoretical
  foundations, implementation techniques, system de
 velopments and applications - of the mechanization
  of reasoning with tableaux and related methods.  
  For more information, see http://tableaux13.loria
 .fr/.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 This conference is the 22th in a series of interna
 tional\n        meetings on Automated Reasoning wi
 th Analytic Tableaux and\n        Related Methods.
 \n      </p>\n      <p>Tableaux methods are a conv
 enient formalism for automating\n      deduction i
 n various non-standard logics as well as in classi
 cal\n      logic. Areas of application include ver
 ification of software and\n      computer systems,
  deductive databases, knowledge representation\n  
     and its required inference engines, and system
  diagnosis. The\n      conference intends to bring
  together researchers interested in\n      all asp
 ects - theoretical foundations, implementation\n  
     techniques, system developments and applicatio
 ns - of the\n      mechanization of reasoning with
  tableaux and related methods.\n      </p>\n    \n
       <p>For more information, see <a target="_bla
 nk" href="http://tableaux13.loria.fr/">http://tabl
 eaux13.loria.fr/</a>.</p>\n    
URL:/NewsandEvents/Archives/2013/newsitem/5074/16-
 19-September-2013-Automated-Reasoning-with-Analyti
 c-Tableaux-and-Related-Methods-TABLEAUX-2013-Nancy
 -France
END:VEVENT
END:VCALENDAR