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

Italian Workshop Abstracts Available



Date: Wed, 26 Feb 92 11:18:25 PST
To: linear@cs.stanford.edu

        Informal Workshop of Italian researchers in Linear Logic

An informal workshop in linear logic was organized in Siena (Certosa di
Pontignano, Jan 10-12,1992), in order to discuss results and open
problems of the participants.
Here the list of speakers and the titles of talks:
1)  Aldo Ursini        (Siena) 
     "Representations of quantales as quantales of endomorphisms 
      and a 'naive' semantics for linear logic"

2)  Giovanni Sambin    (Padova) 
     "Pretopology and first-order completeness theorem"

3)  Ugo Solitro        (Milano)
     "Quantale sets and sheaves of quantales"

4)  Michele Abrusci    (Roma)
     "Results and problems about non-commutative linear logic"

5)  Gianfranco Mascari (Roma)
     "A survey on the categorical investigations on (non-commutative)
      linear logic"

6)  Sara Negri         (Padova)
     "On the categorical semantics for classical and intuitionistic
      linear logic"

7)  Maurizio Castellan (Roma)
     "Categorical semantics of non-commutative linear logic"

8)  Marco Pedicini     (Roma)
     "Bohm-out technique as pure proof net extraction"

9)  Anna Labella       (Roma)
     "Categorical semantics for non-commutative proof-nets"

10) Gianluigi Bellin   (Edimburgh)
     "On formulas with polarities"

Detailed abstarcts of talks may be obtained asking to
mascari@diecik.iac.rm.cnr.it (Gianfranco Mascari)
or
mascari@150.146.2.3

The next informal workshop of linear logic in Italy will take place on 
June 1992.