Algebraic Methodology and Software Technology (AMAST)

5. ARTS 1999: Bamberg, Germany

4. ARTS 1997: Palma, Mallorca, Spain