Universiteit van Amsterdam


Institute for Logic, Language and Computation

5 - 7 June 2017, 36th meeting of JAF (Journées sur les Arithmétiques Faibles), St. Petersburg, Russia

Date: 5 - 7 June 2017
Location: St. Petersburg, Russia
Deadline: Monday 1 May 2017

Scope: Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories.

This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday, and one conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbet's Tenth Problem and its generalizations, undecidability).

If you want to present a talk, please send us the title and a short (not longer than one page) abstract. Abstracts of contributed talks, in PDF and LaTeX format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2017.