Logic List Mailing Archive

26eme Journees sur les Arithmetiques Faibles (JAF26), Seville (Spain), 11-13 Jun 2007

(  26eme Journees sur les Arithmetiques Faibles (JAF26)
               (26th Weak Arithmetics Days)

              June 11-13, 2007, Seville, Spain

               http://www.cs.us.es/glm/jaf26/

**********************************************************************

Co-organized by the Mathematical Logic Group of the Department of
Computer Science and AI of the University of Seville, Spain; and
LAIC, Laboratoire de Algorithmique et Informatique de
Clermont-Ferrand, IUT d'Aubiere, Universite de Clermont1, France

JAF TOPICS:

provability in weak arithmetics; definability in weak arithmetics;
weak arithmetics and model theory; decidability/undecidability of
weak logical theories; modeling computations in the frameworks of
weak arithmetics; ...

for further information on weak arithmetics, see
http://www.univ-paris12.fr/lacl/jaf/

INVITED SPEAKERS

Lev Beklemishev (Moscow), Sedki Boughattas (Paris), Fernando Ferreira (Lisbon),
Jan Krajicek (Prague), Marcin Mostowski (Warsaw), Pavel Pudlak (Prague).

TUTORIAL

Alexandre Rambaud (Mons): O-minimality.

ABSTRACT SUBMISSION

In order to submit an abstract for a contributed talk, please send an e-mail to

       acordon@us.es (Dr. A. Cordon-Franco)

   * Submission Deadline: April 22, 2007 (Sunday).
   * Notification of Acceptance: May 15, 2007.

The e-mail should contain the following information:

   * Subject line: JAF26 submission
   * Email text: abstract title, list of authors and affiliations,
                      contact e-mail for the corresponding author.
   * The abstract attached to the e-mail as a pdf file.

REGISTRATION

In order to register for JAF26, please send an e-mail to

       fflara@us.es (Prof. F.F. Lara-Martin)

   * Registration Deadline: May 18, 2007 (Friday).
   * Registration Fee: Registration is free of charge for all participants.

The e-mail should contain the following information:

   * Subject line: JAF26 registration
   * E-mail text: Family name, First name(s), Affiliation and Position,
                      City, Country, (official)Address, contact e-mail.

GRANTS

We  expect to be able to offer a (small) number of grants for
covering accommodation
and travel expenses of (mainly) young researchers. Detailed
information will appear on
the conference web page in due time.

WEB PAGE

    http://www.cs.us.es/glm/jaf26/

IMPORTANT DATES

Abstract submission deadline: April 22, 2007
Registration deadline: May 18, 2007



STEERING COMMITTEE

Patrick Cegielsk  (University of Paris 12)
Andres Cordon-Franco  (University of Seville)
Jean-Pierre Ressayre   (CNRS - University of Paris 7)
Denis Richard (University of Clermont 1)

LOCAL ORGANIZING COMMITTEE

Andres Cordon-Franco (University of Seville)
Alex Esbelin (University of Clermont 1)
Alejandro Fernandez-Margarit (University of Seville)
F.Felix Lara-Martin (University of Seville, chair)



***********************************************

Further information and contact: F.Felix Lara-Martin, fflara@us.es

***********************************************