1. RCLP 1990: Irkutsk, Russia
2. RCLP 1991: St. Petersburg, Russia

a service of Schloss Dagstuhl - Leibniz Center for Informatics