Membres

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

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

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

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

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 données (...)

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

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

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.

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

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

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

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

Doctorant en Informatique, au LaBRI.

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

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

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

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

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

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

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

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.

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.

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

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

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

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