[FOM] JAF26 Second Announcement

[Félix Lara]

(  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 at 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 at 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 at us.es

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



With best regards,

F.Felix Lara-Martin