20-22 June 2011
Paris, France
******* Apologies for multiple copies **************
Call for Participation: Fourth Announcement
Extended deadline for contributed talks : April 30, 2011
*****************************************************
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.liafa.jussieu.fr/~sperifel/cmf2011/main.php
*****************************************************
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)
Leszek Kolodziejczyk (Warsaw)
Shahram Mohsenipour (Tehran)
Damian Niwinski (Warsaw)
Pavel Pudlak (Pragues)
Konrad Zdanowski (Warsaw)
Steering Committee:
-------------------
Patrick Cegielski (University Paris Est-Crteil)
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 Est-Crteil)
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 30, 2011*.
--------------------------------
For further information please contact the organizing committee.