AMAST'95 Preliminary Programme available

[Since it is clearly relevant, I am distributing this conference
announcement to types.  -- Philip Wadler, moderator, Types Forum.]

The Preliminary Programme of the AMAST'95 Conference (4th International
Conference on Algebraic Methodology And Software Technology, Montreal,
Canada, July 3-7, 1995) is available on the WWW at the following URL:


The file includes abstracts of the invited talks, conference schedule,
registration information and registration forms, and accommodation and
travel information. The deadline for reduced registration fees is:

  Monday June 5, 1995

The file is also available by anonymous ftp:

  host:      ftp.cs.utwente.nl
  username:  anonymous
  password:  your e-mail address
  directory: pub/doc/amast/amast95/
  get file:  PreliminaryProgramme.txt

More information about AMAST'95 is available from the following sources:

 1. For bulletins on current status of the conference: 

    Tools and Demos: grogono@cs.concordia.ca
    Registration: krishnan@cs.concordia.ca
    Local Arrangements: missaoui.rokia@uqam.ca
 2. For subscribing to AMAST'95 mailing list: