ANR-PRELUDE

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.

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.

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

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

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.