Journées sur les Arithmétiques Faibles 35

Submitted by gmferreira@fc.ul.pt on Mon, 12/07/2015 - 16:29
Lisbon photo

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:

FCT Logo (Sponsor)                CMAF CIO Logo

                                                                                             project: UID/MAT/04561/2013