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

WESTAPP 98 -- International Workshop on Explicit Substitutions

                         WESTAPP 98

 The First International Workshop on Explicit Substitutions:
         Theory and Applications to Programs and Proofs

               March 29, 1998, Tsukuba, Japan
		CALL FOR PARTICIPATION AND EARLY
                         REGISTRATION 

        This workshop is organized in conjunction with RTA-98

        http://www.dcs.gla.ac.uk/~fairouz/call.html


The aim of this workshop is to bring together researchers working on both the
theoretical and applied side of explicit substitutions, to present recent work
(possibly still in progress), and to discuss new ideas as well as emerging
trends in the following (not exclusive) topics:

       + New concepts in substitution calculi

       + Higher order types and explicit substitutions

       + Generalised techniques to show properties of substitution calculi

       + Relating explicit substitutions with other formalisms such as sequent
         calculi, linear logic, game semantics, etc.

       + Accommodating different reduction strategies and control operators

       + Use of explicit substitution in proof checking and proof search, in
          the implementation of programming languages and theorem provers

       + Different criteria useful to compare calculi with explicit
         substitutions

       + Applications of explicit substitutions to solve problems in other
          fields (e.g. higher order unification, set constraints etc.)

The workshop registration will be joint with RTA-98.

The programme can be found on 
http://www.dcs.glasgow.ac.uk/~fairouz/westprog.html

INVITED SPEAKERS

Pierre-Louis Curien (Ecole Normale Superieure and CNRS) and Therese
Hardin (Universite Paris 6).

PROGRAM COMMITTEE

 Roberto Di Cosmo
                      (Ecole Normale Superieure de Paris, France)
 Fairouz Kamareddine
                     (University of Glasgow, UK)
 Delia Kesner
                     (Universite d'Orsay, France)
 Pierre Lescanne
                     (Ecole Normale Superieure de Lyon, France)
 Randy Pollack
                     (BRICS, Aarhus, Denmark)


LOCAL ORGANIZING COMMITTEE

 Aart Middeldorp
                 (University of Tsukuba, Japan)
 Tetsuo Ida
                 (University of Tsukuba, Japan)