Programme de 1997-98
1998 |
Cours du matin (11h - 12h30) |
Exposés de l'après-midi (14h30 - 16h) |
29 Jan |
M. Boffa: Théorie des automates et algèbres de Kleene. |
Alexis Bès (Univ. Paris 7): À propos des machines de Matiyasevich. |
5 Fév |
M. Boffa: (suite du 29 janvier) |
Malika More (Univ. de Caen): Relations rudimentaires et modèles finis. |
12 Fév |
M. Boffa: (suite du 5 février) |
Roland Hinnion (ULB): Grands cardinaux et ensembles dirigés ramifiables. |
19 Fév |
M. Boffa: (suite du 12 février) |
Hélène Niederkorn (Univ. de Liège): Introduction aux séries formelles d'arbres. |
26 Fév |
M. Boffa: (suite du 19 février) |
J.S. Gakwaya (Univ. de Mons-H.): Théorème de Borel-Schroeder-Bernstein |
2-4 Mars |
Journées Montoises à Mons. |
|
5 Mars |
M. Boffa: (suite du 26 février) |
Ieke Moerdijk (Utrecht): Sheaves and Logic |
12 Mars |
M. Boffa: (suite du 5 mars) |
Thierry Libert (Univ. de Bruxelles): Ensembles D-finis |
19 Mars |
M. Boffa: (suite du 12 mars) |
Philippe Niederkorn (Liege): Algèbres multivaluées et applications |
23-27 Mars |
Congrès International: Machines et Calculs Universels à Metz. |
|
26 Mars |
M. Boffa: (suite du 19 mars) |
Thierry Libert (Univ. de Bruxelles): Ensembles finis sans l'axiome du choix |
2 Avril |
Congé |
Congé |
9 Avril |
Congé |
Congé |
16 Avril |
Congé |
Congé |
23 Avril |
M. Boffa: (suite du 26 mars) |
Olivier Chapuis (Lyon): Classes de complexité non uniformes sur une structure |
30 Avril |
M. Boffa: (suite du 23 avril) |
A. Maes (Univ. de Mons-H.): Morphismes et décidabilité |
25-27 Mai |
Journées d'Arithmetique Faibles à Varsovie. |
1997 |
Cours du matin (11h - 12h30) |
Exposés de l'après-midi (14h30 - 16h) |
25 Sept |
- |
R. Hinnion: Points fixes d'opérateurs monotones I. |
2 Oct |
V. Bruyère: Automates finis , systèmes de numération et décidabilité de certaines extensions de l'arithmétique de Presburger. |
O. Esser: Points fixes d'opérateurs monotones II. |
9 Oct |
V. Bruyère: (suite du 2 octobre). |
T. Libert: Axiome du choix et coloriage de graphes. |
16 Oct |
V. Bruyère: (suite du 9 octobre). |
A. Maes: Morphismes et presque-périodicité: un pas de plus... |
23 Oct |
V. Bruyère: (suite du 16 octobre). |
R. Hinnion: Dimensions d'ensembles dirigés et ramifiables. |
30 Oct |
F. Point: (suite du 23 octobre). |
- |
6 Nov |
F. Point: (suite du 30 octobre). |
C. Michaux: Saturation et stabilité dans la théorie de la calculabilité sur les réels d'après Chapuis, Koiran et autres. |
13 Nov |
F. Point: (suite du 6 novembre). |
C. Michaux: (suite du 6 novembre). |
20 Nov |
- |
- |
27 Nov |
F. Point: (suite du 13 novembre). |
J.S. Gakwaya: Les boréliens. |
4 Déc |
- |
J.S. Gakwaya: Représentation discrète d'ensembles bornés de R2. |
11,12 Déc |
15èmes Journées d'Arithmétiques Faibles (JAF15) à Mons. |
|
18 Déc |
- |
A préciser. |
Les cours et séminaires ont lieu à l'ULB, Campus de la Plaine, au local NO906.
If you want to receive updated informations by email as soon as they are available, you may
Archive des séminaires passés
Back to Mathematical Logic at the University
of Mons-Hainaut
This page has been accessed times.