Projet Calligramme

previous up next contents
Précédent : Actions industrielles Remonter : Projet CALLIGRAMME, Logique Linéaire, Réseaux Suivant : Diffusion des résultats



Actions régionales, nationales et internationales

Actions nationales

Jean-Yves Marion est membre du PRC AMI (CNRS), Complexité, modèles finis, et arithmétiques faibles.

Jean-Yves Marion a participé aux premières journées sur la complexité de Kolmogorov, Université Lille 3, 23-24 Juin 1997. A la suite de ces journées, un groupe d'enseignant-chercheur, dont M. Dauchet (LIFL), B. Durand (LIP), S. Grigorieff (LIAFA) et JY Marion (LORIA), ont répondu à l'appel d'offre << Modélisation et simulation numérique >> du CNRS.

Actions financées par la Commission Européenne

Le projet CALLIGRAMME accueille Alessio Guglielmi dans le cadre d'une bourse post-doctorale TMR (N. ERBFMBICT961571).

CALLIGRAMME a participé à une proposition de réseaux TMR sur le thème de la logique linéaire. Ce réseau regroupe des équipes de Marseille (Institut de mathématiques de Luminy, et projet CALLIGRAMME) Bologne (Universités de Bologne, Turin et Udine) Cambridge (Universités de Cambridge et Oxford) Edinbourg (Universités d'Edinbourg et d'Aarhus) Lisbonne (Université de Lisbonne et Université Nouvelle de Lisbonne) Paris (LIPN et DMI, ENS) Rome (Universités de Rome, Pise, Bari, Sienne, et CNR-IAC). Cette propositon est en cours d'acceptation.

Relations bilatérales internationales

Le projet CALLIGRAMME entretient des relations scientifiques avec diverses université ou instituts étrangers : Université de Rome 3 (M. Abrusci), Université polytechnique de Catalogne (G. Morrill), Université d'Oxford (L. Ong), Université de Birmingham (V. de Paiva), Université de la Sarre (Claire Gardent). Chacune de ces relations a donné lieu à des propositions d'actions intégrées bilatérales.

Accueils de chercheurs étrangers

Elena Maringelli, étudiante de Michele Abrusci, titulaire de la << Tesi di Laurea >> (Università di Bari), et candidate au concours d'entrée en doctorat (Università di Roma tre), a passé le mois de septembre 1997 dans l'équipe CALLIGRAMME. Elle y a étudié les travaux de l'équipe concernant les réseaux de démonstration non-commutatif, et nous a expliqué les siens.[Mar96,AM97]



previous up next contents Précédent : Actions industrielles Remonter : Projet CALLIGRAMME, Logique Linéaire, Réseaux Suivant : Diffusion des résultats