Proceedings of JAF (Journées sur les Arithmétiques Faibles)

Abstracts, slides, and local proceedings are refered for each issue when there exists. Sometimes a special issue of a review or a book are edited with original papers, definitive version of talks given to several issues:

  • MARGENSTERN, Maurice, Actes des JAF 13 : Journées sur les arithmétiques faibles, IUT de Metz, 1997, ISBN 978-2-9511539-0-5.

  • BOFFA Maurice & Véronique BRUYÈRE, éditeurs, Actes des JAF15 (Quinzièmes Journées sur les Arithmétiques Faibles, 11-12 décembre 1997), Université de Mons-Hainaut (1998), 114 p.

  • MARGENSTERN, Maurice, Patrick CÉGIELSKI, Jean-Pierre RESSAYRE, & Denis RICHARD, Theoretical Computer Science, vol. 257, issues 1-2, April 2001, pp. 1-254.

  • Patrick CÉGIELSKI & Malika MORE, Theoretical Computer Science - B, vol. 322, Issue 1, August 2004, 230 p.

  • Patrick CÉGIELSKI, ed., Studies in Weak Arithmetics, CSLI Publications, Stanford, Lecture Notes 196, 2010, vii + 213 p.

  • Patrick CÉGIELSKI, Charalampos CORNAROS, & Costas DIMITRACOPOULOS, ed., New Studies in Weak Arithmetics, CSLI Publications, Stanford, Lecture Notes 211, 2013, xiv + 448 p.

  • Patrick CÉGIELSKI, Ali ENAYAT, & Roman KOSSAK, ed., Studies in Weak Arithmetics - Volume 3, CSLI Publications, Stanford, Lecture Notes 217, 2016, x + 241 p.

  • Andreas BLASS, Patrick CÉGIELSKI, Nachum DERSHOWITZ, Manfred DROSTE, and Bernd FINKBEINER, Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Springer, Lecture Notes in Computer Science 12 180, 2020, IX + 343 p.