INFORMAL WORKSHOP June 15

• To: types
• Subject: INFORMAL WORKSHOP June 15
• From: URSINI%SIVAX.CINECA.IT@ICINECA.CINECA.IT
• Date: Mon, 08 Jun 92 15:48:00 EDT
• Sender: meyer@theory.lcs.mit.edu

Date:  Fri,  5 JUN 92 17:42 N
To: LINEAR@CS.STANFORD.EDU

           This is to recall that the
                IILLW
(second linear-logic workshop,Siena, Italy)
will be on June 15 (arrival) to June 18(departure).
Partecipants have only to pay for accomodation
and meals at the Certosa di Pontignano (approx. 50 USD for
full board).
ursini@sivax.cineca.it

Aldo Ursini,
Department of Mathematics
University of Siena
53100 SIENA, Italy
Phone 0577.286244
Fax   0577.270581
e/mail URSINI@SIVAX.CINECA.IT

• Prev: proofnets/graph theory (retore)
• Next: translations of classical into LL
• Index(es):
  • Main
  • Thread