ANR - LOCI

Winterstein Grégoire

2012-01-10T18:16:20Z

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 énoncé.

- Membres

White Graham

2011-03-09T10:21:42Z

• 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” in Erol Gelenbe, Samson Abramsky and V. Sassone (eds) visions of Computer Science (British Computer Society, 2008)
Causality, Modality and Explanation, Notre Dame Journal of Formal Logic, 49, 2008
Davidson and Reiter on Actions, Fundamenta Informatica, 2007
The Philosophy of Programming Languages in Floridi (ed) The Blackwell Guide to the Philosophy of Computing and Information, Blackwell, 2003

Vaux Lionel

2011-05-09T14:35:42Z

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 l'INS2I.

- Membres / Questions formelles autour de la ludique, Institut de Mathématiques de Luminy

Tronçon Samuel

2011-03-09T10:20:47Z

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

- Membres / Coordination, Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Modélisation de l'apprentissage de la langue des signes, Vie sociale et pragmatique, Communication Web et Ontologies, Résurgences

Structures Formelles du Langage

2011-03-09T10:22:15Z

SFL est une Unité Mixte de Recherche (UMR 7023) assurant la recherche et la formation à la recherche sur les 3 thématiques suivantes : la linguistique théorique (phonologie, syntaxe, sémantique), les langues des signes, et l'acquisition et le développement du langage.

Au sein du laboratoire, le Coordinateur/responsable du projet LOCI est Alain LECOMTE Professeur en Sc. du langage.

Autres membres impliqués dans le projet :

Mr ROUSSARIE Laurent Mdc en Sc. du Langage.

Mr CUXAC Christian professeur en Sc. du Langage.

Mme MACE Fanny Doctorante en Sc. du Langage.

Sironi Eugenia

2011-10-31T15:36:14Z

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.

- Membres

Sironi Eugenia

2011-10-31T15:35:55Z

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.

- Members

SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

2011-03-16T11:40:21Z

SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

L'EPI Signes commune avec l'Université de Bordeaux et le LABRI et le CLLE a introduit à Bordeaux la linguistique computationnelle et en théorie des types, tout en s'appuyant sur les compétences locales en théorie des langages et en sémantique formelle. Dans le présent projet, Signes apportera ses compétences logique :

sur la logique linéaire (en particulier espaces cohérents, sémantique catégorique, modèles du premier ordre),
sur le lien entre lambda calcul typé et théorie des langages classiques (notamment à travers les grammaires catégorielles abstraites),
sur l'analyse syntaxique de l'oral (analyse catégorielle multimodale),
sur la sémantique lexicale dans un cadre compositionnel et logique.

Chercheurs :

Christian Bassac,
Bruno Méri,
Richard Moot,
Christian Rétoré
Sylvain Salvati

Seiller Thomas

2011-05-09T14:34:18Z

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

- Membres / Questions formelles autour de la ludique, Institut de Mathématiques de Luminy

Salvati Sylvain

2011-05-16T09:17:29Z

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 démonstration.

- Membres / Questions formelles autour de la ludique, Signes - INRIA

Roussarie Laurent

2011-05-09T14:37:15Z

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 revues :

– Roussarie, Laurent et Amsili, Pascal (2007). Interpréter les pronoms phrastiques. Modèles Linguistiques, 56, pp. 83-112.

– Amsili, Pascal, Denis, Pascal et Roussarie, Laurent. (2005). Anaphores abstraites en français : représentation formelle. Traitement automatique des langues, 46(1), pp. 15-39.

– Caudal, Patrick, Roussarie, Laurent et & Vetters, Carl. (2003). L'imparfait, un temps inconséquent. Langue Française, 138, pp. 61-74.

– Roussarie, Laurent (1998). Le problème de la structuration et de la représentation du discours vu sous l'angle de la génération automatique. La génération de textes, t.a.l., 39(2), pp. 35-55.

Contribution à ouvrages collectifs :

– Asher, Nicholas et Roussarie, Laurent (2005). Intégration de la sémantique dynamique et de théories structurales dans l'interprétation du discours : la SDRT. In F. Corblin et C. Gardent (eds), Interpréter en contexte, Traité IC2, pp. 229-263. Lavoisier/Hermes Science Publications, Paris.

– Roussarie, Laurent et Desmets, Marianne (2003). Quotative reference in reportive comme clauses. In Beyssade C., Bonami O., Cabredo Hofherr P. et Corblin F. (éds), Empirical Issues in Formal Syntax and Semantics 4 (pp. 329-344). Paris : Presses Universitaires de Paris-Sorbonne.

– Danlos, Laurence et Roussarie, Laurent (2000). La génération automatique de textes. In J.-M. Pierrel (éd.), Ingénierie des langues (pp. 311-330). Paris : Hermès.

Communications en conférences :

– Roussarie, Laurent, Caudal, Patrick, Dench, Alan et Ritz, Marie-Eve (2009). Change of Stage vs. Change-of-Individual The Nyamal Usitative. Chronos 2009, 9th International Conference on Tense, Aspect and Modality, Paris. Slides.

– Roussarie, Laurent (2009). What might be known : epistemic modality and uncertain contexts. Semantics and Linguistic Theory (SALT) 19, Columbus, Ohio. Egalement présenté aux Journées Sémantique & Modélisation (JSM'09), Paris. Slides, handout.

– Caudal, Patrick et Roussarie, Laurent (2004). Brands of perfects : semantics and pragmatics. In Proceedings of the Texas Linguistics Society 8, Austin.

– Amsili, Pascal et Roussarie, Laurent (2004). Vers une lambda-DRT étendue. In Actes de l'atelier sur la SDRT à TALN 2004 (11ème Conférence sur le Traitement Automatique des Langues Naturelles), Fès, Maroc.

– Caudal, Patrick et Roussarie, Laurent (2004). Perfects and the semantics/pragmatics interface. In Actes de l'atelier sur la SDRT à TALN 2004 (11ème Conférence sur le Traitement Automatique des Langues Naturelles), Fès, Maroc.

– El Ghali, Adil et Roussarie, Laurent (2003). Computing the rhetoric of text proofs, In Proceedings of the fourth workshop on Inference in Computational Semantics (ICoS-4), pp. 89-99, Nancy.

– El Ghali, Adil et Roussarie, Laurent (2003). Structuration automatique de preuves mathématiques : de la logique à la rhétorique. In Actes de la 10ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN 2003), pp. 333-338, Batz-sur-Mer.

– Roussarie, Laurent et Villoing, Florence (2003). Some semantic investigations on the French VN construction. In Proceedings of the Second International Workshop on Generative Approaches to the Lexicon (GL'2003), Geneva.

– Roussarie, Laurent (2003). Dynamique des référents d'actes de langage. Journées Semantique et Modélisation, 20 mars 2003, Paris. (Slides).

– Amsili, Pascal, Raynal, Céline et Roussarie, Laurent (2002). Stop presupposing the computation of presuppositions : the case of the French adjective seul. In Workshop on Information Structure in Context, pp. 86-97, Stuttgart.

– Roussarie, Laurent et Amsili, Pascal (2002). Discours et compositionnalité. In Actes de la 9ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN 2002), pp. 383-388, Nancy.

– Caudal, Patrick et Roussarie, Laurent (2002). Contribution discursive et sémantique des constructions en si. Chronos 5, Groningen.

– Caudal, Patrick, Roussarie, Laurent et Vetters, Carl (2002). Un traitement conjoint du conditionnel, du futur et de l'imparfait : les temps comme fonctions d'actes de langage. Chronos 5, Groningen.

– Caudal, Patrick et Roussarie, Laurent (2002). Aspectual viewpoints, speech act functions and discourse structure. NSF-funded Workshop on the Syntax, Semantics & Acquisition of Aspect, University of Iowa.

– Roussarie, Laurent et Desmets, Marianne (2001). Référence citationnelle dans les reportives en comme/Quotative reference in reportive comme clauses. Colloque de Syntaxe et Sémantique à Paris (CSSP 2001), Paris. (handouts, slides)

– Danlos, Laurence, Gaiffe, Bertrand et Roussarie, Laurent (2001). Document structuring à la SDRT. In Proceedings of the 8th European Workshop on Natural Language Generation (EWNLG 2001/ACL 2001) (pp. 11-20), Toulouse.
– Desmets, Marianne et Roussarie, Laurent (2000). French reportive 'comme' clauses : A case of parenthetical adjunction. In Proceedings of the 7th International Conference on Head-driven Phrase Structure Grammar (HPSG-2000) (pp. 43-62), UC Berkeley.

– Caudal, Patrick et Roussarie, Laurent (2000). Event Structure vs. Stage Structure and Abstract Aspectual Relations. In Proceedings of BLS 26, UC Berkeley.

– Roussarie, Laurent (1997). Structuration du texte en génération automatique. Stratégies et difficultés. In Actes du 1er Colloque Francophone sur la Génération Automatique de Textes, GAT'97, Grenoble.

– Roussarie, Laurent (1997). Managing Coreference Relations in the Semantic Input of a Natural Language Generation System. In R. Dale et C. Paris (éds.), PhD Workshop on Natural Language Generation, European Summer School in Logic, Language and Information (ESSLLI'97), Aix-en-Provence.

Romano Marco

2011-03-09T10:22:05Z

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

- Membres / Communication Web et Ontologies, Laboratoire d'Informatique de Paris-Nord

Rétoré Christian

admin — 2011-05-10T16:11:40Z

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

- Membres / Coordination, Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Communication Web et Ontologies, Questions formelles autour de la ludique, Signes - INRIA

Résurgences

2011-03-16T13:08:49Z

Résurgences développe depuis 2002 des actions innovantes au point de jonction entre innovation sociale, industrie numérique et recherche scientifique, comme en témoigne la variété et le nombre de projets développés dans ces champs depuis sa création.
L'association est structurée autour des valeurs de l'économie sociale, dans une démarche de recherche-action, et développe son activité autour de trois pôles : un pôle d'insertion et de formation professionnelle, un pôle commercial dans l'industrie numérique, et un pôle recherche dédié aux sciences humaines et sociales.

Le modèle économique de la structure met en action deux principes : la synergie entre les différents pôles d'activité (insertion, production, recherche) et l'hybridation des ressources (subventions, missions, prestations). Ainsi, le pôle recherche apporte des compétences techniques pour les prestations à forte valeur ajoutée et le développement de la qualification et de la formation des autres salariés. Tandis que les ateliers de production supportent l'activité de backoffice nécessaire à l'activité de recherche.
L'association emploie trente-sept personnes elle est agréée organisme de formation et impliquée dans plusieurs réseaux, membre notamment du PRIMI (www.primi.pro), le pôle transmedia Méditerrannée, un réseau d'entreprises tournées vers l'innovation et la production de contenus dans les filières cinéma, audiovisuel, multimédia et internet. Structure d'Insertion par l'Activité Économique, dotée du statut d'Entreprise Solidaire, l'association est aussi membre du Réseau National des Entreprises Apprenantes.

Partenaire de plusieurs projets internationaux de recherche scientifique, notamment le projet ANR LOCI (Locativité et Interaction en Informatique Théorique et Linguistique) financé par l'Agence Nationale pour la Rercherche, et le projet européen LIBEAC (Liberalism In Between Europe And China) financé par l'Union Européenne, le groupe accueille trois chercheurs permanents et cinq chercheurs associés dont les travaux portent sur les interactions sociales, leur formalisation et leur représentation (interactions langagières, dynamiques cognitives, réseaux sociaux).
L'association est aussi active dans des projets artistiques et culturels, avec en particulier la contribution apportée au projet ArtWar(e), soutenu par le DICREAM (CNC), et l'accueil d'artistes en résidence de création, notamment dans le cadre de l'opération Marseille 2013, en partenariat avec l'association MP2013, la Ville de Marseille et la Région PACA.

Chercheurs :

Samuel Tronçon
Pierre Livet

Queen Mary College, Dept of Computer Science, London

2011-05-10T16:12:43Z

Dept of Computer Science, Queen Mary College, London

- Partners

Queen Mary College, Dept Of Computer science, London

2011-05-20T14:35:30Z

Dept of Computer Science, Queen Mary College, London

Graham White du DCS de Queen Mary a initié une collaboration avec Ruth Kempson (King's College, London) dans le but de reformuler la syntaxe dynamique dans le cadre de la théorie des types "avec record", qui possède une notion d'incrémentation du contexte. Cela permet d'unifier les hypothèses syntaxique et sémantique. L'avantage fourni par cette reformulation est l'inclusion des types en tant qu'objets de première classe dans les représentations, rendant possible l'expression en un seul format du champs entier des effets attestés dans l'usage de la langue en discours et/ou en dialogue depuis la description des attitudes propositionnelles jusqu'à la spécification des actes de langage. Une des clés de l'apport de la TTR réside dans la construction formelle qui en est la base, à savoir l'intersection dépendante. Formellement, on a un objet (par exemple une chaîne que l'on essaie d'analyser) et on établit que c'est un élément de types de plus en pus petits, qui peuvent eux-mêmes dépendre de types déjà construits. Un ensemble riche de conditions de bord permet alors de refléter les valeurs déjà obtenues et celles qui sont à obtenir : de cette manière, on peut exprimer aisément la croissance d'un arbre conformément à la syntaxe dynamique.

Il est facile de voir ici en quoi cette problématique recoupe celle du présent projet. La ludique possède aussi cette capacité à représenter les types avec intersection, et il est normal dans un tel projet d'envisager la confrontation d'outils formels différents pour décrire des phénomènes semblables.

Chercheurs :

Ruth Kempson
Graham White

Quatrini Myriam

2011-03-09T10:21:31Z

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

RESPONSABILITES

Enseignante au Département de Mathématiques de la Faculté des Sciences de Luminy (et co-responsable de la mention MASS de la Licence Sciences et Technologies)
Membre de l'I.R.E.M. d'Aix-marseille (Directrice de l'I.R.E.M. d'Aix-Marseille d'octobre 2001 à octobre 2004)
Chercheur à l'Institut de mathématiques de Luminy, dans l'équipe « Logique de la Programmation »
Responsable scientifique du site partenaire Marseille pour le projet A.N.R. Prélude

RECHERCHE
Depuis mon recrutement comme Maître de Conférences en Mathématiques à l'Université Aix-Marseille 2, je suis membre de l'institut de Mathématiques de Luminy et j'effectue mes recherches au sein de l'équipe « Logique de la Programmation » Mes sujets de recherches se situent en Théorie de la Démonstration et plus particulièrement en Logique Linéaire et en Ludique. Depuis un certain nombre d'années, je m'intéresse également à la Linguistique Computationnelle. Actuellement, tout en poursuivant un travail mathématique sur la Ludique et en particulier ses liens avec la nouvelle Géométrie de l'Interaction dans les algèbres d'opérateurs que J.-Y. Girard développe actuellement, j'étudie la transposition des concepts novateurs de la Ludique pour l'étude des langues naturelles.

PUBLICATIONS (cinq parmi les plus significatives des cinq dernières années)

M.-R. Fleury, M. Quatrini : First order in Ludics, in Mathematical Structures in Computer Science 14,no 2, 189—213, 2004.
C. Faggian, M.-R. Fleury, M. Quatrini : Introduction to uniformity in Ludics, in Linear Logic in Computer Science , 236—246 London Mathematical Society, Lectures Notes Series 316. Cambridge University Press. 2005.
M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus, in Categorial grammars and pregroups special issue of Studia Logica 87.2/3, 2007.
A. Lecomte, M. Quatrini : Ludics and its applications to Natural Language Semantics, proceedings of Wollic 09, Tokyo, Japan, (Workshop on Logic, Language, Information and Computation), Springer, LNAI n° 5514, pp 242-256, 2009,
A. Lecomte, M. Quatrini : Ludics and Rhetorics, Actes de PRELUDE, Springer, LNCS, LNAI-Folli, to appear,

Positionnement

admin — 2011-02-19T01:32:44Z

LOCI (”Locativité et Interaction en Logique, Langage et Informatique”) s'inscrit dans une perspective résolument pluridisciplinaire, qui concerne à égalité :

l'informatique, dans ses aspects pratiques et ses liens avec la logique,
la linguistique,
les sciences humaines et sociales
la philosophie

Il ﬁgure en section SIMI (”Sciences de l'Information, de la Matière et de l'Energie”, sous-section ”Sciences de l'Information, Simulation”) qui s'avère être un lieu d'interdisciplinarité central sur ces domaines.

LOCI prend la suite d'un précédent projet ﬁnancé par l'ANR Blanc (de 2006 à 2009), PRELUDE : vers une pragmatique théorique basée sur la ludique et la théorie des continuations. Le programme PRELUDE a permis :

de faire de nouvelles propositions pour le calcul des représentations symboliques du discours, par utilisation des théories des continuations, et particulièrement, des calculs dits ”symétriques” inventés pour rendre compte de ces concepts informatiques, comme le λµ-calcul, λµµ-calcul de respectivement M. Parigot et P-L. Curien et H. Herbelin,
d'explorer les possibilités de la ludique (J-Y. Girard) aﬁn d'aller plus loin grâce à des outils permettant de représenter non seulement le discours mais le dialogue, non seulement une vue statique sur ce dernier, mais une vue dynamique.

La ludique, en tant que formalisme inventé par J-Y. Girard aﬁn de fournir un soubassement fondationnel aux opérations de la logique usuelle, s'est avérée un outil précieux pour penser tout ce qui, dans la langue, est du domaine de l'interaction, notion centrale présente déjà dans les travaux
de nombreux linguistes, de Bakhtine à Ducrot et de Kempson à Pinker. En plaçant l'interaction au coeur de la logique, la ludique permet de proposer de nouvelles formulations aux thèses qui ont pu être celles de ces différents auteurs (dialogisme, polyphonie, syntaxe dynamique, interactionnisme
cognitif ). Elle peut permettre même d'aller plus loin en proposant une base uniﬁée à l'étude des phénomènes de langage du point de vue du sens et de l'action (sémantique et pragmatique), sur une voie qu'on peut rapprocher en philosophie de celle suivie par R. Brandom dans Articulating reasons et Making It Explicit. En d'autres termes, elle permet d'envisager une formalisation d'une sémantique inférentialiste par opposition à la sémantique référentialiste usuelle.

Cette voie a commencé d'être explorée particulièrement à propos de l'analyse de l'argumentation (retour sur les fallacies d'Aristote, revues notamment par C. L. Hamblin, analyse des stratagèmes de Schopenhauer), de la présupposition et des actes de langage.
A bien des égards, le point de vue théorique développé dans LOCI peutêtre rapproché du paradigme de la signiﬁcation comme preuves (tel que développé notamment par M. Dummett, P. Martin-Löf, A. Ranta) puisque les concepts premiers que nous utilisons, les desseins, dans une certaine lecture, peuventêtre vus comme des preuves. Toutefois, ils peuvent aussiêtre vus comme des stratégies dans des jeux de langage au sens de Wittgenstein. Cette combinaison de deux aspects dans un même objet est ce qui permet d'ouvrir des perspectives intéressantes : d'un côté, un énoncé
peut être vu comme une construction et donc comme une preuve, et de l'autre comme une stratégie mise en place aﬁn de répondre aux contre-énoncés qui apportent des objections. L'idée défendue
dans le projet est que la confrontation dialectique est à la source de l'articulation logique de l'énoncé (davantage que les règles d'une grammaire a priori).

Dans ce nouveau projet, nous envisageons à la fois d'entamer des travaux sur les prolongements actuels des concepts de la ludique et de mener des recherches transversales sur d'autres approches formelles qui nous semblent particulièrement adaptées à l'étude des processus et de leur interaction (espaces de cohérence, théorie des types avec « record », modèles catégoriques et ”tressage” avec le premier ordre).
Ces questions propres à la logique et à ses aspects computationnels seront abordées en regard des domaines des sciences humaines plus particulièrementétudiés comme : la sémantique lexicale, la prise en compte de la syntaxe dynamique. la problématique de l'interaction telle qu'elle apparaît dans l'acquisition d'une langue des signes et la communication par le web, en tant que cadre fermé permettant de rendre compte de la pertinence d'une démarche logique basée sur l'interaction.

Moot Richard

2011-05-16T09:17:26Z

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

- Membres / Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Signes - INRIA

Mery Bruno

2011-05-16T09:17:18Z

Doctorant en Informatique, au LaBRI.

- Membres / Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Signes - INRIA

Mace Fanny

2011-05-10T15:52:25Z

- Membres / Modélisation de l'apprentissage de la langue des signes, Structures Formelles du Langage (UMR 7023 CNRS/Paris 8)

Loddo Jean-Vincent

2011-05-09T14:37:06Z

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 (AISC'2010). France 2010. pdf

* J.-V. Loddo, L. Saiu. Marionnet : a virtual network laboratory and simulation tool. 1th International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SimulationWorks'2010). Marseille, France, 2008. pdf

* P. Coupey, C. Fouqueré, J.-V. Loddo. Tree Components Programming : An Application to XML. In proceedings of the 4th International Colloquium of Theoretical Aspects of Computing (ICTAC'2007). Macau, China, 2007. pdf

* J.-V. Loddo, L. Saiu. Status report : marionnet or "how to implement a virtual network laboratory in six months and be happy". ACM SIGPLAN Workshop on ML (ML'2007), Freiburg (Germany), 2007. pdf

* R. Di Cosmo, J.-V. Loddo. Playing Logic Programs with the Alpha-Beta Algorithm. In proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000). St. Gilles, Ile de la Réunion, France 2000. ps.gz

* R. Di Cosmo, J.-V. Loddo and S. Nicolet. A Game Semantics Foundation for Logic Programming. In proceedings of the 6th International Conference on Algebraic and Logic Programming (PLIP 98). Pisa, Italy 1998, LNCS, Springer-Verlag. ps.gz (short), ps.gz (long)

* P. Degano, J.-V. Loddo and C. Priami. Mobile Processes with Local Clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm 1996. ps.gz

Livet Pierre

2011-03-09T10:22:03Z

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
P. Livet « Conversation et révision » Langage et Société, Les normes pratiques, n°119, p 43-62, 2007

Lecomte Alain

2011-03-09T10:22:12Z

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) à l'Université Paris 8, Vincennes – St-Denis
Publications dans de nombreuses revues internationales (Springer, Kluwer, CSLI)
Nombreuses collaborations avec chercheurs étrangers (Pays-Bas, USA, Italie)
Collaborateur extérieur de l'INRIA Bordeaux Sud Ouest, équipe SIGNES
Membre du GDR « Sémantique et Modélisation » (dir. F. Corblin)
Coordinateur du projet BLAN 0032 “PRELUDE” de 2006 à 2009.

PUBLICATIONS (5) :

‘Categorial Grammar for Minimalism', in Language and Grammar, Studies in Mathematical Linguistics and Natural Language, Phil Scott, Claudia Casadio et Robert Seely eds. CSLI, Stanford, 2005
'Rebuilding MP on a logical ground', Research on Language and Computation, volume 2, n° 1, 2004, Special Issue on Resource Logics and Minimalist Grammars, edited by Christian Retoré and Edward Stabler, Kluwer, pp 27 – 55
(avec C. Retoré) ‘Extending Lambek grammars : a Logical Account of Minimalist Grammars, in Actes du 39ème congrès de l'ACL (Association for Computational Linguistics), Toulouse, 9 – 11 juillet 2001, pp 354 – 362,
‘Semantics and Minimalist Grammars', Formal Grammar, 2008, CSLI Publications
(avec M. Quatrini) ‘Ludics and its Applications to Natural Language Semantics', proceedings of Wollic 09, Tokyo, Japan, (Workshop on Logic, Language, Information and Computation), Springer, LNAI n° 5514, pp 242-256, 2009,

Laboratoire d'Informatique de Paris-Nord

2011-03-16T13:10:47Z

Le Laboratoire d'Informatique de Paris-Nord (L.I.P.N.) est une unité mixte de recherche de l'Université Paris-Nord et du CNRS (UMR7030). Les recherches du LIPN portent sur l'automatisation du raisonnement autour des axes forts de la combinatoire, de l'optimisation combinatoire, de l'informatique fondamentale et de l'intelligence artificielle. Ces travaux s'appuient notamment sur des compétences en algorithmique, logique, langage naturel et l'apprentissage artificiel. Le laboratoire est structuré en cinq équipes dont les sujets de recherche présentent de nombreux points de rencontre : A3, AOC, CALIN, LCR et RCLN.

Coordinateur/responsable :

Mr. FOUQUERE
Christophe
Professeur
Informatique

Autres membres :

Mr. BOUDES
Pierre
MCF
Informatique

Mr. COUPEY
Pascal
Professeur
Informatique

Mr. LODDO
Jean-Vincent
MCF
Informatique

Mr. ROMANO
Marco
doctorant
Informatique

Mr. ABRUSCI
Michele
Professeur
Philosophie

Kempson Ruth

2011-03-09T10:21:52Z

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 Amherst
1985-1987 Reader General Linguistics. London.
1987-1999 Professor General Linguistics. SOAS.
1992-6 Head Linguistics Department, SOAS..
1998-2009. Professor General Linguistics. London. At KCL (Philosophy)
1999-2004 Leverhulme Research Professor
May 2009– Visiting Research Professor. QMUL.
September 2009-December 2010 Kings College London (pt-time) on
September 2009– Emeritus Professor Kings College London

Funded Research Projects
(1) 1980-83 SSRC 'Problems of Ambiguity' plus (2) 1983-4.
(3) 1988-89.ESRC.Grammar as an Input System. £14,500
(4) 1990-92.ESRC Logical Foundations of Relevance Reasoning (Gabbay, Cunningham). £75,780.
(5) 1995-7. EPSRC A Labelled Deductive System for Natural Language Understanding (Gabbay) £193,026.96
(6) 1997 Leverhulme. Language as communication : a dynamic perspective. £3174.
(7) 1999-2004. Leverhulme Research Professorship approx £250,000
(8) 2003-2004 ESRC 00-22-0355 Dialogue Dynamics I : A Pilot Study. £41,496
(9) 01/10/03-31/12/06. AHRC Joint project with L. Marten, SOAS
RGAN8675/APN 16312 A dynamic typology of pronouns and clitics in Romance and Bantu £267,212
(10) 01/07/07-30/06/08 F07/0540U (principal applicant) Dialogue Matters :
Securing Foundations for Dialogue Technology Development £150,000.
(11) 01/01/07-31/12/10 ESRC:RES-062-23-0962 Dynamics of Conversational Dialogue £698,951.00

Keiff Laurent

2014-03-10T06:45:49Z

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.

- Membres

Joinet Jean-Baptiste

admin — 2011-05-20T12:45:49Z

- Membres

Institut de Mathématiques de Luminy

2011-03-16T11:40:11Z

L'Institut de Mathématiques de Luminy a été créé le 1er janvier 1996 à partir de l'ancien Laboratoire de Mathématiques Discrètes (1992-1995).

L'IML est une UMR (Unité Mixte de Recherches) du CNRS qui dépend scientifiquement de l'Institut des Sciences Mathématiques et de leurs Interactions (INSMI) et administrativement de la Délégation Régionale Provence accueillant un bon nombre d'enseignants-chercheurs de la Faculté des Sciences de Luminy (elle est en convention de cotutelle avec l'Université de la Méditerranée).

L'Institut de Mathématiques de Luminy est situé sur le campus de Luminy.

Coordinateur / responsble

Mme QUATRINI Myriam Maitre de conférences Mathématiques.

Autres membres :

Mm FLEURY
Marie-Renée
MdC Retraitée
Mathématiques

Mr. VAUX
Lionel
Maître de Conférences
Mathématiques

Mr.SEILLER
Thomas
Doctorant
Mathématiques.

Fouqueré Christophe

2011-03-09T10:22:09Z

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

- Membres / Coordination, Modélisation de l'apprentissage de la langue des signes, Communication Web et Ontologies, Questions formelles autour de la ludique, Laboratoire d'Informatique de Paris-Nord

Fleury Marie-Renée

2011-03-09T10:21:01Z

• 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

Cuxac Christian

2011-05-09T14:36:56Z

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 visuelles pour l'analyse des processus de création d'unités gestuelles (LSF et gestualité naturelle) », CREAGEST, attribué par l'ANR dans le cadre du Programme Thématique Sciences Humaines et Sociales « Corpus et outils de la recherche en sciences humaines et sociales » 2007-2011.

– Depuis 2004, responsable français pour le CNRS d'un projet de recherche en collaboration avec le CNR (responsable italien : Elena Pizzuto) dans le cadre des programmes d'échanges internationaux du CNRS visant à comparer langue des signes française et langue des signes italiennes et à croiser nos données.

– Participation au projet STIC « Langue des signes » sous la responsabilité de J. M. Toulotte et S. Gibet visant à la création d'un avatar signant en LSF (à partir de 2004)

– Co-responsable (avec Patrice Dalle, IRIT Toulouse) d'une action spécifique « Interaction gestuelle » du département STIC du CNRS intitulée « Étude et développement de la communication homme-machine visuo-gestuelle », devenue équipe projet à partir de décembre 2003.

– Responsable scientifique et administratif d'un projet intitulé : "Les langues des signes : analyseurs privilégiés de la faculté de langage..." en partenariat avec le LIMSI (Orsay) et l'IRIT (Toulouse) et l'Université Paris IV, projet s'inscrivant dans le cadre du thème "Langage et Cognition" de l'Action Incitative 'Cognitique 2000' du Ministère de la Recherche.

– De 1991 à 2000, dans le cadre du LIMSI-CNRS, participation active (plusieurs interventions) au Groupe de travail « Le geste de communication », supporté par le pôle Paris-Sud Cognisciences. Réalisation d'un Document de Travail (cassette vidéo) intitulé : « Relations temporelles et aspectuelles en Langue des Signes Française ».

– Rapport de recherche concernant l'éducation des enfants sourds, intitulé : « Intégration ou éducation spécialisée : un faux problème », 1981, 76 pages URA 1031, ligne budgétaire de l'université « Rénovation Pédagogique ».

– De 1980 à 1982, m'a été confiée par Monsieur Dessaint, alors Directeur de l'INJS de Paris, à raison de 20 heures de vacations hebdomadaires, la responsabilité du Département « Langues et Recherches Linguistiques » du Laboratoire de Pédagogie de l'INJS de Paris dans le cadre de la mise en place d'une filière d'éducation bilingue pour les élèves sourds de l'INJS.

– Participation à un groupe d'étude sur « le langage mimo-gestuel dans l'éducation des déficients auditifs » organisé par le CTNERHI en 1977-78.

Publications :
– CUXAC C., 2000, La langue des signes française. Les voies de l'iconicité, Faits de Langues 15/16, Paris, Éditions Ophrys, 391 pages.
– CUXAC C., 1983, Le langage des sourds, Paris, Payot, 200 pages.

Coupey Pascal

2011-05-10T15:52:33Z

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

- Membres / Communication Web et Ontologies, Laboratoire d'Informatique de Paris-Nord

Boudes Pierre

2011-05-09T14:36:38Z

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 Galilée.

- Membres / Questions formelles autour de la ludique, Laboratoire d'Informatique de Paris-Nord

Beyssade Claire

admin — 2011-05-20T12:46:06Z

- Membres

Bassac Christian

2011-05-16T09:17:22Z

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

- Membres / Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Signes - INRIA

Abrusci Michele

2011-05-10T15:52:31Z

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 multiples additifs logique linéaire non commutative et multiples additifs logique linéaire, dans "Les preuves linguistiques et les catégories", Clueb, 1996.

Autres :

Coordinateur du "site Roma Tre dans le TMR Réseau de recherche sur la logique linéaire" en informatique théorique