Algebraic Methodology And Software Technology, AMAST'95
                   Montreal, Canada, July 3-7, 1995

The full program will be announced in the first week of March.

                              ACCEPTED PAPERS

An Algebraic Construction of the Well-Founded Model
Rajiv Bagai and Rajshekhar Sunderraman     

Order-Sorted Algebraic Specifications with Higher-Order Functions.     
Anne Elisabeth Haxthausen  

Representing Verifying and Applying Software Development Steps using 
the PVS System , Axel Dold 

Context-Free Event Domains are Recognizable
Eric Badouel, Philippe Darondeau, Jean-Claude Raoult

Logical Foundations for Compositional Verification and Development of 
Concurrent Programs in UNITY, Pierre Collete and E. Knapp

Detecting Isomorphisms of Modular Specifications with Diagrams
Catherine Oriat 

On Mechanizing Proofs within a Complete Proof System for Unity.
Naima Brown and Abdelillah Mokkedem 

Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus
Lalita Jategaonkar Jagadeesan and Radha Jagadeesan

Verification in Continuous Time by Discrete Reasoning
Luca De Alfaro and Zohar Manna 

Proving the Correctness of Behavioural Implementation
Michel Bidoit, Rolf Hennicher   

Completeness Results for Two-Sorted Metric Temporal Logics
Angelo Montanari and Maarten de Rijke

Specification of the Unix Filing System: A Comparative Case Study
Maritta Heisel  

Dynamic Matrices and the Cost Analysis of Concurrent Programs
GianLuigi Ferrari and Ugo Montanari  

An Algebraic Development Technique for Information Systems
Martin Gogolla and Rudolf Herzig 

A Calculus of Communication with Broadcasting
Yoshinato Isobe, Yutaka Sato and Kazuhito Ohmaki

Higher-Order Narrowing with Convergent Systems, Christian Prehofer   

Symbolic Timing Devices, Annie Bergeron 

On the decidability of process equivalences for the pi-calculus
Mads Dam  

Semantic Typing for Parametric Algebraic Specifications
Maria Victoria Cengarle 

A Framework for machine-assisted user inferface
P. Bumbulis, P.S.C. Alencar, D.D. Cowan, C.J.P. Lucena 

An Algebraic Framework for Developing and Maintaining Real-Time Systems
Elizabeth Leonard and Amy E. Zwarico  
          
CPO Models for Infinite Term Rewriting
A. Corradini and Fabio Gadducci 

Petri Nets, Traces, and Local Model Checking, Allan Cheng     

Encoding Natural Semantics in Coq, Delphine Terrasse     

Confluence and Concurrent Constraint Programming
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

A Generic Algebra for Data Collections Based on Constructive Logic
P. Rajagopalan and C.P. Tsang

Automated Reasoning about Parallel Algorithms using Powerlists
Deepak Kapur and M. Subramaniam 

Mongruences and Cofree Coalgebras, Bart Jacobs 

Partial Order Programming (Revisited)
Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon