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

Please advertise programme and reminder of early registration


Thanks
Fairouz

                         PROGRAMME OF WESTAPP 98

 The First International Workshop on Explicit Substitutions:

         Theory and Applications to Programs and Proofs


For Further details, see:
http://www.dcs.gla.ac.uk/~fairouz/westprog.html
              
		 March 29, 1998, Tsukuba, Japan
		
		PLEASE NOTE THAT EARLY REGISTRATION
		DEADLINE IS 1 MARCH
        This workshop is organized in conjunction with RTA-98

        
9:00 - 10:00  invited talk I

Pierre-Louis Curien (Ecole Normale Superieure+CNRS Paris)


10:00 - 10:30  coffee break


10:30 - 12:00  session I

      * The Role of Anonymous Names (in Explicit Substitution and Elsewhere)
        Kristoffer Rose (Lyon)

      * An Explicit Substitution Notation in a Lambda Prolog Implementation
        Gopalan Nadathur (Chicago)


12:00 - 13:15  lunch break


13:15 - 14:15  invited talk II

Therese Hardin (University of Paris 6)



14:15 - 15:00  session II

       * An Explicit Natural Deduction
         Bruno Pagano (Paris)


15:00 - 15:30  tea break


15:30 - 17:45  session III

       * Proof Synthesis via Refinement Steps: Another Application of 
	 Explicit Substitutions on Open Terms
         Cesar Munoz (Menlo Park)
       
       * Linear Explicit Substitutions
         Neil Ghani, Valeria de Paiva and  Eike Ritter (Birmingham)

       * Translations of First-Class Environments to Records
         Shin-ya Nishizaki (Chiba), Yohji Akama (Tokyo)


18:00 -  RTA98 reception