cropped-New_York_Midtown_Skyline_at_night_-_Jan_2006_edit1Journées sur les Arithmétiques Faibles

Weak Arithmetics Days

JAF 38

May 28-30 2019, The Graduate Center

City University of New York

Call for Participation

 

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.

 

Invited Speakers:  Gabriel Conant (Notre Dame), Dzmir Dzhafarov (University of Connecticut), Matt Kaufmann (University of Texas), Russell Miller (CUNY), Arseniy Sheydvasser (CUNY).

 

Paper Submission:  Authors are invited to send an abstract not exceeding three pages in electronic submission in the form of a pdf file to be sent to cegielski@u-pec.fr.  Submissions are to be received before April 2, 2019. Authors will be notified of acceptance before May 2, 2019.

Support for the Meeting: 

  • IUT de Sénart-Fontainbleauand
  • LACL (Labatoire d’Algorithmique, Complexité et Logique),
  • National Science Foundation.

Steering Program Committee:

  • Patrick Cégielski (Paris XII)
  • Andrés Córdon-Franco (Seville)
  • Ali Enayat (Göteborg)
  • Costas Dimitracopoulos (Athens)
  • Alex Esbelin (Clermont-Ferrand)
  • Neil Thapen (Prague).

Local Organizing Committee: 

  • Alfred Dolich (GC CUNY)
  • Roman Kossak (GC CUNY).

Contact:

  • Patrick Cégielski — cegielski@u-pic.fr
  • Alfred Dolich — alfredo.dolich@kbcc.cuny.edu
  • Roman Kossak — rkossak@gc.cuny.edu

Contributed Papers:

  • Submission April 2, 2019
  • Notification May 2, 2019

 

 

 

 

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s