the scandinavian logic society

slideshow 1

Journées sur les Arithmétiques Faibles 33

16-18 June 2014, University of Gothenburg, Sweden

The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will
be held in Gothenburg, Sweden during 16-18 of June 2014.

SCOPE:

Provability and Definability in Arithmetics
Model Theory and Arithmetics
(Un)decidability of Arithmetics
Modelling computations on Logical Theories

INVITED SPEAKERS:

Lev Beklemishev (Steklov Institute)
Paola D'Aquino (Seconda Universitá di Napoli)
Costas Dimitracopoulos (University of Athens)
Fernando Ferreira (University of Lisbon)
Leszek Kołodziejczyk (University of Warsaw)
James Schmerl (University of Connecticut)
Keita Yokoyama (Japan Advanced Institute of Science And Technology)

TUTORIAL:

Feasible Analysis (Fernando Ferreira)

ORGANIZING COMMITTEE:

Chair: Ali Enayat (University of Gothenburg)
Rasmus Blanck (University of Gothenburg)
Patrick Cegielski (University Paris Est Créteil-IUT)
Andres Cordon-Franco (University of Seville)
Constantine Dimitracopoulos (University of Athens)
Fredrik Engström (University of Gothenburg)
Henri-Alex Esbelin (Blaise Pascal University)
Denis Richard (University Clermont1)
Konrad Zdanowski (Cardinal Stefan Wyszynski University in Warsaw)

SUBMISSIONS:

Abstracts of contributed talks, in PDF format, not exceeding one A4
(11pt) page, should be submitted by May 1, 2014 to: ali.enayat@gu.se
Abstracts should be typeset following the format of a LaTeX style file.

IMPORTANT DATES:

Submission of Contributed Talks Deadline: May 1, 2014
Notification of Acceptance: May 15, 2014
Final programme: May 22, 2014

LOCATION:

Department of Philosophy, Linguistics, and Theory Science, Olof
Wijksgatan 6, Gothenburg, Sweden

REGISTRATION:

There is no registration fee, but in order to register for the meeting
all participants (except the invited speakers) should contact
rasmus.blanck@gu.se.

FOR GENERAL INQUIRIES CONTACT:

ali.enayat@gu.se
fredrik.engstrom@gu.se
rasmus.blanck@gu.se

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.