• Official Dinner

      The official dinner will take place in the evening of Tuesday, June 25, at the fish tavern...

  • Acropolis Museum

      The organizers are planning a visit to the Acropolis Museum on Tuesday, June 25, from 10.00...

[ + ] more


  • new poster

  • Accommodation

      The organizers have reserved a small number of rooms at the nearby studentdormitory. Stay at one...

  • Abstract Submission

      Abstracts of contributed papers should be submitted by May 12. Authors will be notified about...

[ + ] more

Welcome to JAF32



32ème Journées sur les Arithmétiques Faibles   -   32nd Weak Arithmetics Days


June 24 - 26, 2013   -   Athens, Greece


JAF32 is co-organized by

  • the Department of Philosophy and History of Science of the University of Athens and
  • the Department of Mathematics of the University of the Aegean.



  The meeting concerns all traditional topics of the JAF conference series, including 

  • Provability and Definability in Weak Arithmetics
  • Model Theory and Weak Arithmetics
  • (Un)decidability of Weak Arithmetics