AMAST'95 Preliminary Programme available

• To: types@dcs.gla.ac.uk
• Subject: AMAST'95 Preliminary Programme available
• From: scollo@cs.utwente.nl (Pippo Scollo)
• Date: Mon, 20 Mar 1995 16:50:34 +0100
• Approved: types@dcs.gla.ac.uk

[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:

  http://www.cs.utwente.nl/data/amast/amast95/PreliminaryProgramme.txt

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: 

    amast95-info@cs.concordia.ca
    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: 

    amast95-request@cs.concordia.ca

• Prev: Summary: type inference
• Next: Re: Question: typing with set of most general unifiers
• Index(es):
  • Main
  • Thread