Istituto Italiano per gli Studi Filosofici - Naples - Italy
June 11-14, 2003

ADAMOWICZ Zofia - (Institute of Mathematics Polish Academy of Sciences, Warsaw) A new approach to bounded arithmetic (joint work with and Leszek KOLODZIEJCZYK) long version published in proceedings

CÉGIELSKI Patrick - (Université Paris 12) On the additive theory of prime numbers (joint work with Denis RICHARD and Maxim VSEMIRNOV) published paper - version for The Journal of Symbolic Logic lost by editors

CORDÓN FRANCO Andrés - (University of Sevilla, Spain) Provably total primitive recursive functions (joint work with Alejandro FERNÁNDEZ & Francisco Félix LARA MARTÍN)

DIMITRACOPOULOS Costas - (University of Athens) Necessary and sufficient conditions for end extending models (joint work with Charalampos CORNAROS)

DUPARC Jacques - (LuFG Mathematische Grundlagen der Informatik, RWTH Aachen, Germany) Solving Pushdown Games with Winning Conditions Beyond the Boolean Closure of &Sigma02-Sets (joint work with T. CACHAT and Wolfgang THOMAS)

ESBELIN Henri-Alex - (LLAIC1, IUT d'Aubière, Université de Clermont 1, France) Complexity of infinite series

KNIGHT Julia F. - (University of Notre Dame, USA) Coding in fragments of arithmetic (joint work with Paola D'AQUINO)

LYALETSKI Alexander - (Faculty of Cybernetics, Kyiv National Taras University, Kiev, Ukraine) On verification of mathematical texts in the System for Automated Deduction, SAD (joint work with Konstantin VERCHININE & Andrey PASKEVICH)

OMODEO Eugenio G. - (Universita` dell'Aquila, Dipartimento di Informatica) A pairing device for non-classic logics (joint work with Alberto POLICRITI) long version in published procedings

RESSAYRE Jean-Pierre - (Équipe de Logique Mathématique, CNRS et Université Paris 7) On infinite real trace rational languages of maximum topological complexity (joint work with Olivier FINKEL & Pierre SIMONNET)

SHAKHBAZYAN Karine & SHOUKOURIAN Yuri - (Institute for Informatics and Automation Problems, National Academy of Sciences of Armenia, Yerevan) EMSO-logic and automata related to homogeneous flow event structures long version published in proceedings

VSEMIRNOV Maxim - (Sidney Sussex College, Cambridge University) Mn-wise independent permutations: exact constructions and lower bounds (joint work with Victor BARGACHEV)

WOODS Alan - (School of Mathematics and Statistics, University of Western Australia) Logical limit laws for ordinal numbers

ZASLAVSKY Igor D. - (Institute for Informatics and Automation Problems of the National Academy of Science of Armenia and Yerevan State University) Primitive recursive arithmetic containing not everywhere defined functions long version in published proceedings

ZDANOWSKI Konrad - (University of Warsaw, University of Johannes Gutenberg in Mainz) Logical properties of arithmetics of finite models

ZDANOWSKI Konrad - (University of Warsaw, University of Johannes Gutenberg in Mainz) The complexity of the set of true Δ0 sentences