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.