Membres

Abrusci Michele

Professore straordinario di Logica e Supplente di Logica Matematica Education : Licence en Philosophie (Université de Florence) Professeur agrégé à l’Université de Bari de 1988 à 1991 Professeur agrégé à l’Université Sapienza de Rome La 1991 à 1994 Professeur à l’Université de Bari de 1994 à 1996. publications : La logique mathématique, Fratelli Laterza, Bari, 1992. Réseaux de preuve non commutative, dans « Advances in Linear Logic", Cambridge University Press, 1995. Lambeck calcul, cycliques (...)

Bassac Christian

Docteur et agrégé en sciences du langage. Chercheur à Toulouse 2 et Bordeaux 3, maître de conférences à l’Université de Bordeaux 3 (en 2004).

Boudes Pierre

Titulaire d’un doctorat de mathématiques obtenu en 2002, Pierre Boudes est maître de conférences en informatique à l’université Paris 13, depuis septembre 2005. Ses recherches portent notamment sur la théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030. Pierre Boudes est enseignant et semi-administratif (en ce moment, vice-président du département d’informatique) à l’institut (...)

Coupey Pascal

Laboratoire d’Informatique de l’université Paris Nord Institut Galilé

Cuxac Christian

Professeur, Paris 8 - Sciences du langage Responsable d’équipe de recherche au sein de l’UMR 7023, Langues des signes et gestualité. Thèmes de recherche : - Dresser une typologie de l’iconicité - Quel statut accorder aux éléments qui composent le lexique ? - Gestualité co-verbale et langues des signes Membre du SFL, domaine des sciences du langage, apport de compétences en matière de langage des signes. Parcours de recherches : Responsable scientifique du projet « Réalisation de corpus de (...)

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). (...)

Fouqueré Christophe

Docteur en informatique après des études à l’ENS Cachan, maintenant professeur à l’université Paris 13. Il dirige le Laboratoire d’Informatique de Paris 13 (LIPN - UMR 7030). Il travaille sur l’application de la logique linéaire à la représentation du langage naturel (syntaxe principalement) et à la programmation (programmation logique, programmation web, parallélisme strict). Il a aussi mené des travaux sur les logiques de description. Il a encadré et encadre des thèses sur ces différents sujets. Au (...)

Keiff Laurent

Chercheur associé dans l’équipe ANR LOCI. Thèse d’Histoire et Philosophie des Sciences et Techniques soutenue à Lille 3, consacrée au problème du pluralisme logique du point de vue de l’approche dialogique de la sémantique, ainsi qu’à la métathéorie d’une série de systèmes de dialogues (concernant principalement les modalités et la négation). Professeur certifié de philosophie.

Kempson Ruth

Né le 26.6.1944 Degrees/Honours 1965 BA Combined Honours Music/English. II.2 Birmingham University 1969 MA Modern English Language (with distinction). London University. 1973 PhD Linguistics. London : Presupposition and Delimitation of Semantics 1989 Fellow British Academy. 1999 Member Academia Europaea. Career 1969-1970 Research Assistant : Survey of English Usage, University College London. 1971-1985 Lecturer SOAS. 1982-1983 Visiting Professor. University of Massachusetts (...)

Lecomte Alain

Né le 15/04/1947 Professeur Classe Exceptionnelle, CNU 07 (après avoir été en 72ème section) Thèse Mathématiques Appliquées en 1974 Habilitation à Diriger des Recherches en linguistique informatique en 1994 Thèmes de recherches : Formalisation logique des grammaires, Sémantique formelle Pragmatique formelle Modélisation du dialogue Epistémologie des sciences du langage Membre de l’UMR 7023 depuis 2006 (CLIPS IMAG – Grenoble auparavant) Professeur de Sciences du langage (linguistique formelle) à (...)

Livet Pierre

64 ans, Professeur d’épistémologie à l’Université d’Aix-Marseille. Espace, négation, ontologie et logique linéaire, pp. 245-260, in Jean Baptiste Joinet et Samuel Tronçon, Ouvrir la logique au monde, Philosophie et Mathématique de l’interaction, Hermann, Cerisy, Paris, 2009 Avec Frédéric Nef, Les êtres sociaux , Hermann, 2009. (410 p.) P. Livet, J-P. Müller, D. Phan, L. Sanders, “Ontology, a mediator for Agent-Based Modeling in Social Science, Journal of Artificial Societies and Social Simulation, 2009 (...)

Loddo Jean-Vincent

Maître de conférences : IUT de Villetaneuse - Département R&T Laboratoire d’Informatique de Paris Nord (LIPN) - Équipe LCR Université Paris Nord (Paris 13) Docteur en informatique de l’Université Paris 7 (ancien thésard de PPS et du LIENS). Laurea in scienze dell’informazione de l’Université de Pise. Publications * J.-V. Loddo, L. Saiu. How to Correctly Prune Tropical Trees. In proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation (...)

Mery Bruno

Doctorant en Informatique, au LaBRI.

Moot Richard

Richard Moot est actuellement au LABRI en tant que chercheur CNRS et membre de l’équipe de SIGNES.

Quatrini Myriam

42 ans Position : Maître de Conférences en Mathématiques, Membre de l’Institut de Mathématiques de Luminy’ Adresse Professionnelle : Département de Mathématiques, Faculté des Sciences de Luminy, Case 901,163 Av de Luminy, 13 288 Marseille cedex 9 Email : quatrini@iml.univ-mrs.fr tel : 04 91 26 96 36 CURSUS Phd Thesis : Doctorat de Mathématiques, dirigée par G. Blanc,, janvier 1995, Faculté des Sciences de Luminy, D.E.A. de Mathématiques Pures de l’Université de Provence, juin 1991 (...)

Rétoré Christian

Professeur au département d’informatique, UFR Maths-Info, à l’Université Bordeaux 1.

Romano Marco

Doctorant depuis 2009 en cotutelle entre l’université Paris 13 et l’université Roma Tre en « Filosofia e Teoria delle Scienze Umane », curriculum de Logique de l’Information et Théorie de la Communication, sous la co-direction de Michele Abrusci et Christophe Fouqueré. Sa recherche, déjà émergeante au cours des études de Master, se concentre sur les ontologies comme modèles pour la représentation de la connaissance dans le contexte du Web Sémantique. Sa thèse se déroule en partie dans une entreprise (...)

Roussarie Laurent

Docteur en linguistique théorique, formelle et automatique de l’UFRL, Paris7 Denis Diderot. Maître de conférence à l’Université Paris 8 Vincennes/St-Denis, UFR SDL. Membre de l’UMR 7023 (Structures formelles du langage). Thèmes de recherche : - Sémantique formelle de la comparaison - Delixis et démonstratifs - Impératifs : Sémantique discursive et dialogique - Restriction Membre du SFL dans le domaine des sciences du langage. Apport de compétences en Sémantique. Publications : Articles de (...)

Salvati Sylvain

Sylvain Salvati est actuellement Chargé de Recherche à l’INRIA Bordeaux Sud-Ouest où il travaille au sein de l’équipe Signes. Son travail porte sur un formalisme grammatical fondé sur le λ-calcul et la logique linéaire : les grammaires catégorielles abstraites (www). D’un point de vue plus général, Sylvain Salvati s’intéresse aux liens entre théorie formelle des langages et théorie de la (...)

Seiller Thomas

Thomas Seiller travaille actuellement à l’Institut mathématique de Luminy dans l’équipe Logique de la programmation. Il prépare une thèse de mathématiques, intitulée Curry-Howard pour la concurrence : Géométrie de l’interaction et complexité, sous la direction de Jean-Yves Girard et de Laurent Regnier. Il travaille principalement sur la géométrie de l’interaction, dans sa nouvelle version introduite par Jean-Yves Girard dans l’article Geometry of Interaction V : logic in the hyperfinite (...)

Sironi Eugenia

Commence une these ("Types de données en Ludique") à l’Institut de Mathématiques de Luminy, avec Christophe Fouqueré et Myriam Quatrini, financée par LOCI.

Sironi Eugenia

Begins a PHD (Types de données en ludique) at the Institut de mathématiques de Luminy, with Christophe Fouqueré and Myriam Quatrini, financed by LOCI.

Tronçon Samuel

Publications récentes : Jean-Baptiste Joinet, Samuel Tronçon (éditeurs). Ouvrir la logique au monde : philosophie et mathématique de l’interaction. Hermann. 2009. Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon. Dialogues in Ludics. Actes des rencontres PRELUDE à Pauillac. 2010. Frédéric Pascal, Samuel Tronçon. Dynamique du langage et ontologie. Actes des journées de Rochebrune. Paris : Telecom ParisTech. 2009 Samuel Tronçon. Éléments de sémiotique cognitive. In « Ouvrir la logique au monde ». (...)

Vaux Lionel

Maître de conférences en mathématiques à l’université de la Méditerranée depuis septembre 2009. Lionel Vaux rejoint l’équipe LDP de l’IML après une thèse de mathématiques, suivie d’une année d’ATER en informatique à l’université de Savoie. Projets membre du groupe de travail Geocal du GDR Informatique Mathématique. membre des projets Choco, Logoi et Loci de l’ANR. coordinateur du projet QuAND, sur un financement PEPS de (...)

White Graham

• née le 26 avril 1951 de nationalité britannique D. Phil. In Mathematics, Oxford, Nov. 1982, thesis on “The Arithmetic of Prym Varieties” under Michael Attiyah S. M. In Mathematics, MIT, juin 1975 Commitee member of UK Computing Research Challenge 5, “Architecture of Brain and Mind” Member of the London Mathematical Society and of the American Philosophy Association Lecturer at the Department of Computer Science, Queen Mary, University of London Bibliography : Contex for Human Action” (...)

Winterstein Grégoire

Post-doctorant au sein de l’ANR Loci (laboratoire SFL-Université Paris 8), a soutenu sa thèse de linguistique formelle en 2010 sur le thème de l’interprétation probabiliste des marqueurs de discours dans le cadre de la théorie de l’argumentation dans la langue. Plus généralement, il s’intéresse aux questions de pragmatique formelle : projection de contenus, dérivation d’inférences et interaction de différents niveaux de sens dans l’interprétation d’un (...)
Site propulsé par accatone/resurgences
Tourisme Atlas
projet NetLab, politiques publiques, big data et sciences sociales
spacelike, une exploration visuelle du web de l'art contemporain
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014