[Prev][Next][Index][Thread]

Roma


[Since it is clearly relevant, I am distributing this workshop
announcement to types.  General announcements should go to the
Theory-A list.  -- Philip Wadler, moderator, Types Forum.]


Dear colleagues,
We send the program of a workshop to be held
in Rome at the end of June.
Best regards,

Michele Abrusci
(University of Rome)
Claudia Casadio
(University of Chieti)

88888888888888888888888888888888888888888888888
  WORKSHOP
  LINEAR LOGIC AND LAMBEK CALCULUS
  Extensions and Linguistic Applications
****************************************************
  Dipartimento di Studi Filosofici ed Epistemologici
     Universita' di Roma - "la sapienza"
         June 28 - 30, 1993

The aim of this workshop is to address a set of relevant topics
concerning the interrelations between Linear Logic and Lambek Calculus
in the perspective of a formal theory of language developing the
principles of categorial grammar and lexical semantics. The workshop
is intended as an inter- disciplinary effort aimed at exchanging
scientific results and drawing attention to developments in the area
of research involving logic, formal linguistics and computational
linguistics.

The workshop is held by the department of Studi Filosofici ed
Epistemologici, Universita' di Roma, "la sapienza", with the
sponsorship of the DYANA Project (Esprit BRA 6852, Dyana-2), under the
auspices of the Italian Society of Logics and Philosophy of Science
(SILFS). The Department is located at Villa Mirafiori, Via Nomentana
118, 00161 ROMA.

For further informations and hotel reservation contact:
Claudia Casadio
Institute of Philosophy
University of Chieti
e-mail: PZ7RAIS1@ICINECA
FAX: +39-544-217436
         ----------------------
              PROGRAM
         ----------------------

MONDAY JUNE 28
Opening addresses: T.De Mauro (Univ.Rome)
                   C.Cellucci (Univ.Rome-SILFS)
Introduction: M.Moortgat(OTS Utrecht), M.Abrusci(Univ.Roma)
Y.Venema (OTS): Hybrid Substructural Logics
H.Leiss & M.Emms(CIS Muenchen): Cut elimination for the
    second order Lambek Calculus
N.Kurtonina (OTS): Possible World Semantics for Categorial logic
G.Mascari(IAC,CNR Rome): Linguistics and Proof Nets
G.Morrill(Univ.Politecnica Barcelona)
   Structural Facilitation, Structural Inhibition and
   Prosodic Islands
T.Solias(Univ.Valladolid):
   Unassociativity, Sequence Product and Gapping

TUESDAY JUNE 29
M.Abrusci(Univ.Rome)
Exchange connectives for Non-commutative Linear Logic
   (Lambek Calculus)
M.Moortgat(OTS):Types, Sorts and Features
M.Emms(CIS, Muenchen): Parsing with Polymorphism
A.Lecomte(GRIL Clermont-Ferrand):
   Syntactic Connection Revisited
M.Piazza(Univ.Genova): Some Algebraic Remarks on
exchanging connectives
G.Morrill(Barcelona): Model Theory and Proof Theory
   for Discontinuity

WEDNESDAY JUNE 30

C.Bohem(Univ.Rome): Title to be announced
M.Hepple(UPENN): Labelled Deduction Resource Management
   and Discontinuous Constituency
C.Casadio(Chieti): Syntactic Calculus and Linguistic Theory

Panel Discussion: Linear Logic and Lambek Calculus
************************************************************