June 2-5, 2004 Yerevan, Armenia
Jaf23 Main Page
Conference Program
Call for Papers
Dates
Submitted papers
Registration
Expenses
Organizers
About Armenia
Hotels
Institute for Informatics and Automation Problem of NAS RA
Jaf23 Main Page
Main topics
provability in weak arithmetics
definability in weak arithmetics
weak arithmetics and model theory
decidability/undecidability of weak logical theories
modeling computations in the frameworks of weak arithmetic’s
Previous Days
About Weak Arithmetics
Information about other Days of Weak Arithmetics could be taken from
Paris
and from
Clermont
The conference will be held at the
Institute for Informatics and Automation Problems of NAS RA
Copyright © 2003 ipia.sci.am Yerevan, RA. Email:
webmaster
June 2-5, 2004 Yerevan, ArmeniaJune 2-5, 2004 Yerevan, Armenia