ANNOUNCING the next issue of JAF
(Journees sur les arithmetiques faibles)
JAF17
in CLERMONT-FERRAND march 9-10-11
LLAIC1
IUT Departement Informatique
BP 86 - 63172 AUBIERE Cedex
llaic@llaic.u-clermont1.fr
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
PROGRAM PROGRAM PROGRAM PROGRAM PROGRAM PROGRAM PROGRAM PROGRAM
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
TUESDAY march 9
----------------
11h 00 - a.m. J. KRAJICEK (Acad. of Sc. PRAHA, OXFORD University)
Introduction to propositional proof complexity
14h 30 - J.P. RESSAYRE (CNRS, Equipe de Logique, PARIS 7)
Winning strategies for infinite games : recalls on
effectively and non effective results (1)
15h 30 - O. FINKEL (Universite PARIS 7)
Infinite games refereed by push down and counter automata
16h 30 - H.A. ESBELIN & R. ESPEL LLIMA (LLAIC1, Universite d'Auvergne)
Automata, trees and modular counting
###########################################################################
WENESDAY march 10
-----------------
9h 00 - O. CHAPUIS (Equipe CNRS Desargues, Universite LYON 1)
Introduction to the complexity theory over infinite structures (1)
10h 15 - A. BES (LLAIC1 and Universite de MONS)
On the theory of ordinal multiplication
11h 30 - O. CHAPUIS (Equipe CNRS Desargues, Universite LYON 1)
Introduction to the complexity theory over infinite structures (2)
14h 30 - J.P. RESSAYRE (CNRS, Equipe de Logique, PARIS 7)
Weak Arithmetics
15h 45 - D. RICHARD (LLAIC1, Universite d'Auvergne)
Weak Arithmetics
16h 45 - L. COLSON & S. GRIGORIEFF (LLAIC1)
Syntactical Thruth Predicates
17h 45 - P. CEGIELSKI - (Universite PARIS 12)
Subsequent machines
############################################################################
THURSDAY march 11
-----------------
9h 00 - Y. TOMASIK (LLAIC1, Universite d'Auvergne)
Marczewski-Spilrajn spectral problem
10h 00 - M. VSEMIRNOV (STEKLOV Institute, St Petersburg)
WOODS-ERDOS conjecture for polynomial rings
11H 00 - Y. GERARD (LLAIC1, Universite d'Auvergne)
Reducing factorisation problem in N[X1,...,Xn] to
factorisation problem in N[X] via polyominos
14h 30 - J.P. REVEILLES (LLAIC1, Universite d'Auvergne)
Arithmetisation within digital geometry
15h 30 - J. DUPARC & J.P. RESSAYRE - (Universite PARIS 7)
Winning strategies for infinite games: recalls on effectively
and non effective results (2)
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
LISTE d'HOTELS
Tous **NN avec douche-WC, chambre simple
QUARTIER de la GARE
ALBERT-ELISABETH
37 avenue Albert-Elisabeth
tel : 33 (0)4 73 92 47 41
fax : 33 (0)4 73 90 78 32
Prix : 235 a 270F petit-dejeuner compris
---------------------------------------------------
HOTEL du MIDI
39 avenue de l'Union Sovietique
tel : 33 (0)4 73 92 44 98
fax : 33 (0)4 73 92 44 98
Prix 210F + 28F petit dejeuner
---------------------------------------------------
HOTEL SAINT ANDRE
27 avenue de l'Union Sovietique
tel : 33 (0)4 73 91 40 40
fax : 33 (0)4 73 90 72 19
Prix 225F + 39F petit dejeuner
======================================================
PERIPHERIE de CLERMONT
CAP SUD, Zone Industrielle du BREZET
CAMPANILE
tel : 33 (0)4 73 27 90 00
HOTEL 1iere CLASSE
tel : 33 (0)4 27 01 13
HOTEL BALLADINS
tel : 33 (0)4 73 91 81 34
-------------------------------------------------------
Le LLAIC vous recommande l'Hotel ALBERT-ELISABETH,
toutefois il s'agit de faire une reservation rapide.
Si vous preferez, envoyez moi vos coordonnees, pour faire
une reservation groupee a :
anny@llaic.u-clermont1.fr
Des horaires de train PARIS-CLERMONT vous seront communiques
dans les jours prochains.
MERCI
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@