ANR-PRELUDE

Structures Formelles du Langage

Samuel Tronçon — 2007-04-25T20:31:32Z

Axes de recherche :

Développement d'une théorie minimaliste de la syntaxe et de la morphologie,

Langues et grammaire,

Acquisition des langues,

Poétique et métrique comparées.

Formalisation de la modalité visuo-gestuelle

Les travaux de l'unité portent sur la comparaison et la typologie des langues naturelles (y compris les langues signées), les formalismes grammaticaux, l'organisation interne des divers composants (syntaxe, morphologie, phonologie) et les relations d'interface entre eux, la poétique et la métrique,

Le traitement des langues naturelles par le sujet parlant (acquisition des langues, langues des signes, construction du discours).

SIGNES

Samuel Tronçon — 2007-04-25T20:21:22Z

Dès les débuts de l'informatique, la linguistique a été à la fois un champ d'investigation privilégié (traduction automatique) et la source de notions clefs (la théorie des langages formels). Plus récemment la logique est apparue comme un élément fédérateur capable de traiter de la sémantique de la langue, mais aussi de sa syntaxe. L'équipe SIGNES souhaite réaliser et articuler les modèles et algorithmes correspondant aux différents niveaux d'étude et de traitement informatique de la langue, l'accent étant placé sur l'interface entre syntaxe et sémantique. Plus précisément, elle se propose de modéliser par des méthodes formelles :
théorie des langages
grammaires catégorielles
logique des ressources
lambda-calcul
logique d'ordre supérieur

certains aspects de la langue :
morphologie dérivationnelle et sémantique lexicale
morphologie flexionnelle
prosodie
syntaxe
sémantique logique
représentation du discours

Parmi les objectifs envisagés, il faut mentionner le lien entre grammaires formelles et grammaires catégorielles, l'intégration de la morphologie et de la syntaxe, le calcul de représentations sémantiques à partir d'analyses syntaxiques (catégorielles, minimalistes,...), la résolution d'anaphores, le passage de la structure prédicative de la phrase à la structure logique du discours. Les algorithmes correspondants, d'analyse, de génération ou d'acquisition seront programmés dans des langages de même nature logique (OCaML), et la démonstration assistée par ordinateur (Coq) sera utilisée pour établir les propriétés des systèmes formels utilisés.

Ces techniques sont mises en oeuvre à travers deux applications :
réalisation d'un site navigable de la littérature en sanskrit
génération d'énoncés en langue des signes française

Réunion préparatoire

Samuel Tronçon — 2008-12-04T14:17:00Z

La réunion aura lieu à la salle de réunion du DEC du rez-de-chaussée du 29 rue d'Ulm, le 4 décembre 2008.

10h : Myriam Quatrini et Alain Lecomte "Sémantique des propositions et ludique"

12h : Mawusse Adotevi, "Jeux de langage et raison communicationnelle"

14 h : Réunion de préparation du colloque annuel et de la publication des actes PRELUDE.

Réunion exploratoire

Samuel Tronçon — 2009-06-04T08:36:00Z

Programme de la journée du jeudi 4 juin, organisée à l'Ecole Normale Supérieure, 29, rue d'Ulm, à Paris.

Matin, Salle du rez de chaussée du "Pavillon jardin" :

10h - 11h30 Antonio Mosca "la nature sémantique du rapport entre syntaxe et pragmatique : l'exemple de l'interaction et du malentendus dans l'enseignement des langues vivantes"

11h30 - 13h00 Paul André Mellies

Après-Midi (Salle Langevin) :

14h-15h30 Laurent Roussarie Les modalités épistémiques

15h30 - 17h00 Samuel Tronçon Quelques pistes de travail sur les liens entre ludique et sémiotique cognitive

Réunion de lancement

Samuel Tronçon — 2006-11-29T08:00:00Z

Lieu : Université Paris 8 Vincennes-Saint Denis, salle D 143 bâtiment D Adresse : 2 rue de la Liberté, Saint-Denis Accès : station de métro « Saint-Denis – Université », terminus de la ligne 13 - 4. Réunions de travail

Rapport 10/2006 - 06/2007

Samuel Tronçon — 2008-12-11T19:51:08Z

- 7. Rapports

Rapport 06/2007 - 01/2008

Samuel Tronçon — 2008-12-11T19:52:09Z

- 7. Rapports

Rapport 01/2008 - 06/2008

Samuel Tronçon — 2008-12-11T19:53:04Z

- 7. Rapports

Note d'intention

Alain Lecomte — 2007-04-25T21:40:54Z

Depuis environ deux décennies, la situation en logique s'est profondément modifiée avec l'apparition de la logique linéaire (Girard, 1987). Désormais, la logique n'est plus cantonnée à une description statique de relations entre entités discursives : on ne se contente plus d'un point de vue extérieur sur la discursivité qui consisterait simplement par exemple à attribuer des valeurs de vérité à des énoncés. La notion de processus a intégré la logique. Elle y était déjà en germe à vrai dire, depuis le calcul des séquents de Gentzen et son théorème d'élimination des coupures.

Dans l'algorithme d'élimination, une règle de logique n'est plus vue comme un simple passage d'un énoncé à un autre, elle devient une action élémentaire définie par ses capacités d'interaction avec les autres règles.

D'autre part, on demande à une logique d'être convergente au sens où le processus de normalisation doit à être confluent. Cela n'est pas toujours le cas. En particulier, cela ne peut pas à être le cas en logique classique. D'où l'intérêt porté à la logique intuitionniste puis à la logique linéaire. Cependant, la manière dont la logique classique diverge peut être maîtrisée : l'isomorphisme de Curry-Howard peut en effet à être prolongé à la logique classique au moyen notamment du λμ-calcul (M. Parigot, 1992) et, malgré le nondéterminisme du calcul, cela apporte, comme il en sera question dans ce projet, de nouvelles visions concernant la sémantique des langues naturelles.

D'autre part, la logique vue de cette manière peut donner lieu à ce que Girard appelle la géométrie de l'interaction (Girard, 1989), c'est-à-dire la théorie des interactions possibles entre des processus qui s'échangent de l'information (réseaux de preuves etc.) puis la ludique (Girard 2001, 2003). Cela a pour conséquence que certains chercheurs, aujourd'hui, changeant complètement l'objet de la logique (qui, jusque là était une sorte de théorie de la vérité ou une théorie des inférences correctes) font de celle-ci une science formelle des processus informationnels convergents (J. B. Joinet, 2005).

La logique n'est plus vue comme un ensemble de cadres et de recettes permettant à un "calculateur" ou à un "démonstrateur" d'accomplir sa mission : elle a pour vocation ambitieuse de prendre comme objets les processus (de production et d'échange d'information) tels qu'ils se trouvent, oserait-on dire "dans la nature", sans qu'il soit nécessaire de remonter à leurs auteurs (si tant est que cette notion ait un sens) pour en décrire les mécanismes à condition qu'ils soient raisonnables ou maîtrisables. On retrouve cette approche analytique dans la ludique où les interactions se font entre processus dépouillés de leur ancrage logique (les formules).

Pour nous résumer :
désormais, la logique est posée comme une science générale formelle des processus informationnels (convergents !),
elle étudie la dynamique d'interaction entre de tels processus, laquelle est basée sur un ensemble de principes de conversion simples (cf. la β- conversion),
la conversion produit des formes symboliques traduisant l'effectuation de certains programmes,
dans ce tableau d'ensemble, ce qui est au centre, ce ne sont pas les "preuves concrètes", mais la dynamique de leur obtention.

Venons-en maintenant au langage. La réflexion sur l'origine du langage a redémarré ces dernières années (après avoir été littéralement bannie de la communauté linguistique pendant presque un siècle), mais elle n'a pas encore fourni beaucoup de certitudes. A peine commençons-nous à penser que ce n'est pas seulement à des fins de communication que le langage humain, avec tout ce qu'il comporte de complexité (phonologie, morphologie, syntaxe) est apparu dans l'espèce. Le rôle du langage dans la transmission du savoir entre générations, afin de compléter l'hérédité biologique par une autre forme d'hérédité apparaît de plus en plus. Il ne serait pas étonnant, de ce point de vue, de trouver une parenté entre processus biologiques et processus linguistiques.

Le biologiste Antoine Danchin hiérarchise les phénomènes selon deux niveaux : • le physique : matière, énergie, temps • le biologique : information, codage, contrôle Nous faisons l'hypothèse d'un troisième niveau : • le linguistique : pertinence, inférence, dialogue ou, plus brièvement : si le biologique se définit comme le physique + l'information, le linguistique ajoute à l'information la pertinence. Sur quoi étayer cette hypothèse d'un troisième niveau ? Si nous retenons l'idée (V. Danos, 2005) que le biologique est solidaire d'un "pôle informationnel" qui ne peut se survivre que par la reproduction et qui est responsable de l'individuation, nous suggèrerons en parallèle que la pertinence, en quoi nous reconnaissons la marque du linguistique, ne peut se perpétuer que par la continuation des discours (dans un flux de langage qui ne se tarit jamais depuis les origines) et qui serait responsable de ce processus tout aussi fondamental pour les humains que l'individuation pour les à êtres biologiques : la socialisation, et partant évidemment, de l'achèvement de leur individuation au sein du social.

Si, en biologie, la notion de programme génétique n'est plus une simple métaphore à partir du moment où on peut décrire les mécanismes cellulaires comme des "ordinateurs vivants" (Danchin), similairement en linguistique, les mécanismes de l'interprétation sémantique sont semblables à ceux que l'on trouve en matière d'évaluation de programmes, ce qui rend l'interprétation de la phrase analogue à une évaluation de forme symbolique. Cependant, il ne s'agit jamais de tout évaluer, mais seulement, dans un flux permanent d'informations, les fragments pertinents.

Si la vie trouve son origine dans la nécessité de maintenir un cycle informationnel, on peut suggérer que le langage (et tout ce qu'il draine avec lui en matière de symboles et donc de culture et d'organisation de la société) trouve la sienne dans la nécessité de maintenir un flux de pertinence dans l'information, tâche qui s'effectue principalement par le dialogue et plus généralement par ce que Wittgenstein appelait des jeux. La logique et les mathématiques s'intéressent alors aux structures formelles que cela met en oeuvre. De même que la vie trouve une solution dans une structure formelle : celle de l'hélice de Crick et Watson, l'hominisation en trouve une, voire plusieurs, dans la structure formelle liée à l'activité langagière (dialogique, conversationnelle etc.). Dans les deux cas, ce que nous entendons par "structure formelle" réside dans l'identification de quelques invariants qui assurent la reproduction, la réplication et la diffusion. En tentant l'analogie entre le langage et le biologique, nous avons ainsi retrouvé l'idée de dynamique de la conversion qui est au coeur de la logique actuelle.

Il existe déjà bien sûr de nombreux travaux de linguistique formelle qui utilisent les outils évoqués ci-dessus, à savoir l'isomorphisme de Curry-Howard, pour produire non pas des programmes mais des représentations sémantiques, mais il est intéressant de noter que des chercheurs (P. de Groote, 2001, C. Barker, 2002) ont montré qu'il y avait un parallélisme étroit entre certains styles de programmation développés dans les langages fonctionnels (LISP, Scheme) et les mécanismes d'évaluation en vigueur dans la langue. Ainsi, en linguistique, comme en biologie, l'idée de programme n'est pas qu'une métaphore : le sens des phrases se calcule comme on évalue le texte d'un programme. Dans ce projet, nous approfondirons cette approche en montrant comment resituer des théories sémantiques déjà datées comme la DRT (Discourse Representation Theory) à l'intérieur d'un modèle de calcul mieux approprié et plus à même de rendre compte de la dynamicité dont elle se réclame. On notera cependant que le développement de la linguistique (dite "computationnelle") est limité par une impasse tant que nous nous limitons à la production de formules pour représenter le sens car le sens d'une expression n'est pas une formule : si c'était le cas, il faudrait donner le sens de cette formule au moyen d'une autre formule et ainsi à l'infini. Le sens d'une expression ne réside pas davantage dans ses conditions de vérité car cela supposerait une manière d'établir en toutes circonstances des liens dénotationnels entre les composants du langage et des objets ou conditions externes, ce qui ne s'avère possible que dans de rares cas (le plus souvent des cas d'école liés à des micro-univers comme on en rencontre en IA). Il faut donc franchir un cap supplémentaire dans la réflexion sur le langage. Pour cela, à nouveau les évolutions récentes de la logique peuvent nous apporter des outils précieux. Si le "sens" n'est certainement pas figeable en des formules parfois absconses, nous sommes de plus en plus tentés de le considérer en action. Le sens de mon énoncé est dans la manière dont il est poursuivi par moi ou par mon interlocuteur dans une interaction dialogique qui ne s'arrête en réalité jamais. Mon discours embraye sur celui d'autrui et sert d'embrayeur à son tour pour qui prendra ma suite ou me répondra. Les énoncés émergent non pas d'un "sujet idéal" à la source du sens, ni d'un point abstrait d'un espace, à partir duquel se génèreraient tous les énoncés possibles dans le cadre d'une grammaire générative globale et définitive, mais d'un interdiscours (M. Foucault, 1969, M. Pêcheux, 1975, F. Mazière, 2005) au sein duquel se constitue une mémoire discursive à l'oeuvre pour chacun, et la signification devient manière de se déplacer dans cet espace, d'y repérer des formes stables ou des bifurcations "catastrophiques". On peut imaginer que la topologie de cet interdiscours soit celle d'arborescences infinies qui se construisent en interaction constante les unes avec les autres.

La notion de jeu infini, au sens logique du terme, devient alors utile pour penser ces processus car elle embrasse la notion de dialogue et ne présuppose pas un commencement absolu. Dans la continuité de son programme "Géométrie de l'interaction", J.-Y. Girard réalise dans "la ludique" (J.-Y. Girard 2001,2003) une nouvelle théorie de la logique qui se pose comme le cadre formel dans lequel on peut conceptualiser l'interaction. Du statut de texte qu'elles avaient dans les systèmes axiomatiques les démonstrations formelles sont d'abord devenues des lambda-termes ou des programmes et ont permis la modélisation d'une vision fonctionnelle du calcul. La logique linéaire, en réintégrant les symétries perdues par la logique intuitionniste (notamment l'involutivité de la négation) a permis de les expliciter comme des réseaux d'interaction et de les interpréter comme des opérateurs sur un espace de Hilbert. La symétrisation, illustrée par le fait que la dualité entre une formule et sa négation linéaire s'exprime par l'échange des entrées et sorties entre deux opérateurs u et v sur l'espace de Hilbert, permet de passer d'une modélisation fonctionnelle du calcul à une modélisation de l'interaction. A cette étape là les preuves s'émancipent déjà des formules qui étiquètent les réseaux davantage pour indiquer les branchements possibles que pour témoigner des étapes d'un calcul vers un résultat attendu. Avec la ludique on assiste à l'émancipation des preuves de leur nature de ...preuves. Plus précisément, les objets qui sont au centre de la ludique, les desseins sont des objets qui généralisent les démonstrations formelles : ils ne contiennent que ce qui leur est nécessaire pour être support de l'interaction. D'une part, les formules et sous-formules ont disparu au profit de la notion de "lieu" (on ne retient que l'adresse d'une sous-formule relativement à une formule). D'autre part est introduite une "règle" non logique mais nécessaire pour intégrer dans le calcul les interactions entre des formes duales (qui ne peuvent pas bien sûr être toutes deux prouvables). On peut alors considérer preuves et "contre-preuves" comme des objets de même nature. Une étape importante pour la réalisation de ce programme a été la découverte par J.-M. Andréoli (Andréoli 1992) de la focalisation. Andréoli a montré que les preuves ne différant que par l'ordre de règles de même polarité pouvaient être identifiées. La focalisation permet de regrouper en une seule étape d'inférence les règles de même polarité et de quotienter ainsi l'espace des preuves. Rappelons que la notion de polarité a été introduite en logique linéaire par J.- Y. Girard dans (J.-Y. Girard 1991) et permet de séparer en deux groupes (positif/négatif) les connecteurs et les opérations logiques selon leur comportement dans le cadre de la recherche de preuves (irréversible/réversible) ou leur interprétation par exemple en sémantique des jeux (affirmation/interrogation, actif/passif). Ainsi les objets de base de la ludique (les desseins) sont construits avec trois "règles" (en fait des actions) : une action positive, une action négative et une action non logique appelée le daimon qui permet de clore le dialogue et donc de ne pas poursuivre l'interaction. Finalement, retenons que dans la ludique, la construction d'une preuve se fait au cours d'un dialogue entre un proposant et un opposant, l'opposant essayant à chaque pas de construire une "contre-preuve" face au proposant. Celui des deux qui perd est celui qui utilise son démon : sorte de moyen de clore la discussion quand on s'avoue vaincu, mais il est possible d'envisager des jeux qui ne s'arrêtent jamais comme c'est le cas sans doute du jeu du langage..... Il y a deux apports essentiels de la ludique à la réflexion sur le langage et ses usages, ce sont en même temps ses deux caractéristiques essentielles (M. R. Fleury et M. Quatrini, 2004) : d'une part l'idée de remplacer la sémantique à la Tarski , très artificielle, basée sur le vis-à-vis d'un langage (syntaxe) et d'un modèle ("interprétation"), par une conception internaliste où les preuves sont opposées à des contre-preuves, et d'autre part l'idée localiste selon laquelle les énoncés sont toujours à voir comme des tokens, autrement dit ont une localisation spatio-temporelle bien déterminée, au lieu d'être vus comme des entités idéales (spiritualistes).

Ces deux points de vue fondent, à notre avis, la possibilité d'une pragmatique théorique. Une telle pragmatique s'oppose à la pragmatique connue jusqu'à aujourd'hui, basée sur une vision morcellaire et essentiellement classificatoire des actes de langage inspirée des travaux d' Austin, Searle ou Vanderveken (J. Searle, D. Vanderveken, 1985, D. Vanderveken, 1988), en ce qu'elle est indissolublement liée à la notion d'interaction au sens fort du terme, c'est-àdire comme processus fondamental qui co-construit les pôles (subjectifs) entre lesquels elle s'exerce (voir la notion de comportement en ludique). Un de nos objectifs est donc de mettre en évidence les concepts pertinents, empruntés à des théories de l'interaction comme la ludique, permettant de jeter les bases d'une telle approche. En conclusion, ce projet a pour objectif principal d'approfondir les phénomènes liés au langage où la conversion est un fonctionnement fondamental et où interagissent des instances déjà là, comme le sont des énoncés déjà produits, au sein d'un processus global de combinaison des significations. Le modèle commun à ces mécanismes est le calcul logique, en tant qu'il inclut une dynamique le rendant apte à modéliser les processus. Plus généralement, le phénomène de la cognition lui-même nous paraît devoir entrer dans cette perspective : l'idée du cognitivisme classique selon laquelle chaque sujet est un centre de fonctionnement autonome à penser selon un modèle computo-représentationnel semblant nous conduire aujourd'hui à une impasse (S. Auroux, 1998).

Références :

J.-M. Andréoli (1992) Logic Programming with Focusing Proofs in Linear Logic. The journal of Logic and Computation 2 (3).

S. Auroux, 1998 : La raison, le langage et les normes, PUF, Paris

C. Barker, 2002 : Continuations and the nature of quantification, Natural Language Semantics, 10(3)

A. Danchin, 2005 : La métaphore de l'ordinateur est-elle appropriée pour décrire les organismes vivants ? http://www.pasteur.fr/recherche/uni...

V. Danos, 2005 : intervention à la Journée sur "le logique et le biologique", Paris, Sorbonne, avril 2005

M. R. Fleury et M. Quatrini, 2004 : First order in Ludics, Mathematical Structures in Computer Science 14,

M. Foucault, 1969 : L'archéologie du savoir, ed. Gallimard

J.Y. Girard, 1987 : Linear Logic, Theoretical Computer Science, 50,

J. Y. Girard, 1989 : Geometry of Interaction, I, Logic Colloquium 1988, Amsterdam

J.-Y. Girard (1991) A new constructive logic : classical logic. Mathematical Structures in Computer Science, 1 : 255-296, 1991.

J. Y. Girard, 2001 : Locus Solum, Mathematical Structures in Computer Science 11(3),

J. Y. Girard, 2003 : From Foundations to Ludics, Bulletin of Symbolic Logic

P. de Groote, 2001 : Type raising, continuations and classical logic, Proceedings of the 13rd Amsterdam Colloquium, ILLC, Amsterdam

J. B. Joinet, 2005 : intervention à la Journée sur "le logique et le biologique", Paris, Sorbonne, avril 2005

F. Mazière, 2005 : L'analyse du discours, PUF

M. Parigot, 1992 : λμ-calculus : an algorithmic interpretation of classical natural deduction, in Voronkov, ed. Proceedings of the International Conference on Logic Programming and Automated reasoning, LNAI 624, Springer

M. Pêcheux, 1975, Les Vérités de La Palice, Maspero

J. Searle et D. Vanderveken, 1985 : Foundations of Illocutionary Logic, Cambridge University Press

D. Vanderveken, 1988 : Les actes de discours, ed. P. Mardaga

Logique de la Programmation

Samuel Tronçon — 2007-04-25T19:52:05Z

L'équipe Logique de la Programmation est une équipe de recherche de l'Institut de Mathématiques de Luminy, UMR 6206 du CNRS. Fondée par Jean-Yves Girard en 1992, l'équipe LDP fait porter sa recherche sur la logique mathématique, la théorie de la démonstration et la théorie du calcul, ainsi que sur les interactions entre ces théories et d'autres disciplines, notamment les mathématiques, l'informatique, la linguistique, la philosophie et la biologie.

L'équipe a de nombreuses collaborations avec des laboratoires en France (Marseille, Paris, Montpellier, Sophia-Antipolis, Grenoble, Chambéry, Nancy) et à l'étranger (Italie, Royaume-Uni, Allemagne, Canada, Etats-Unis, Japon). Au niveau local elle participe aux activités de la FRUMAM, et organise un groupe de travail avec des chercheurs du LIF.

Elle coordonne l'ACI Géométrie du Calcul, et participe à l'AS Topologie Algébrique pour l'étude des structures de calcul, et notamment de la concurrence, au Master Recherche de Mathématiques Discrètes et Fondements de l'Informatique et au Master Professionnel de Mathématiques et Informatique des Nouvelles Technologies.

Sur le plan scientifique l'équipe s'est récemment ouverte à de nouveaux champs d'application : théorie homotopique du calcul, combinatoire des relations, vérification automatique, logique et philosophie, systèmes discrets et biologie. Le paradigme initial est la correspondance de Curry-Howard, qui relie preuves et formules logiques aux concepts informatiques de programmes (termes du lambda-calcul) et types. Ce paradigme est à l'origine d'un grand nombre de développements (notamment la logique linéaire de Girard), sujets de recherche pour plusieurs membres de LDP.

Les sémantiques en forme de jeux

Samuel Tronçon — 2008-03-19T08:00:00Z

La réunion aura lieu le mercredi 19 mars à Paris :
9h - 12h30 : Salle Celan, 45 rue d'Ulm, RdC couloir AB,
14h -18h : Salle W, 45 rue d'Ulm, 4ème étage escalier B.

Cette journée a pour thème les aspects théoriques et philosophiques des sémantiques "théorie des jeux" et de la ludique.

Sont prévus des exposés de :
G. Sandu (TBA)
A. Lecomte, M. Quatrini (sur la ludique)
L. Keiff (sur le "pluralisme dialogique")
A. Pietarinen

Les calculs symétriques

Samuel Tronçon — 2008-01-16T08:00:00Z

Première réunion 2008 autour des "calculs symétriques"

mercredi 16 janvier à l'ENS (Paris), de 10h à 17h : 29 rue d'Ulm salle de séminaire du DEC rez-de-chaussée (couloir immédiatement à droite)

La journée du mercredi 16 janvier à l'ENS (Paris) sera consacrée aux "calculs symétriques" c'est-à-dire aux calculs qui traitent particulièrement de la dualité entre termes (programmes) et co-termes (contextes), comme les calculs de Curien et Herbelin et de Lambek-Grishin, et qui donc possèdent une interprétation au moyen des continuations, et questions diverses concernant les systèmes d'inférence.

Invités :
Hugo Herbelin pour une suite à son exposé de Carry-le-Rouet où il est question de rejoindre certaines idées de la ludique !
Lutz Strassburger qui nous parlera de l'inférence profonde,
Kosta Dosen qui parlera de la théorie catégorielle de la démonstration
Richard Moot qui nous parlera du calcul de Lambek-Grishin.

Le programme PRELUDE

Samuel Tronçon — 2007-04-26T20:09:58Z

PRELUDE a pour objectif principal d'approfondir les phénomènes liés au langage où la conversion est un fonctionnement fondamental et où interagissent des instances déjà là, comme le sont des énoncés déjà produits, au sein d'un processus global de combinaison des significations. Le modèle commun à ces mécanismes est le calcul logique, en tant qu'il inclut une dynamique le rendant apte à modéliser les processus.

Plus généralement, le phénomène de la cognition lui-même nous paraît devoir entrer dans cette perspective : l'idée du cognitivisme classique selon laquelle chaque sujet est un centre de fonctionnement autonome à penser selon un modèle computo-représentationnel semblant nous conduire aujourd'hui à une impasse

Ce projet est financé par l'Agence Nationale de la Recherche (ANR), sur le programme ANR-Blanc, qui a pour objectif de "donner une impulsion significative à des projets ambitieux qui se positionnent favorablement dans la compétition internationale et qui présentent des objectifs originaux, en rupture avec les itinéraires de recherche bien balisés".

La thématique linguistique

Samuel Tronçon — 2007-03-16T09:00:00Z

Lieu : ENS, salle INF0 2, Immeuble Rataud, entrée par le 45 rue d'Ulm.

Horaires : à partir de 10 h

Exposés :

Présentation de la DRT (par Laurent et Claire)
Dialogue (…)
Aspect et temporalité (Jean-Baptiste)

Discussion : sur les applications de la ludique et des continuations à ces thèmes.

Introduction à la ludique et aux continuations

Samuel Tronçon — 2007-02-06T08:00:00Z

Lieu : ENS, salle de direction, 1er étage droite, 29 rue d'Ulm

Programme :

matin : introduction à la ludique (Myriam, Marie-Renée et Alain)

après-midi : introduction aux continuations, continuations et DRT (Philippe)

Introduction à la ludique et applications à la pragmatique

Alain Lecomte, Marie-Renée Fleury-Donnadieu, Myriam Quatrini — 2007-03-10T22:37:18Z

Ce texte essaie de présenter les concepts de la ludique de manière intuitive, ce n'est pas un texte formel (en particulier certains définitions sont laissées volontairement dans un état relativement informel) - 1. Présentation

Compte rendu 4/12/08

Samuel Tronçon — 2008-12-11T20:00:30Z

- 7. Rapports

CALLIGRAMME

Samuel Tronçon — 2007-04-25T20:16:32Z

Le thème de recherche de CALLIGRAMME est l'utilisation de la logique linéaire et, en particulier de la théorie des réseaux de démonstration dans la modélisation de la circulation de l'information. Deux cas spécifiques de circulation de l'information sont envisagés : dans les calculs de processus, l'information communiquée entre agents ; dans le cas de l'analyse grammaticale, l'information syntaxique échangée entre les constituants d'un même syntagme.

Axes thématiques • Réseaux de démonstration et d'interaction • Logique linéaire et parallélisme • Logique linéaire et grammaires formelles • Calculs lambda typés et sémantiques

Un des objectifs applicatifs de ces quatre actions de recherche est la mise au point d'un modèle grammatical basé sur la logique linéaire permettant d'intégrer diverses théories linguistiques.

Relations scientifiques et industrielles • Coopération avec le laboratoire de recherche Xerox à Grenoble • Collaboration avec l'Institut de Mathématiques de Luminy • Nombreux échanges avec des centres universitaires : Imperial College, Universités d'Utrecht, de Rome III, d'Indiana, de Catalogne, de la Sarre, de Pennsylvanie

Annexe scientifique

Samuel Tronçon — 2008-12-11T19:55:07Z

- 7. Rapports

6. Photos

Samuel Tronçon — 2008-06-03T20:42:44Z

- 3. Autour de la ludique, du dialogue et des interactions

6. Les exposés

Marie-Renée Fleury-Donnadieu — 2007-06-22T15:35:09Z

- 1. Pragmatique, Ludique et Continuations

5. Modalités de financement

Samuel Tronçon — 2007-04-25T13:19:11Z

Pour les membres de l'ANR rattachés à un site, la prise en charge est effectuée directement par le site d'affiliation (Paris, Bordeaux, Nancy, Marseille). Merci de prendre contact avec le secrétariat dont vous relevez.

Pour les invités et membres hors-sites, la prise en charge sera assurée par un des sites participants (répartition sera faite une fois que tous les invités auront confirmé leur présence).

Les participants sont priés de faire l'avance des frais de transport et de logement sur place. Des bordereaux de mission vous seront transmis (probablement à votre arrivée) afin d'accélerer le remboursement. Merci de vous munir d'un RIB.

5. Exposés

Myriam Quatrini — 2007-10-08T15:13:42Z

- 2. Sémantique et pragmatique du discours et du dialogue

5. Exposés

Samuel Tronçon — 2008-06-26T15:07:44Z

- 3. Autour de la ludique, du dialogue et des interactions

4. Renseignements pratiques

Samuel Tronçon — 2007-03-10T23:25:32Z

Dates : mercredi 13, jeudi 14 et vendredi 15 Juin 2007

Lieu : Centre de vacances Vacanciel, "La calanque", à Carry le Rouet (13620)

Hébergement : en pension complète au centre de vacances

Accès :

Par la route :
- depuis Paris/Lyon : Autoroute A6 et A7 puis autoroute A55 direction Fos/Martigues jusqu'à la sortie Carry le Rouet. Prendre ensuite Plage du Rouet et suivre le fléchage.
- depuis Bordeaux/Toulouse : Autoroute A54 direction Arles puis nationale 568 vers Martigues puis A55 direction Marseille sortie Carry le Rouet, prendre ensuite plage du Rouet.

Par le train :
- Gare TGV de l'Arbois Aix en Provence (environ 20 km à 30 mn).
- Gare de Marseille St-Charles à 25 km (30 mn), possibilité de changement pour Carry-le-Rouet, la gare étant à 3,5 km du VACANCIEL par la route.

Par avion : Aéroport International de Marseille-Provence (Marignane 19 km) à 15 mn par l'autoroute.


vue d'avion du Centre Vacanciel

4. Renseignements pratiques

Samuel Tronçon — 2008-11-26T15:23:00Z

Lieu :

Voici ou se situe Pauillac (au Nord-Ouest de Bordeaux).

Le colloque aura lieu à l'Hotel de France et d'Angleterre, de même que l'hébergement.

Comment venir :

Il y a une gare SNCF à Pauillac.

Pour venir en train : Les horaires du TER : 01/11 : Bordeaux (St Jean) - Pauillac 02/11 : Bordeaux (St Jean) - Pauillac 03/11 : Pauillac - Bordeaux (St Jean)

Les horaires Grandes-Lignes : 01/11 et 02/11 : Paris (Montparnasse) - Bordeaux (St Jean) 03/11 : Bordeaux (St Jean) - Paris (Montparnasse)

Autres horaires : En cars Citram (ligne 705). Voir les horaires. Par d'autres moyen de transport : voir le site de la mairie de Pauillac ou consulter une carte. L'aéroport de Bordeaux est à 45 minutes environs par navette de la Gare SNCF de Bordeaux St Jean Aéroport vers gare : une navette toutes les 45 minutes de 7h45 (8h30 le samedi et le dimanche) à 22h45 Gare vers Aéroport : une navette toutes les 45 minutes de 6h45 (7h30 le samedi et le dimanche) à 21h45 Le réseau de transport urbain de Bordeaux.

Organisation

Pour les journées du 31 octobre et du 1er novembre :

Alain Lecomte

Pour les journées du 2 et 3 novembre :

Sylvain Pogodalla

Myriam Quatrini

Christian Retoré

4. Informations pratiques

Samuel Tronçon — 2008-06-03T20:49:12Z

There is a bus from Grenoble to Autrans from the bus station (close to the railway station, on your left when you get off the railway station) at 10.05. Perhaps you will have to change at Lans-en-Vercors, (but the driver will tell you). You will be at Autrans around 11.05. There, a shuttle will get you to the Hotel "l'Escandille".

The stay at "L'Escandille" is planned to take place from Wednesday afternoon to Friday afternoon, it is the reason why lunch on arrival is not included in the stay, but there is of course an opportunity to take one (at the price of 17 euros, which will be charged to you). I guess the following people will be candidates for lunch (because of their arrival on the morning) : Carl, Marie-Renée, Myriam, Samuel, Christophe Fouqueré, Claire, Laurent, Emmanuel, Aude, Marie-Hélène, Sylvain. Tell me whether it is not the case or if you wish to take one and you are not included in this list.

On Thursday, a small walk is planned (two hours), if you are interested don't forget to bring with you appropriate shoes for walking (not specifically "mountain" shoes, but reasonable ones). NEW : "L'Escandille" is just on the edge of the small village, at 1,2 kms from the Center. If coming by car, you have to go through the village and then to continue on your right : l'Escandille will be on your left. All facilities are provided, even a free WiFi zone.

4. Call for papers

Samuel Tronçon — 2007-12-06T11:15:58Z

Submission topic

Symmetric calculi and Ludics for the semantic interpretation

Areas of interest

Linguistics - Computational Linguistics - Applied mathematics - Philosophy of logic and language - Logic - Cognitive Science

Submission details

Authors are invited to submit an anonymous, extended abstract. Submissions should not exceed 7 pages, including references. Submissions should be in PDF format. Please send your submission electronically using the interface EasyChair. The submissions will be reviewed by the workshop's programme committee.

Important Dates

Submission Deadline :	March 8, 2008
Notification :	April 21, 2008
Preliminary programme :	April 24, 2008
ESSLLI early registration :	May 1, 2008
Final papers for proceedings :	May 17, 2008
Final programme :	June 21, 2008
Workshop dates :	August 4-8, 2008

Proceedings

Final versions of reviewed articles will be published.

4. Call for papers

Samuel Tronçon — 2009-03-18T13:09:42Z

Submission Details We invite submissions of extended abstracts of maximally 8 pages (A4 or letter, 12pt single spaced). The material must be original and previously unpublished. Parallel submissions to other conferences is possible but must be indicated with the submission. The material that is covered in the abstract must be appropriate in length and content to be presented in a 30-minute talk. Submissions must be made before *April 30* and sent to one of the following addresses : Alain.Lecomte[at]univ-paris8.fr, quatrini[at]iml.univ-mrs.fr

IMPORTANT DATES

Conference : 28/28 September
Submission : 30 April
Notification : 30 May
Pre-proceedings version : 15 July

3. Purpose and topics

Samuel Tronçon — 2007-12-06T11:04:34Z

In recent years there have been some important new developments in methods of dealing with semantic and pragmatic phenomena in Linguistics, inspired by developments in Logic and Theoretical Computer Science. Among these developments, Continuation Theory, Symmetric calculi and Ludics play an important role. Continuation theory dates back from the early seventies (cf. Reynolds, 93) and was at the heart of Programming Languages like Scheme. More recently, a logical account was given to it, by extending the Curry-Howard homomorphism (Griffin, 1990),. This led to several calculi like such as Parigot's lambda-mu-calculus, Curien-Herbelin's lambda-mu-mu-tilde-calculus, Wadler's dual calculus and so on. These calculi are based on the core idea that programs and contexts are dual entities and this is reflected in the symmetry of the “classical” sequents. These systems were prefigured by the so called Lambek-Grishin calculus (Grishin, 83), a calculus extending the Lambek calculus by taking classical sequents into account.

Classical linear logic (Girard, 87, 95) gives another viewpoint, where the co-product is realized by an authentic parallelisation connective. Linguistic applications have been given since around 2000, particularly by C. Barker (Barker, 2000), Ken Chung-chieh Shan (Chung-chieh Shan, 2002) and P. de Groote (de Groote, 2001) who exploited the advantages of these systems in the task of giving several readings of an ambiguous sentence. De Groote (de Groote, 2007) also shows that we gain a new dynamical logic which enables us to elegantly treat phenomena of discourse like anaphora resolution. M. Moortgat and R. Bernardi (Moortgat \& Bernardi, 2007) use the Lambek-Grishin system as a way to avoid structural modalities by means of the Grishin postulates, which make product and co-product interact. Independently, linear logic was intensively studied in particular by Girard himself who invented “Ludics” as a new conception of logic, where the dualism between syntax and semantics is abolished : the meaning of rules is in the rules themselves. This conception has some similarities with more traditional “Game Semantics” (Lorenz, Lorenzen, Hintikka…) but it is dynamic, in the sense that “strategies” are replaced by interacting processes. Moreover, a new step in abstraction is provided, which consists in stating rule schemata which are only expressed in terms of loci (that we may see as memory cells).

The two approaches in this workshop are connected, basically because of their common root : explorations in the meaning of Logics and in particular reflections on one of the symmetrical systems : linear logic. Linguistic applications of Ludics remain very embryonic, but some authors have already emphasized that it is suitable for giving a framework in which it is possible to study speech acts and dialogue (Livet, 2007, Tronçon, 2006). Other authors have pointed out similarities of the Ludics' philosophy with Wittgenstein's views on language games (Pietarinen, 2006). This workshop will provide an opportunity to study these questions. It will accept several kinds of contributions : theoretical works on continuation theory, symmetric calculi and ludics, applied works of these theory concerning linguistic topics (semantics, pragmatics) and philosophical investigations.

3. Participants

Samuel Tronçon — 2008-06-03T20:49:59Z

Nicholas Asher

Claire Beyssade

Jean-Louis Dessalles

Marie-Renée Fleury

Christophe Fouqueré

Emmanuel Genot

Marie-Hélène Gorisse

Philippe de Groote

Laurent Keiff

Ruth Kempson

Alain Lecomte

Christophe Onambelé

Carl Pollard

Aude Popek

Myriam Quatrini

Christian Retoré

Sylvain Salvati

Samuel Tronçon

3. Liste des participants

Samuel Tronçon — 2007-03-10T23:24:27Z

Claire Beyssade, Linguistique, Institut Jean Nicod.

Claudia Faggian, Logique Mathématique, PPS

Marie-Renée Fleury, Logique mathématique, IML-Marseille.

Philippe de Groote, Informatique, LORIA - Nancy.

Hugo Herbelin, Informatique, INRIA

Jean-Baptiste Joinet, Philosophie et Logique, PPS, Université de Paris VII.

Alain Lecomte, Épistémologie et logique, SFL, Université de Paris VIII.

Pierre Livet, Philosophie, CEPERC, Université de Provence.

Antoine Mercier, Informatique, ENS - Cachan.

Michael Moortgat, Linguistique théorique, Utrecht University.

Sylvain Pogodalla, Informatique, LORIA - Nancy

Myriam Quatrini, Logique Mathématique, IML - Marseille.

Thomas Seiler, Etudiant en Master 1, Université Paris VII.

Aarne Rantaa, Linguistique informatique, Göteborg University.

Laurent Roussarie, Linguistique, SFL, Université de Paris VIII.

Sylvain Salvati, Informatique, LORIA - Nancy.

Samuel Tronçon, Philosophie, SFL, Université de Paris VIII.

Tero Tulenheimo, Philosophie, Université d'Helsinki

3. Liste des participants

Samuel Tronçon — 2008-11-26T15:22:00Z

Michele Abrusci

Maxime Amblard

Houda Anoun

Nicholas Asher

Claire Beyssade

Pierre Castéran

Marie-Renée Fleury

Philippe de Groote

Gérard Huet

Michael Moortgat

Richard Moot

Reinhard Muskens

Pierre Pica

Carl Pollard

Sylvain Salvati

Samuel Tronçon

3. Invited Speakers

Samuel Tronçon — 2009-03-18T13:04:33Z

Jean-Yves Girard (CNRS, Institut de Mathématiques de Luminy) Ruth Kempson (King's College, London) Sandra Laugier (Department of Philosophy, Université de Picardie) Mathieu Marion (Department of Philosophy, Université du Québec à Montréal) Dale Miller (INRIA, Saclay – Ile de France and Ecole Polytechnique) Ahti-Veikko Pietarinen (Department of Philosophy, Helsinki) - 5. Games, dialogues and interaction

2. Programme

Samuel Tronçon — 2007-03-10T23:31:14Z

Liste des conférences :

Mercredi 13 juin

9h30 : Alain Lecomte, PRELUDE, vers une pragmatique théorique basée sur la Ludique et les continuations

11h : Aarne Ranta, Dialogue system and type theory

14h 30 : Hugo Herbelin, Investigations into the duality of computation

16h30 : Michael Moortgat, Symmetric categorial grammar : continuation semantics

Jeudi 14 juin

9h : Claudia Faggian, (Essential of) ludics

10h45 : Myriam Quatrini ,Pistes de formalisations des interactions dialogiques en ludique

14h : Claire Beyssade,Présuppositions et antiprésuppositions

15h30 : Pierre Livet, Ludique et ontologie

17h30 : Antoine Mercier, NP-complétude de la logique linéaire multiplicative cyclique

Vendredi 15 juin

9h :Samuel Tronçon : Ludique et pragmatique

10h45 : Tero Tulenheimo,On some logical games in their philosophical context

2. Programme

Samuel Tronçon — 2008-11-26T15:17:00Z

Mercredi 31 octobre

14h30 : Alain Lecomte : L'interaction et la cognition vues dans le cadre de la Ludique

15h30 : Philippe Muller : Etablissement et engagements sociaux dans le dialogue

16h45-17h15 pause

17 h 15 : Nicholas Asher : La théorie des jeux dans le dialogue et la logique de modélisation cognitive de la SDRT

Jeudi 1 novembre

9h30 : Laurent Prévot : La contribution des marqueurs lexicaux à l'établissement de la cohérence dialogigue.

10 h 45 Christian Rétoré : Polysémie lexicale en théorie des types simples

Vendredi 2 novembre

En l'honneur des soixante ans d'Alain Lecomte.

9h30-10h10 : Maxime Amblard : L'interface syntaxe/sémantique pour les Grammaires Catégorielles Minimalistes

10h10-10h50 : Houda Anoun et Pierre Castéra : Quelques utilisations possibles des assistants de preuve

11h20-12h00 : Richard Moot : Réseaux de démonstration pour les Grammaires Catégorielles Minimalistes

12h00-12h40 : Carl Pollard : The Logic of Pied Piping

14h40-15h20 : Claire Beyssade : Groupes nominaux sans déterminant en français

15h20-16h00 : Pierre Pica : Ordres et pré-ordres linguistiques. L'exemple du mundurucu : mégaparamètre ou phénomène d'interface ?

Samedi 3 novembre

En l'honneur des soixante ans d'Alain Lecomte.

9h00-9h40 : Marie-Renée Fleury et Samuel Tronçon : La Ludique : cadre pertinent pour la formalisation des interactions dialogiques
9h40-10h20 : Philippe de Groote : Une nouvelle logique dynamique

10h50-11h30 : Michael Moortgat : Symmetry and structure preservation

11h30-12h10 : Sylvain Salvati : Dérivations minimalistes et logique linéaire

2. Programme

Samuel Tronçon — 2008-06-03T20:48:28Z

Mercredi 21 mai

14.00 - 14.45 : Claire Beyssade : Speech act and commitment
14.50 - 15.35 : Jean-Louis Dessalles : From Cognitive Structures to Biological Functions
15. 35 - 16.00 : pause
16.00 - 16.45 : Marie-Renée Fleury : Speech act and Ludics
17.00 - 17.45 : Samuel Tronçon : Sémiotique cognitive

Jeudi 22 mai

9.30 - 10.15 : Christophe Fouqueré : TBA
10.15 - 10.45 : pause
10. 45 - 11.30 : Myriam Quatrini et Alain Lecomte : Logical Forms in Ludics
11.30 - 12.15 : Ruth Kempson : Language as procedures for interpretation, ellipsis : a case study
12.15 - 14.30 : déjeuner
14.30 - 15.15 : Carl Pollard

: The Calculus of Responsibility and Commitment
15.15 - 16.00 : Nicholas Asher : TBA

Promenade en montagne (ou au village)

Vendredi 23 mai

9.00 - 9.45 : Emmanuel Genot : Extensive Questions : from Research Agendas to Interrogative Games
9.45 - 10. 30 : Laurent Keiff : TBA
10.30 - 11.00 : pause
11.00 - 11.30 : Aude Popek : Obligational Logic
11.30 - 12.00 : Marie-Hélène Gorisse : The art of making no assertion : dialogue with Nagarjuna
12. 15 : déjeuner

2. Program Committee

Samuel Tronçon — 2007-12-06T11:01:47Z

Myriam Quatrini (IML Marseille)

Alain Lecomte (SFL - Paris 8)

Marie-Renée Fleury (IML - Marseille)

Pierre Livet (Aix en Provence)

Jean-Baptiste Joinet (Paris 1)

Claire Beyssade (Institut Jean Nicod, Paris)

Laurent Roussarie (SFL - Paris 8)

Christian Retoré (LABRI - Bordeaux)

Sylvain Pogodalla (LORIA - Nancy)

Sylvain Salvati (LABRI - Bordeaux)

Richard Moot (LABRI - Bordeaux)

Raffaella Bernardi (Bolzano)

Philippe de Groote (LORIA - Nancy)

Greg Kobele (UCLA)

Carl Pollard (Ohio University)

Hugo Herbelin (Paris)

2. Commitees

Samuel Tronçon — 2009-03-17T07:00:29Z

LOCAL ORGANIZERS

Alain Lecomte, Laurent Roussarie, Maya Hickman (Paris VIII)

PROGRAM COMMITTEE

Michele Abrusci
Nicolas Asher
Claire Beyssade
Francis Corblin
Philippe DeGroote
Laurent Keiff
Ruth Kempson
Jean-Baptiste Joinet
Pierre Livet
Giuseppe Longo
Mathieu Marion
Dale Miler
Frédéric Nef
Ahti-Veikko J. Pietarinen
Sylvain Pogodalla
Myriam Quatrini
Shahid Rahman
Christian Rétoré
Sylviane Schwer
Jean-Jacques Szczeciniarz
Samuel Tronçon

1. Presentation

Samuel Tronçon — 2007-12-06T11:12:55Z

Organisation

The workshop is organised in the framework of the french ANR-PRELUDE program by Alain Lecomte (Alain.Lecomte@upmf-grenoble.fr) and Myriam Quatrini (quatrini@iml.univ-mrs.fr).

This workshop is organised as part of the European Summer School on Logic, Language and Information ESSLLI 2008, 4-15 August, 2008 in Hamburg, Germany

Invited Speakers

Philippe de Groote, LORIA, France.

Program

The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

Register and accomodation

All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. There will be no reimbursement for travel costs and accommodation.

Important Dates

Submission Deadline : April 8, 2008

Notification : April 21, 2008

Preliminary programme : April 24, 2008

ESSLLI early registration : May 1, 2008

Final papers for proceedings : May 17, 2008

Final programme : June 21, 2008

Workshop dates : August 4-8, 2008

1. Presentation

Samuel Tronçon — 2009-03-18T13:07:15Z

BACKGROUND

This workshop is to be held in the frame of the PRELUDE project (funded by the French ANR – Agence Nationale pour la Recherche), which is a joint project of four research teams : laboratoire “Structures Formelles de la Langue” (Paris VIII and CNRS), Institut de mathématiques de Luminy (Aix-Marseille and CNRS), laboratoire d'informatique de Bordeaux (équipe Signes) (Bordeaux I, CNRS and INRIA) and laboratoire lorrain de recherches en informatique et applications (LORIA, Nancy). It will be hosted by Paris VIII University in its premises located in Paris, 59 rue Pouchet (17e).

AIMS AND SCOPE

“PRELUDE” stands for “Towards a Theoretical Pragmatic based on Ludics and Continuations”, that is to say that a particular emphasis has been put during all these years on the use of new formal tools coming from Theoretical Computer Science and Logic in order to give new formulations for language phenomena pertaining to formal semantics (logical forms), pragmatics (dialogue, presupposition) and even argumentation (fallacies and stratagems). As indicated by its title, this workshop will be devoted on all aspects of the formal study of dialogue and interactions : syntax of dialogue, semantic, pragmatic and philosophical aspects.

1. Présentation

Samuel Tronçon — 2007-06-13T07:00:00Z

Cett rencontre constitue le premier évènement scientifique organisé par le projet Prélude. Un des premiers objectifs de cette rencontre est de constituer un réseau et favoriser les échanges autour des questions abordées dans le projet Prélude. Elle permet également de présenter certaines avancées scientifiques du projet à des chercheurs experts dans les champs de connaissance convoqués par les sujets abordés dans le projet (linguistique théorique et informatique, sémantique formelle, ludique, philosophie). Lors de cette première rencontre, à Carry le Rouet, les sujets plus particulièrement abordés sont :
la formalisation du dialogue (tant du point de vue des enjeux pour des applications aux dialogues homme/machine que celui de la formalisation de la pragmatique) ;
les symétries dans les modèles de calcul et les perspectives d'applications en sémantique formelle.

1. Présentation

Samuel Tronçon — 2008-11-26T15:21:00Z
- 2. Sémantique et pragmatique du discours et du dialogue / Présentation

Submission Deadline :	April 8, 2008
Notification :	April 21, 2008
Preliminary programme :	April 24, 2008
ESSLLI early registration :	May 1, 2008
Final papers for proceedings :	May 17, 2008
Final programme :	June 21, 2008
Workshop dates :	August 4-8, 2008