- Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
- Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
- Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science)
- Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987, Proceedings (Lecture Notes in Computer Science)
- TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science)




