Fleury Marie-Renée

• née le 1er Aout 1946

• Cursus

• 1969 Agrégation de mathématiques, puis Assistante à Luminy (Université Aix-Marseille 2)
• 1978 Maitre assistante, 1985 Maitre de conférences, 1999 Maitre de conférences Hors classe
• Situation actuelle : Retraitée.

• Activités pédagogiques :

• cours de mathématiques et de logique en Licence (L1-2-3) et Master (M1-2)au sein du Département de mathématiques de la Faculté des Sciences de Luminy.
• Animation du ”Groupe collège” de l’IREM (production de brochures régulières).
• Responsable (2005-2008) des ateliers ”Hippocampe” qui initie les lycéens à la démarche d’un chercheur..

• Recherche  : à l’IML, Institut de Mathématiques de Luminy, équipe ”Logique de la programmation”
Thèmes de recherche des cinq dernières années : théorie de la démonstration.
2000-04 : Logique Linéaire et Ludique : interprétation des quantificateurs du premier ordre de la logique linéaire en ludique. Etude des propriétés d’uniformité susceptibles de garantir un résultat de complétude. Ce travail a donné lieu à deux publications.
2005 : Logique linéaire, -calcul et linguistique : Depuis les grammaires de Lambek, les logiciens et les linguistes ont essayé de spécifier les grammaires comme des théories logiques. De par sa capacité à être sensible à la gestion des ressources, la logique linéaire non commutative est particulièrement bien adaptée pour des applications linguistiques. Le -calcul permet d’exprimer l’aspect calculatoire d’une logique. Nous avons développé un -calcul linéaire pour un calcul linéaire mixte (avec connecteurs non commutatifs et d’autres commutatifs). Ce travail a donné lieu à une publication.
2006-2009 : dans le cadre du projet ANR "Prelude" : étude des possibilités que la ludique apporte pour penser tout ce qui, dans la langue, est du domaine de l’interaction afin de représenter le dialogue d’un point de vue dynamique. Plus particulièrement, mon travail dans ce projet a porté sur la modélisation des actes de langage en ludique. Actuellement, je me propose d’étendre cette formalisation à d’autres types d’actes dans le domaine social.

• Publications récentes (cinq parmi les plus significatives des cinq dernières années) :
2004 : Claudia Faggian, Marie-Renée Fleury-Donnadieu, Myriam Quatrini. ”Introduction to Uniformity in Ludics”, Linear Logic in Computer Science, London Mathematical Society, Lectures Notes Series 316, Edited by T. Erhrhard, J.-Y Girard, P. Scott. Cambridge University Press (pages 236-246)
2004 : Marie-Renée Fleury-Donnadieu, Myriam Quatrini, First order in Ludics, MSCS (Mathematical Structures in Computer Science), Cambridge University Press , juin 2004, Vol 14-2 (pages 189-213)
2007 : - M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus in ”Categorial grammars and pregroups” special issue of Studia Logica 87.2/3
à paraître : M.-R. Fleury & S. Tronçon : Ludics as a frame for the formalisation of speech acts, Actes de PRELUDE, , , Springer, LNCS, LNAI-Folli
.

• Organisation de Colloques et séminaires (cinq dernières années)

De 1993 jusqu’en 2007 : Organisation du Séminaire de Logique.
Nov. 2004 : workshop ”Constructivisme et extraction de programmes” en l’honneur de Per Martin-Löf
Fév. 2006 : co-organisatrice de la session ”Logic and Linguistics” (session résidentielle GEOCAL, CIRM)
2007-2008-2009 co-organisatrice des workshops annuels du projet ANR Prelude