Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

16-18 June 2014, Journées sur les Arithmétiques Faibles 33 (JAF33), University of Gothenburg, Sweden

Date: 16-18 June 2014
Location: 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. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:

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

Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to:

For more information, see http://flov.gu.se/english/research/logic/jaf33 or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.