* Second Call for Papers
@ 1998-04-30 7:56 4th Workshop on Domains
0 siblings, 0 replies; 2+ messages in thread
From: 4th Workshop on Domains @ 1998-04-30 7:56 UTC (permalink / raw)
======================================================
Second Call for Papers
======================================================
Workshop on Domains IV
Rolandseck, Germany
Oktober 2--4, 1998
======================================================
The Workshop on Domains is aimed at computer scientist and
mathematicians alike who share an active interest in the
mathematical foundation of computer science. It will focuse
on domains, their application and closely related topics,
e.g.~axiomatic and synthetic domain theory. In particular,
contributions establishing connections to type theory, recursion
theory and topology are welcome.
In previous years the workshop was held in Darmstadt (1994 and 1995),
Braunschweig (1996) and Munich (1997). This year it will take place in
Haus Humboldtstein, Remagen-Rolandseck (Germany), a nice last century
villa overlooking the beautiful Rhine valley.
There will be a number of guest speakers including
*** Thomas Ehrhard (IML, Marseille) ***
*** Dag Normann (Oslo Univ. ) ***
*** Giovanni Sambin (Padova Univ.) ***
If you are interested in signing up for a talk, please send a title
and an abstract of your intended presentation to
mailto:wd4@informatik.uni-siegen.de
by MAY 15, 1998. Each request will be answered by JULY 1, 1998.
You may also use ordinary mail. The address is:
Prof. Dr. Dieter Spreen
Workshop on Domains IV
Theoretische Informatik
Fachbereich Mathematik
Universitaet Siegen
Hoelderlinstr.3
D-57072 Siegen
GERMANY
More information about the workshop and Haus Humboldstein can be
found on the workshop web page
http://www.informatik.uni-siegen.de/~wd4
-----------------------------------------------------------------------------
Workshop on Domains IV
University of Siegen
Department of Mathematics
Hoelderlinstr. 3
D-57068 Siegen
Phone +49 271 740 3165
Fax +49 271 740 2532
mailto:wd4@informatik.uni-siegen.de
http://www.informatik.uni-siegen.de/~wd4
------------------------------------------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
* second call for papers
@ 2008-02-06 9:59 Myriam Quatrini
0 siblings, 0 replies; 2+ messages in thread
From: Myriam Quatrini @ 2008-02-06 9:59 UTC (permalink / raw)
To: categories
SECOND CALL FOR PAPERS
Workshop on Symmetric calculi and Ludics for the semantic
interpretation (http://iml.univ-mrs.fr/~quatrini/ESSLLI2008.html)
August 4-8, 2008
organized as part of the European Summer School on Logic, Language and
Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/), 4-15
August, 2008 in Hamburg, Germany
Workshop Organizers:
Alain Lecomte (SFL - Paris 8), Alain.Lecomte@upmf-grenoble.fr
Myriam Quatrini (IML Marseille), quatrini@iml.univ-mrs.fr
Workshop Purpose and topics:
In recent years there have been some important new developments of
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. Following Curien-Herbelin (Bernardi and Moortgat, 2007)
focuses on the connection between Lambek-Grishin calculus with
lambda-mu-tilde-calculus and hence with continuation semantics.
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, 2002), K. 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) shows how moving to a symmetric categorial
grammar, namely Lambek Grishin calculus, helps accounting for
discontinous phenomena that are not captured by the asymmetric Lambek
calculus. 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, namely 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, Troncon, 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.
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.
Workshop format:
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.
Invited Speakers:
Philippe de Groote, LORIA, France.
Additional invited speaker to be confirmed
Workshop Programme Committee:
Raffaella Bernardi (Bolzano)
Claire Beyssade (Institut Jean Nicod, Paris)
Marie-Renée Fleury (IML - Marseille)
Philippe de Groote (LORIA - Nancy)
Hugo Herbelin (Paris)
Jean-Baptiste Joinet (Paris 1)
Greg Kobele (Humboldt Universitat zu Berlin)
Alain Lecomte (SFL - Paris 8)
Pierre Livet (Aix en Provence)
Richard Moot (LABRI - Bordeaux)
Sylvain Pogodalla (LORIA - Nancy)
Carl Pollard (Ohio University)
Myriam Quatrini (IML Marseille)
Christian Retoré (LABRI - Bordeaux)
Laurent Roussarie (SFL - Paris 8)
Sylvain Salvati (LABRI - Bordeaux)
Important Dates:
Submission Deadline: March 8, 2008
Notification: April 21, 2008
Preliminary Program: April 24, 2008
ESSLLI Early Registration: May 1, 2008
Final Papers for Proceedings: May 17, 2008
Final Program: June 21, 2008
Workshop Dates: August 11-15, 2008
Local Arrangements:
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.
Further Information:
About the workshop: http://iml.univ-mrs.fr/~quatrini/ESSLLI2008.html
About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2008-02-06 9:59 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-04-30 7:56 Second Call for Papers 4th Workshop on Domains
2008-02-06 9:59 second call for papers Myriam Quatrini
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).