Précédent : Jurys de thèse Remonter : Diffusion de résultats Suivant : Références
Précédent : Jurys de thèse Remonter :
Diffusion de
résultats Suivant : Références
Philippe de Groote et François Lamarche ont participé au
«Workshop on New Trends in Game Semantics» qui s'est tenu à
Sienne (Italie), du 7 au 14 janvier 1998.
Hélène Touzet a participé aux «Journées du GDR AMI» à Paris du 8 au 11 janvier 1998.
Jean-Yves Marion a présenté une communication sur Une Caractérisation de Alogtime, lors de la 3ème Rencontre du PRC AMI (CNRS) (Complexité, Modèles finis, et Arithmétiques Faibles) qui s'est tenue du 2 au 9 janvier 1998 à Paris.
Adam Cichon a été invité à présenter ses travaux au Workshop sur la Théorie de la Démonstration à Oberwolfach en février 1998.
Alain Lecomte a présenté deux communications (The Proof-Net Approach of Type-Logical Grammars et Categorial Grammar and Minimalism) à l'Institute of Research in Cognitive Science, (Philadelphie, mars 1998).
Adam Cichon et Jean-Yves Marion étaient membres du comité d'organisation de la conférence «MCU'98» qui s'est tenue à Metz du 24 au 28 mars 1998, et à laquelle ont assisté François Lamarche, Hélène Touzet, Jérôme Besombes et Guillaume Bonfante.
Guillaume Bonfante et Hélène Touzet ont présenté chacun une communication à la conférence internationale avec comité de programme sans actes publiés : ``Small Classes and weak recursion'' , «JAF 16», Varsovie, Pologne, 25-27 mai 1998. Ces deux communications avaient respectivement pour titres: About Polynomial Interpretation and Computational Complexity et Non-primitive termination on words.
Sylvain Pogodalla, Philippe de Groote et Guy Perrier ont participé aux Rencontres organisées à Rennes du 15 au 24 juillet 1998 en «Logique et Linguistique» (Galileo Meeting).
Après avoir présenté une communication à la conférence «ICALP'98» qui s'est tenue à Adlborg (Danemark) du 12 au 19 juillet [[26]], Hélène Touzet a passé un mois à l'Université de Newcastle (Australie) (19 juillet au 20 août 1998).
François Lamarche a effectué un séjour d'un mois à l'Université McGill de Montréal, où il renouait ses contacts avec les membres du départment de Mathématiques, en particulier M. Barr, M. Bunge, P. Ruet, R. Blute et J. Lambek (juillet 98).
Catherine Pilière a participé à ESSLLI'98 («10th European Summer School in Logic, Language and Information») qui avait lieu à Sarrebrück du 17 au 28 août 1998 [[24]].
Hélène Touzet a présenté une communication à la conférence «MFCS'98» [[27]] (Brno, République Tchèque, 22 au 30 août 1998).
Guillaume Bonfante, Jean-Yves Marion et Hélène Touzet ont présenté une communication à la conférence «CSL'98» [[19]] (Brno, République Tchèque, 22 au 30 août 1998).
Jean-Yves Marion a présenté son travail sur A characterization of Alogtime by ramified recurrence au cours du Workshop on Weak Arithmetic (Brno, République Tchèque, 25 août 1998).
Philippe de Groote et François Lamarche étaient présents aux rencontres organisées à Saint Dalmas concernant le projet «TMR Linear Logic» (8 au 12 septembre 1998).
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion et Catherine Pilière ont participé aux «2èmes Journées sur la Complexité de Kolmogorov» organisées par Bruno Durand au LIP (Lyon, 10 et 11 septembre 1998). Jean-Yves Marion y a fait deux présentations intitulées Complexité de Kolmogorov et non-déterminisme et Algorithmes optimaux pour les problèmes NP d'après Levin.
Jean-Yves Marion a présenté une communication (Rewriting System and Computational Complexity) au cours du «Workshop in Implicit Computational Complexity in Programming Language Design and Methodology», organisé par R. Constable et D. Leivant à Baltimore, USA (sur invitation, 24 au 29 septembre 1998).
Philippe de Groote s'est rendu à Barcelone du 10 au 18 octobre dans le cadre d'une collaboration scientifique avec Glyn Morrill.
Christian Rétoré a participé à une réunion de travail organisée à Utrecht (Pays-Bas) concernant l'action intégrée Van Gogh (14 au 17 octobre 1998).
Alain Lecomte, Sylvain Pogodalla et Christian Rétoré ont participé du 28 au 30 octobre 1998 au «Workshop on non-commutative linear logic and linguistic applications» organisé à Nancy.
Guillaume Bonfante et François Lamarche ont rencontré Harold Simmons à Manchester (Royaume-Uni) et ont participé au «Workshop Logique et Langage» organisé par Valeria de Paiva à Birmingham (Royaume-Uni) du 1er au 5 novembre 1998.
Philippe de Groote, François Lamarche, Alain Lecomte, Guy Perrier et Sylvain Pogodalla ont participé, en tant que conférenciers invités, au «Fifth Roma workshop on dynamic perspectives in logic and linguistics» (Rome, 7 au 14 novembre 1998).
Adam Cichon a donné un séminaire au T.U.B (Université Technique de Berlin) du 8 au 11 novembre 1998.
Sylvain Pogodalla a assisté à la réunion qui s'est tenue à Nancy le 25 novembre 1998 dans le cadre de la collaboration Ranx Xerox - Inria.
François Lamarche et Guy Perrier se sont rendus à Grenoble du 13 au 15 décembre pour la conférence «LACL'98».