4. AMAST 1995: Montreal, Canada

Invited Lectures

Refereed Contributions

Algebraic and Logical Foundations

Concurrent and Reactive Systems

Software Technology

Logic Programming Databases

Research Prototype Reports