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

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

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

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,

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,

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

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