 |
Euro-Conference
in Model Theory and Applications
Ravello, Italy, May 27-June 1, 2002
F. Point is member of the programme committee |
|
|
LMS Regional
Meeting and Model Theory, 2002
Birmingham, February 27- March 2, 2002
F. Point was an invited speaker |
|
|
Théorie
géométrique des groupes et logique
CIRM, Marseille, November 19-23, 2001
F. Point gave a talk. |
|
|
Workshop
on Solving First-Order Constraints in Various Structures
CIRM, Marseille, May 3-4, 2001
C. Michaux was an invited speaker |
|
|
.Ecole
de printemps "Arithmetique des Ordinateurs"
Prapoutel-Les-Sept-Laux (région de Grenoble), March 26-30 2001
C. Michaux was an invited speaker. |
|
|
Journées Tresses
Marne-la-Vallée, France, 16-18 November 2000.
A. Maes gave a communication |
|
|
Workshop on Buildings and the Model theory of Groups
Wuerzburg, Germany, 14.- 17. September 2000.
F. Point was an invited speaker |
|
|
Ninth International Colloquium on Numerical Analysis and Computer
Sciences with Applications
Plovdiv, Bulgaria, 12-17 August 2000.
C. Michaux was an invited speaker. |
|
|
Model-Theoretic
Algebra and Algebraic Models of Computation
International Centre for Mathematical Sciences, Edinburgh, September
4-15 2000.
C. Michaux was a member of the Program Committee. |
|
|
KNOTS 2000
Yongpyong Ressort, Korea, July 31-August 5, 2000.
A. Maes gave a communication |
|
|
One day
meeting in Model Theory
University of Leeds, UK, April 17 2000
Satellite meeting of the British
Mathematical Colloquium.
F. Point was an invited speaker. |
|
|
École
Jeunes Chercheurs Algorithmique et Calcul Formel
Université de Caen, March 27-31 2000.
A. Maes gave a communication |
|
|
Journées
Montoises d'Informatique Théorique
Marne-la-Vallée, March 6-8 2000.
V. Bruyère was a member of the Program Committee.
M. Boffa and A. Maes gave a communication |
|
|
Logic and Complexity
Murten, Switzerland, February 14-16 2000
An International Symposium in honor of the 150th birthday of Erwin
Engeler + Ernst Specker.
M. Boffa was an invited speaker. |
|
|
Hilbert's
10th problem, Relations with Arithmetic and Algebraic Geometry
University of Gent, November 2-5 1999
Workshop (University of Gent).
F. Point was an invited speaker. |
|
|
BLMS'99
Joint meeting
Université Libre de Bruxelles, May 14-16 1999
Programme of the Algebraic
geometry and mathematical logic Section.
C. Michaux was a member of the Program Committee. |
|
|
Ecole
Jeunes Chercheurs en Algorithmique et Calcul Formel
Université Bordeaux 1, March 22-26 1999.
A. Maes gave a communication |
|
|
16th
Days on Weak Arithmetics
(16emes Journées sur les Arithmétiques faibles)
Varsovie, May 25-27 1998.
A. Maes gave a communication. |
|
|
50th
British Mathematical Colloquium
University of Manchester, April 6-9 1998.
M. Boffa was an invited speaker. |
|
|
Colloque
international MCU'98
Machines et calculs universels
I.U.T. de Metz, France, March 23-27, 1998.
C. Michaux is an invited speaker.
A. Maes and J-S. Gakwaya gave a communication. |
|
|
Journées Montoises
d'Informatique Théorique
Mons, March 2-4, 1998.
A. Maes gave a communication.
M. Boffa, V. Bruyère, C. Michaux were co-organizers. |
|
|
15th Days on Weak Arithmetics
(15èmes Journées sur les Arithmétiques faibles)
Mons, December 12 to December 13, 1997.
M. Boffa was a member of the Program Committee. |
|
|
Analysis and Logic Congress
University of Mons-Hainaut, Belgium, 25-29 August 1997
This international meeting is organized by Logic Team and Functional
Analysis Team of the University of Mons-Hainaut.
C. Michaux, C. Finet were co-organizers. |
|
|
14th Days on Weak Arithmetics
(14emes Journées sur les Arithmétiques faibles)
St.Petersburg, May 22 to May 24, 1997.
Maes gave a communication.
M. Boffa was an invited speaker. |
|
|
13th
Days on Weak Arithmetics
(13emes Journées sur les Arithmétiques faibles)
Metz, December 12-13, 1996.
Véronique Bruyère was a member of the Program Committee,
Maurice Boffa was a lecturer,
Jean-Sylvestre Gakwaya gave a communication. |
|
|
ICALP 96
- 23rd International Colloquium on Automata, Languages and Programming
Paderborn, July 8-12, 1996.
Véronique Bruyère was an invited speaker. |
|
|
Joint Meeting of the American Mathematical Society and the
Mathematical Societies of Benelux
Antwerp, Belgium, May 22-24, 1996.
We were co-organizers of the Logic section of this congress. |
|
|
Workshop
on Computability, Complexity and Logic
Zinnowitz, March 27-29, 1996.
Christian Michaux was an invited speaker. |
|
|
STACS`96 - 13th Symposium on Theoretical Aspects of Computer Science.
Grenoble, France February 22 - 24, 1996.
Véronique Bruyère was a co-organizer. |
|
|
KGS-AILA:
Join meeting on Model Theory
Florence, Italy, August 21-24, 1995.
Maurice Boffa was co-chairman. |
|
|
Journées Montoises
University of Mons-Hainaut, Belgium, 1994 |
