EXTENDED DEADLINE - workshop on higher-order rewriting

• To: types@cis.upenn.edu
• Subject: EXTENDED DEADLINE - workshop on higher-order rewriting
• From: Delia.Kesner@lri.fr (Delia Kesner)
• Date: Tue, 7 May 2002 17:13:27 +0200 (CEST)

*******************************************************************************
                                EXTENDED DEADLINE
*******************************************************************************

    The First International Workshop on Higher-Order Rewriting
           
                July 21st, 2002, Copenhagen, Denmark 

                   Held in conjunction with FLOC'02

                    http://www.lri.fr/~kesner/hor/
                    
*******************************************************************************
                                EXTENDED DEADLINE
*******************************************************************************

IMPORTANT DATES

Submission:    Monday May 20, 2002
Notification:  Monday June 3, 2002
Final Version: Monday June 24, 2002
Workshop:      Saturday July 21, 2002

 
Feel free to contact us for any further information:

 Femke van Raamsdonk (femke@cs.vu.nl)
 Delia Kesner        (kesner@lri.fr)

• Prev: Remarks on type isomorphisms with the empty and sum type
• Next: Domains VI 2nd Call for Abstracts
• Index(es):
  • Main
  • Thread