ANR-PRELUDE

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.

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.

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

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