"38th Days of Weak Arithmetics" 2019 Conference
City: New York
Abstr. due: 02.04.2019
Dates: 28.05.19 — 30.05.19
Area Of Sciences: Physics and math;
Organizing comittee e-mail: email@example.com
Organizers: City University of New York
Aim: Weak Arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms.
Previously JAF was held in Lyon (1990), Paris (1990), Clermont (1991), Paris (1991), Clermont (1992), Paris (1992), Clermont (1993, 1994), Fountainbleau (1994), Clermont (1995), Fountainbleau (1995), Paris (1996), Metz(1996), St. Petersburg (1997), Mons (1997), Warsaw (1998), Clermont (1999), New York (1999), Clermont (2000), Fountaibleau (2001), St. Petersburg (2002), Naples (2003), Yerevan (2004), Fountainbleau (2005), Clermont-Ferrand (2006), Sesvilla (2007), Athens (2008), Fountainbleau (2009), Warsaw (2010), Paris (2011), Samos (2012), Athens (2013), Göteborg (2014), New York (2015), Lisbon (2016), Saint Petersburg (2017), and Florence (2018).
Topics: Proofs in arithmetic with restricted system of axioms. Non-standard models of such systems. Decidability, undecidability, and complixity of arithmetical theories. Definability in arithmetic structures. Machines, automata and words related to arithmetic. Finite model theory, word structures.
Conference Web-Site: https://jaf2019nyc.com/
Similar conferences with close deadlines:
2019 7th International Conference on Mechanical, Automotive and Materials Engineering (CMAME 2019)Theses applying till 25.07.19, Melbourne
2019 International Conference on Functional Materials and Applied Technologies (FMAT 2019)Theses applying till 30.07.19, Nanjing
2019 6th International Conference on Mechatronics, Automation and Manufacturing (ICMAM 2019)Theses applying till 05.08.19, Bali