Events

  • 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

News

  • 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.

 

Topics

  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

 

Sponsors