[C1] ================================================ AMAST Links 01 01

4th Int Conf on Algebraic Methodology And Software Technology, AMAST'95
                    Montreal, Canada, July 3-7, 1995

UPDATE of [SIAN02p3-1]: Final Call for Papers available (anonymous ftp)
URL: ftp://ftp.cs.utwente.nl/pub/doc/amast/amast95/

  A major goal of the AMAST Conference consists in putting software
development technology on firm, mathematical foundations. Particular
emphasis is given to algebraic and logical foundations of software
technology. An eventual goal is to establish algebraic and logical
methodology as a practically viable and attractive alternative to the
prevailing ad-hoc approaches to software engineering. The benefits
accruing from such formal foundations will be clearly far reaching and
both academia and industry are expected to benefit from this.
  In addition, the first day of the conference is dedicated to
Mathematics Education for Software Engineers.
  CHAIRPERSONS: M Nivat (General Ch.), V S Alagar (Program Ch.),
T Rus (Organiz. Ch.), P Grogono (Tools & Demo Ch.),
T Radhakrishnan (Finance Ch.), C M I Rattray (Publicity Ch.)
  INVITED SPEAKERS:   @ Conference:
K Apt      : Correctness of Logic Programs with Dynamic Selection Rules
J A Goguen : A Survey of Category-Based Equational Logic
E Orlowska : Information Algebras
R Parikh   : Knowledge Based Programming
                      @ Education Day:
D Craigen & T Ralston : The Role of Education and Training in the
                        Industrial Application of Formal Methods
D Gries               : Using Equational Logic as a Tool not Just
                        as an Object of Study
J M Wing              : Teaching Mathematics to Software Engineers
PROCEEDINGS: to be published by Springer-Verlag in the LNCS Series
DATES: Subm: Nov 15, Notif: Feb 1, Final: Mar 15; Demo Subm: Dec 15.
FURTHER INFORMATION: Registration        : krishnan@cs.concordia.ca
                     Tools and Demos     : grogono@cs.concordia.ca
                     Local Arrangements  : missaoui.rokia@uqam.ca
Bulletins on current status of conference: amast95-info@cs.concordia.ca
Subscription to AMAST'95 mailing list : amast95-request@cs.concordia.ca