Conditional and Typed Rewriting Systems (CTRS)

4. CTRS 1994: Jerusalem, Israel

3. CTRS 1992: Pont-à-Mousson, France

2. CTRS 1990: Montreal, Canada

1. CTRS 1987: Orsay, France