This conference was organized with the scientific cooperation and financial support of LLAIC1 (Laboratoire de Logique, Algorithmique et Informatique de l'Université d'Auvergne Clermont 1).
The conference was also supported by Russian Foundation for Basic Research (grant No. 97-01-10022)

Permanent Committee.

Program Committee.

Organizing Committee.

Programme of 14th Days of Weak Arithmetics. (Abstracts of some talks are also available here.)

• 13th Days of Weak Arithmetics were held in Metz (France) from December 12 to December 13, 1996.
• 15th Days of Weak Arithmetics were held in Mons (Belgium) from December 11 to December 12, 1997.
• 16th Days of Weak Arithmetics were held in Warsaw (Poland) from May 25 to May 27, 1998.

Back to the laboratory of mathematical logic