ANR-PRELUDE

Photos

2008-06-03T20:42:44Z

- Autour de la ludique, du dialogue et des interactions

Les exposés

2007-06-22T15:35:09Z

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