#################################### #################################### ## ## ## ###### # ##### # ##### ## ## # # # # ## # # ## ## # # # # # # # # ## ## # # # # # # # # ## ## # ##### #### # ##### ## ## # # # # # # ## ## # # # # # # ## ## # # # # # # # ## ## # # # # # # # # ## ## ### # # # # ### ## ## ## #################################### #################################### JAF19 ****************************************** Second announcement - Preliminary Program ****************************************** 19iemes Journees sur les Arithmetiques Faibles 19th Days on Weak Arithmetics December 18-19, 2000 LLAIC1 - Univ. Clermont1 Clermont-Ferrand (France) Steering Committee and Program: Patrick Cegielsk - Univ. Paris 12 Jean-Pierre Ressayre - CNRS - Univ. Paris 7 Denis Richard - Univ. Clermont 1 Organization Committee: Henri-Alex Esbelin - Univ. Clermont 1 Malika More - Univ. Clermont 1 Denis Richard - Univ. Clermont 1 Jerzy Tomasik - Univ. Clermont 1 ********************************* * Preliminary program include: * ********************************* * Sedki Boughattas (Univ. Paris 7), Jean-Pierre Ressayre (CNRS - Univ. Paris 7): Models of integers built from non-standard reals - Modeles des entiers construits a partir de reels non standards * Patrick Cegielski (Univ. Paris 12), Francois Heroult (Univ. Clermont 1), Denis Richard (Univ. Clermont 1): On the amplitude of intervals of natural numbers whose every element is coprime with no extremety * Annie Chateau (Univ. Clermont 1): Using destinies for effective decision in weak arithmetical theories with a bounded number of variables * Paola D'Aquino (Univ. Napoli 2, Italy): title to be precised * Arnaud Durand (Univ. Paris 12): Reductions for counting complexity classes. * Olivier Finkel (Univ. Paris 7): A non borelian stack automata - Un automate a pile non borelien * Yassine Hachaichi (Univ. Paris 12): Descriptive complexity approach to problems in LinH * Nick Lygeros (Univ. Lyon 1): N consecutive primes in arithmetic progression * Natacha Portier (ENS Lyon): title to be precised * Maxim Vsemirnov (Steklov Institute, St Petersburg, Russia): title to be precised ************************************************************ ************************************************************ REGISTRATION: In order to register, please: 1 - send the registration form below (by e-mail or fax or surface mail) to the address indicated at the end of this announcement 2 - indicate if you need an hotel reservation 3 - registration fees amount to 200FF, including Monday and Tuesday lunches and coffee breaks ******************************************************************** REGISTRATION FORM Family name : ................................................. First name : ................................................. Affiliation : ................................................. Address : ................................................. Country : ................................................. e-mail : ................................................. FAX : ................................................. Phone : ................................................. Arrival : ................................................. Departure : ................................................. ********************************************************************* ********************************************************************* Contact: e-mail: more@llaic.u-clermont1.fr Office: Anny Gerard e-mail: llaic@llaic.u-clermont1.fr phone: + 33 4 73 40 77 33 fax: + 33 4 73 40 77 33 Address: JAF19 LLAIC IUT Dept Info Campus des Cezeaux B.P. 86 F - 63172 AUBIERE Cedex FRANCE