Congresses in Logic (or related) Some congresses and workshops co-organized by members of our Logic Team or to which some of us have been invited as speakers, or we have just been interested in... | |
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 |
See also the Seminars in Logic section.
Retour
à la page de garde / Back to the homepage