Logic List Mailing Archive

JAF 30: 30th Weak Arithmetic Days

20-22 June 2011
Paris, France

Call for Participation: First Announcement

*****************************************************
                     JAF 30
30 emes Journees sur les Arithmetiques Faibles
         (30 th Weak Arithmetics Days)

                 Paris, France
                June 20-22, 2011

http://jaf30.logique.jussieu.fr/


The third day of JAF 30 will be a common day with the French Journes
Complexit et
Modles Finis organized by the GDR IM:

http://www.up2.fr/cmf/

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

organized by

quipe de Logique Mathmatique
Universit Paris Diderot Paris 7


JAF topics:
-----------

    provability in weak arithmetics,
    definability in weak arithmetics,
    weak arithmetics and model theory,
    undecidability/decidability/complexity of weak theories,
    modelling computations in logical theories
    et al.


Invited speakers:
-----------------

Zofia Adamowicz (Warsaw)

Jacques Duparc (Lausanne)

Jan Krajicek (Pragues)

Leszek Kolodziejczyk  (Warsaw)

Shahram Mohsenipour (Tehran)

Damian Niwinski  (Warsaw)

Pavel Pudlak (Pragues)

Konrad Zdanowski  (Warsaw)



Steering Committee:
-------------------

    Patrick Cegielski (University Paris 12)
    Andres Cordon-Franco (University of Seville)
    Constantine Dimitracopoulos (University of Athens)
    Alex Esbelin (University Clermont 1)
    Jean-Pierre Ressayre (CNRS - University of Paris 7)

Programme Committee:
-------------------

    Sedki Boughattas  (University of Paris 7)
    Patrick Cegielski (University Paris 12)
    Andres Cordon-Franco (University of Seville)
    Olivier Finkel  (CNRS - University of Paris 7)
    Constantine Dimitracopoulos (University of Athens)
    Alex Esbelin (University Clermont 1)
    Jean-Pierre Ressayre (CNRS - University of Paris 7)



Local Organizing Committee:
---------------------------

   Sedki Boughattas  : bougatas@logique.jussieu.fr
   Arnaud Durand : durand@logique.jussieu.fr
   Olivier Finkel : finkel@logique.jussieu.fr
   Marie hlene Mourgues : mhm@logique.jussieu.fr
   Catherine Muhlrad-Greif : greif@logique.jussieu.fr
   Jean-Pierre Ressayre : ressayre@logique.jussieu.fr



Registration and submission:
----------------------------

In order to register for the meeting, please send an e-mail with your 
name, affiliation, address and e-mail to Sedki Boughattas 
(bougatas@logique.jussieu.fr) and to Olivier Finkel 
(finkel@logique.jussieu.fr) before *May 10, 2011*. There is no 
registration fee.

If you would like to give a contributed talk, please also send a short 
abstract before *April 10, 2011*.


--------------------------------
For further information please contact the organizing committee.