Giralda Tower-Seville

26ème Journées sur les Arithmétiques Faibles
(26th Weak Arithmetics Days)

June 11-13, 2007
Seville, Spain


The 26th Weak Arithmetics Days (JAF26) will be co-organized by the Mathematical Logic group of CCIA (Department of Computer Sciencie and Artificial Intelligence) of the University of Seville , and LAIC (Algorithmic and Image Laboratory) of the IUT (Institute of Technology) of the University of Clermont 1 .

DATES: June 11th (Monday) - June 13th (Wednesday), 2007.

VENUE: Module L2 of the Escuela Técnica Superior de Ingeniería Informática(ETSII), "Reina Mercedes Campus" of the University of Seville, in Reina Mercedes Avenue, Seville, Spain (campus map).

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

For more information on Weak Arithmetics visit

WORKING LANGUAGE: The official language of JAF is English.

Home | Programme | Speakers | Steering C. | Organizing C. | Registration | Submission | Accommodation | Travel Info | Contact