Précédent : Actions régionales, nationales et internationales Remonter : Projet CALLIGRAMME, Logique Linéaire, Réseaux Suivant : Références
Précédent : Actions régionales, nationales et
internationales Remonter : Projet CALLIGRAMME, Logique Linéaire,
Réseaux Suivant : Références
Philippe de Groote a organisé, en collaboration avec le bureau des relations extérieures, la conférence TLCA'97 (third international conference on Typed Lambda Calculi and Applications). Cette conférence s'est déroulée à Nancy du 2 au 4 avril 1997.
Le projet CALLIGRAMME a également organisé, en collaboration avec le bureau des relations extérieures, la conférence LACL'97 (second internatioanl conference on Logical Aspects of Computational Linguistics). Cette conférence s'est déroulée à Nancy du 22 au 24 septembre 1997. Alain Lecomte en assurait la présidence du comité de programme. Philippe de Groote était membre du comité de programme et François Lamarche, membre des comités de programme et d'organisation. Guy Perrier présidait ce dernier.
François Lamarche a participé aux jurys de thèse d'Anne Massol (Université Aix-Marseille II), de Zine-El-Abidine Benaissa (Université de Nancy I), de Paul Ruet (Université de Paris VII).
Philippe de Groote a participé au jury de thèse de Daniel Briaud (Université de Nancy I).
Philippe de Groote, Guy Perrier, François Lamarche et Christian Retoré ont assuré le module de spécialisation << logique linéaire >> du DEA d'informatique de l'Université de Nancy I.
Alain Lecomte assure le cours de maitrise MASS, option << Industrie de la Langue >>, à l'UPMF de Grenoble.
Jean-Yves Marion assure un cours d'algorithmique Avancée à l'école des Mines de Nancy, en deuxième année.
Alain Lecomte et Christian Retoré ont donné, en collaboration avec Glyn Morrill, un cours avancé, intitulé Geometry of Language, à l'occasion d'ESSLLI'97 (European Summer School on Logic, Language, and Information.)
Philippe de Groote et Alain Lecomte ont participé, en tant que conférenciers invités, journees << Logique et Sciences Humaines >> organisées par J.P. Desclés, en Sorbonne, en juin 1997.
Philippe de Groote et Denis Béchet ont présenté une communication [9] à la conférence RTA'97 (Sitges, juin 1997).
Philippe de Groote, Jean-Yves Marion et Guy Perrier ont chacun présenté une communication [12,17,18] à la conférence LFCS'97 (Yaroslavl, juillet 1997).
Philippe de Groote et Guy Perrier ont chacun présenté une communication [13,19] à la conférence WoLLIC'97 (Fortaleza, aout 1997).
Philippe de Groote, François Lamarche, Alain Lecomte et Guy Perrier ont participé, en tant que conférencier invités, au Fourth Roma workshop on dynamic perspectives in logic and linguistics, (Rome, octobre 1997).
François Lamarche a participé au Festschrift en l'honneur du soixantième anniversaire de Michael Barr à l'université McGill (Montréal, mai 1997).
Alain Lecomte a présenté une communication [14] à la conférence TALN'97 (Grenoble, mai 1997).
Jean-Yves Marion a présenté une communication [16] à la conférence CAAP'97 (Lille, avril 1997)
Jean-Yves Marion a présenté une communication (Predicative Functionals and Poly-space), aux 14ieme journées internationale d'arithmétiques faibles, Organisées par Y. Matiassevitch (Saint-Petersbourg, mai 1997).
Jean-Yves Marion, en collaboration avec S. Grigorieff, a présenté une communication (Objet extrémal, objet extremum et complexité de Kolmogorov), aux premières Journées sur la complexité de Kolmogorov (Lille, juin 1997).
Jean-Yves Marion a présenté une communication (Récurrence stratifiée et classe de complexité), au 2ieme rencontre du PRC AMI (CNRS), Complexité, modèles finis, et arithmétiques faibles, à l'IUT de Fontainebleau (Juin 1997).
Précédent : Actions régionales, nationales et
internationales Remonter : Projet CALLIGRAMME, Logique Linéaire,
Réseaux Suivant : Références