LINEAR LOGIC WORKSHOP

• To: types, concurrency, logic
• Subject: LINEAR LOGIC WORKSHOP
• From: andre@saul.cis.upenn.edu (Andre Scedrov)
• Date: Fri, 21 Feb 92 17:59:19 EST
• Reply-To: JJC@CORNELLC.cit.cornell.edu
• Sender: meyer@theory.lcs.mit.edu

Date: Fri, 21 Feb 92 11:54:54 EST

                         PRELIMINARY ANNOUNCEMENT    

                       " L I N E A R    L O G I C "  
                              W o r k s h o p    

            Mathematical Sciences Institute, Cornell University  
                             Ithaca, New York

                             June 14-18, 1993    


          Program Committee:  S. Abramsky, J.-Y. Girard, D. Miller, 
                              J. Mitchell, and A. Scedrov (Chair) 


      The workshop will be held on Cornell campus and sponsored by 
      the Mathematical Sciences Institute (MSI). Presentations will 
      be by invitation only, but the attendance at the workshop will 
      be open to anyone interested in the subject.  MSI will be able 
      to provide partial support for a limited number of participants. 
      Please note that this workshop will be held during the week just 
      before LICS '93, which will take place in Montreal. 

      If you are interested in attending the workshop, please send an 
      email message to JJC@CORNELLC.cit.cornell.edu with your name, 
      email address, postal address, and indicating the "Linear Logic 
      Workshop".  

• Prev: Linear logic semantics (latex file}
• Next: Apology
• Index(es):
  • Main
  • Thread