ANR-PRELUDE

Structures Formelles du Langage

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

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

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

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

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

- Réunions de travail

Rapport 10/2006 - 06/2007

2008-12-11T19:51:08Z

- Rapports

Rapport 06/2007 - 01/2008

2008-12-11T19:52:09Z

- Rapports

Rapport 01/2008 - 06/2008

2008-12-11T19:53:04Z

- Rapports

Note d'intention

Jean-Baptiste Joinet — 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/unites/REG/lectures/Lectures.html

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

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

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

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

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

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

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

FrÃ©dÃ©ric Pascal, Jean-Baptiste Joinet — 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)

- Présentation

Compte rendu 4/12/08

2008-12-11T20:00:30Z

- Rapports

CALLIGRAMME

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

2008-12-11T19:55:07Z

- Rapports

Photos

2008-06-03T20:42:44Z

- Autour de la ludique, du dialogue et des interactions

Les exposés

2007-06-22T15:35:09Z

- Pragmatique, Ludique et Continuations

Modalités de financement

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.

Exposés

FrÃ©dÃ©ric Pascal — 2007-10-08T15:13:42Z

- Sémantique et pragmatique du discours et du dialogue

Exposés

2008-06-26T15:07:44Z

- Autour de la ludique, du dialogue et des interactions

Renseignements pratiques

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.

Renseignements pratiques

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é

Informations pratiques

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.

Call for papers

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.

Call for papers

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

Purpose and topics

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.

Participants

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

- Autour de la ludique, du dialogue et des interactions

Liste des participants

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

Liste des participants

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

- Sémantique et pragmatique du discours et du dialogue

Invited Speakers

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)

- Games, dialogues and interaction

Programme

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

Programme

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

Programme

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

Program Committee

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 (…)
- Symmetric calculi and Ludics for the semantic interpretation

Commitees

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

Présentation

2008-11-26T15:21:00Z
- Sémantique et pragmatique du discours et du dialogue

Présentation

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.

Presentation

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

Presentation

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.

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