The First International Workshop on Explicit Substitutions:

Theory and Applications to Programs and Proofs

WESTAPP 98

	ULTRA group Useful Logics, Types, Rewriting, and Applications		UKII UK Institute of Informatics, UK
	The Engineering and Physical Sciences Research Council (EPSRC)

CALL FOR PARTICIPATION AND EARLY REGISTRATION

March 29, 1998, Tsukuba, Japan

This workshop is organized in conjunction with RTA-98

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.)

Here is the programme of the workshop. Here was the call for papers. The workshop registration will be joint with RTA-98.

IMPORTANT DATES

Registration: Go to rta98 site
Workshop date:	March 29, 1998.

INVITED SPEAKERS

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

PROGRAM COMMITTEE

Roberto Di Cosmo	(Ecole Normale Superieure de Paris, France)
Fairouz Kamareddine (Organiser)	(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)

For more information, please contact Fairouz Kamareddine email: (

)

Maintained by Fairouz Kamareddine ()