International Symposoium on Logical Foundation of Computer Science.International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science.Springer,1992.
International Workshop on Meta-Programming in Logic.International Workshop on Meta-Programming in Logic(3rd : 1992 : Uppsala)：Meta-programming in logic.Springer,1992.
Symposium on Logical Foundations of Computer Science.Symposium on Logical Foundations of Computer Science(1989 : Pereslavl Zalessky, USSR)：Logic at Botik`98 : proceedings.Springer,1989.
International Conference on Algebtaic and Logic Programming.International Conference on Algebraic and Logic programming(2nd : 1990 : France)：Algebraic and Logic programming.Springer,1990.
