Dates: 6-7 June 2016
Venue: Departamento de Matemática, Faculdade de Ciências da Universidade de Lisboa, Campo Grande, Ed. C6 (room 6.2.33), 1749-016, Lisboa, Portugal. [https://ciencias.ulisboa.pt/]
The 35th meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Universidade de Lisboa, Portugal, 6-7 June 2016. This annual meeting aims at bringing together mathematicians, computer scientists and other researchers with interest in weak arithmetics.
The meeting will cover the traditional topics of the JAF conference series:
Provability in Weak Arithmetics
Definability in Weak Arithmetics
(Un)decidability and Complexity of Weak Logical Theories
Model Theory and Weak Arithmetics
Modelling Computations on Weak Logical Theories.
For more information on Weak Arithmetics and previous JAF editions visit: http://www.lacl.fr/jaf/
Working language: The official language of JAF is English.
No fees required.
We thank the support of our sponsors: