Proceedings

Starting in 1995, the proceedings have been published in Springer’s LNCS/LNAI series.

• TABLEAUX 2023: Ramanayake, R.; Urban J. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 14278, 2023. ISBN 978-3-031-43512-6.
• IJCAR 2022: Blanchette, J.; Kovács, L.; Pattinson, D. (Eds.): Automated Reasoning. LNCS 13385, 2022. ISBN 978-3-031-10768-9.
• TABLEAUX 2021: Das, A.; Negri, S. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 12842, 2021. ISBN 978-3-030-86059-2.
• IJCAR 2020: Peltier, N.; Sofronie-Stokkermans, V. (Eds.): Automated Reasoning. LNCS 12166, 2020. ISBN 978-3-030-51074-9.
• TABLEAUX 2019: Cerrito, S.; Popescu, A. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 11714, 2019. ISBN 978-3-030-29025-2.
• IJCAR 2018: Galmiche, D.; Schulz, S.; Sebastiani, R. (Eds.): Automated Reasoning. LNCS 10900, 2018. ISBN 978-3-319-94204-9.
• TABLEAUX 2017: Schmidt, R.; Nalon, C. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 10501, 2017. ISBN 978-3-319-66901-4.
• IJCAR 2016: Olivetti, N.; Tiwari, A. (Eds.): Automated Reasoning. LNCS 9706, 2016. ISBN 978-3-319-40228-4.
• TABLEAUX 2015: De Nivelle, H. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 9323, 2015. ISBN 978-3-319-24311-5.
• IJCAR 2014: Demri, S.; Kapur, D., Weidenbach, C. (Eds.): Automated Reasoning. LNCS 8562, 2014. ISBN 978-3-319-08586-9.
• TABLEAUX 2013: Galmiche, D.; Larchey-Wendling, D. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 8123, 2013. ISBN 978-3-642-40536-5.
• IJCAR 2012: Gramlich, B.; Miller, D.; Sattler, U. (Eds.): Automated Reasoning. LNCS 7364, 2012. ISBN 978-3-642-31364-6.
• TABLEAUX 2011: Brünnler, K; Metcalfe, G. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 6793, 2011. ISBN 978-3-642-22118-7.
• IJCAR 2010: Giesl, J.; Hähnle, R. (Eds.): Automated Reasoning. LNCS 6173, 2010. ISBN 978-3-642-14202-4.
• TABLEAUX 2009: Giese, M.; Waaler, A. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 5607, 2009. ISBN 978-3-642-02715-4.
• IJCAR 2008: Armando, A.; Baumgartner, B.; Dowek, D. (Eds.): Automated Reasoning. LNCS 5195, 2008. ISBN 3-540-71069-8.
• TABLEAUX 2007: Olivetti, N. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 4548, 2007. ISBN 978-3-540-73098-9.
• IJCAR 2006: Furbach, U.; Shankar, N. (Eds.): Automated Reasoning. LNCS 4130, 2006. ISBN 3-540-37187-7.
• TABLEAUX 2005: Beckert, B. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 3702, 2005. ISBN 3-540-28931-3.
• IJCAR 2004: Basin, D.; Rusinowitch, M. (Eds.): Automated Reasoning. LNCS 3097, 2004. ISBN 3-540-22345-2.
• TABLEAUX 2003: Cialdea Mayer, M.; Pirri, F. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 2796, 2003. ISBN 3-540-40787-1.
• TABLEAUX 2002: Egly, U.; Fernmüller, C. G. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 2381, 2002. ISBN 3-540-43929-3.
• IJCAR 2001: Gore, R.; Leitsch, A.; Nipkow, T. (Eds.): Automated Reasoning. LNCS 2083, 2001. ISBN 3-540-42254-4.
• TABLEAUX 2000: Dyckhoff, R. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1847, 2000. ISBN 3-540-67697-X.
• TABLEAUX '99: Murray, N. V. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1617, 1999. ISBN 3-540-66086-0.
• TABLEAUX '98: Swart, H. de (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1397, 1998. ISBN 3-540-64406-7.
• TABLEAUX '97: Galmiche, D. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1227, 1997. ISBN 3-540-62920-3.
• TABLEAUX '96: Miglioli, P.; Moscato, U.; Mundici, D.; Ornaghi, M. (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1071, 1996. ISBN 3-540-61208-4.
• TABLEAUX '95: Baumgartner, P.; Hähnle, R.; Posegga, J. (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 918, 1995. ISBN 3-540-59338-1.
• TABLEAUX '94: Broda, K.; D'Agostino, M.; Gore, R.; Johnson, R.; Reeves, S. (Eds.): Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Technical Report TR-94/5, Imperial College, London, 1994.
• TABLEAUX '93: Basin, D.; Hähnle, R.; Fronhöfer, B; Posegga, J., Schwind, C. (Eds.): Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Technical Report MPI-I-92-213, Max-Planck-Institut für Informatik, Saarbrücken, 1993.
• TABLEAUX '92: Fronhöfer; B., Hähnle, R.; Käufl, T. (Eds.): Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Interner Bericht 8/92, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, 1992.