[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 (by anonymous ftp).

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 and Demo Ch.), T Radhakrishnan (Finance Ch.), C M I Rattray (Publicity Ch.)

Invited Speakers:

• at 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
• at 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

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