The 25th Weak Arithmetics Days (JAF25) and the Complexity, Finite Models and Data Bases Workshop 2006 (CMFBD2006) will be organized by the LAIC (Algorithmic and Computers Laboratory of Clermont-Fd) of the IUT  (Institute of Technology) of the University of Clermont 1.
Financial support: GdR ALP du CNRS, Conseil Régional d'Auvergne , Conseil général du Puy-de-Dôme , Clermont Communauté , Ville de Clermont-Ferrand.

DATES: June 19th (Monday) - June 21st (Wednesday), 2006.

VENUE: IUT (Institute of Technology) Main Building, Campus des Cézeaux (Aubière) in Clermont-Ferrand, France (campus map).

MAIN TOPICS:
The JAF meeting will cover traditional topics of the "Days" such as:

• Provability in weak arithmetics
• Definability in weak arithmetics
• Weak arithmetics and model theory
• Decidability/undecidability of weak logical theories
• Modelling computations in the frameworks of weak arithmetics

For more information on Weak Arithmetics visit www.univ-paris12.fr/lacl/jaf/html/wa.html.

The CMFBD Workshop will focus on Finite Model Theory and its applications. Suggested topics of interest include databases, complexity, constraint satisfaction, program verification, formal games, ...
For information on previous sessions visit www.univ-paris12.fr/lacl/durand/cmf2005.html

WORKING LANGUAGE: The official language of JAF is English. The official languages of CMFBD are French and English.