AMAST Archive from CS Faculty of University of Twente (1994-2000)

These archives collect AMAST-related information maintained by Pippo Scollo at the University of Twente from Spring 1994 until the end of year 2000. We are grateful to Prof Scollo for making them available here.
These archives are only available through these web pages; they are no longer available at the University of Twente nor by FTP.

AMAST Mail

Contributions to the AMAST mailing list were submitted by e-mail to address amast@cs.utwente.nl

For browsing through the most recent contributions see the latest AMAST mail update.

The AMAST Mail Archives were maintained since Spring 1996.

Travelling notes

Information on AMAST (Algebraic Methodology And Software Technology) was maintained at the Computer Science Faculty of the University of Twente both on its WWW-server and on its FTP-server. The two systems generally contained the same information, but the updating of the AMAST information on the FTP server sometimes took place later than on the WWW-server.

Any non-directory file on the FTP-server could also be accessed on the WWW-server by using a corresponding URL, which was obtained from the FTP URL by replacing the prefix

ftp://ftp.cs.utwente.nl/pub/doc/

with the prefix

http://www.cs.utwente.nl/

The root directory of AMAST information is amast/, located under the path given in the prefix above. Files under this directory can be accessed through the links provided below.

If this is your first go through this page, you may wish to have a look at an introduction to the AMAST newsletter, mailing lists and subscription options.

Further travelling notes, relating to AMAST Links (the AMAST newsletter), can be found in the General Index for the AMAST newsletter .

README , amast2000/ , mail/ , workshops/ , info/ , links/ , sigala/ , amast98/ , amast97/ , amast96/ , amast95/ , amast93/ , amast91/ .

README

Outline of AMAST information at CS Faculty of University of Twente ( plain-text).
Mainly intended for FTP users, the outline is a synthesis of the information given in this index plus the index of the AMAST newsletter.

amast2000/

new: AMAST 2000 website

mail/

AMAST Mail Archives

See the AMAST Mail Meta-Index for further information and mail browsing.

workshops/

AMAST Workshops:

AMiLP 2000:

2nd AMAST Workshop on Language Processing (Iowa City, May 20-22, 2000):

new: AMiLP 2000 WWW page

new: Preliminary Call for Participation (plain text)

Announcement and Call for Contributions (plain text)

AMiLP'95:

1st AMAST Workshop on Language Processing: AMiLP'95 WWW page

Editorial, Contents and Abstracts of the special issue of Theoretical Computer Science on Algebraic Methods in Language Processing (TCS 199, 1-2, cover date: 15 June 1998).

ARTS'99:

5th AMAST Workshop on Real-Time and Probabilistic Systems:

This Fifth Workshop on Real-Time and Probabilistic Systems takes place in Bamberg, Germany, May 26-28, 1999. The call for participation is available. For more information, please visit the ARTS'99 web pages .

Call for Participation (plain text): arts99/ARTS99CfPart.txt

ARTS'99 website

ARTS'97:

4th AMAST Workshop on Real-Time Systems:
Call for Participation (including Programme): arts97/ARTS97CfPart.txt,
Registration and Hotel Information: arts97/ARTS97RegInfo.txt,

ARTS'96:

3rd AMAST Workshop on Real-Time Systems:
Proceedings Information: arts96/Proceedings.txt,
Final Program: arts96/Program.tex, arts96/Program.txt

info/

Introduction to the AMAST newsletter, mailing lists and subscription options;
also available in plain text form.
Records of communication onto the AMAST mailing list:

info/ady04/

Digests of messages sent onto the AMAST mailing list in 1997; two digests are available:

the last digest of messages distributed on the list ADY04N06 [18/06/1997--18/07/1997],
the cumulative annual digest for the current year CAADY04 [01/01/1997--18/07/1997].

These are text files that should be processable by most of the UNIX mail handling programs, such as Berkeley Mail, mailx, mhs, etc.

info/caad/

Cumulative annual digests of messages sent onto the AMAST mailing list during previous years.

CAADY01 [27/09/1994--31/12/1994].
CAADY02 [01/01/1995--31/12/1995].
CAADY03 [01/01/1996--31/12/1996].

info/setup/

Digests of contributions to discussion on a proposed AMAST newsletter, new AMAST mailing lists and communication styles, during the list set-up phase (July-September 1994):

Digest01 [29/07/1994],
Digest02 [15/08/1994],
Digest03 [29/08/1994],
Digest04 [12/09/1994],
Digest05 [26/09/1994].

links/

AMAST newsletter

See the General Index for the AMAST newsletter for further information and access to individual issues.

sigala/

First two issues of the SIGALA Newsletter (SIGALA is the Special Interest Group on Algebraic Logic and Applications).
First issue: snl94001.ps.
Second issue: snl94002.dvi, snl94002.ps, snl94002.tex.

amast98/

AMAST'98 Preliminary Call for Participation (plain text): AMAST98PCfPart.txt

AMAST'98 latest Call for Papers (plain text, Latex): AMAST98CfP.txt, AMAST98CfP.tex

AMAST'98 website

amast97/

AMAST'97 Conference announcements:

Call for Tool and System Demonstrations:: AMAST97CfD.txt
Final Call for Papers:: AMAST97CfP.txt

AMAST'97 website announcement:

html:: AMAST97website.html
plain text:: AMAST97website.txt

amast96/

AMAST'96 Conference announcements:

Preliminary Program:: PrelProg.txt
Call for Systems Demonstrations:: CallForDemos.txt
Call for Papers:: CallForPapers.txt, CallForPapers.tex, CallForPapers.dvi, CallForPapers.ps

amast95/

AMAST'95 Conference announcements:

Call for Participation:: CallForParticipation.txt;
Preliminary Programme:: PreliminaryProgramme.txt;
List of accepted papers:: AcceptedPapers.txt;
Final Call for Papers:: FinalCfP.txt, FinalCfP.tex, FinalCfP.dvi, FinalCfP.ps, ShortFinalCfP.ps;
Tools Fair Announcement:: ToolFair.txt, ToolFair.tex, ToolFair.dvi, ToolFair.ps.

amast93/

Report on the AMAST'93 Conference:

3rdConfReport.tex, 3rdConfReport.dvi, 3rdConfReport.ps.

Banquet speech by Roger D. Maddux at the AMAST'93 Conference:

BanquetSpeech93.tex [NOTE: TeX source], BanquetSpeech93.dvi, BanquetSpeech93.ps.

Reports on two AMAST Workshops:

Real-Time Systems, Iowa City, Nov. 1-3, 1993:
1stWRTSReport.tex, 1stWRTSReport.dvi, 1stWRTSReport.ps;
Topology and Completion in Semantics, Chartres, Nov. 18-20, 1993:
1stWTCSReport.tex, 1stWTCSReport.dvi, 1stWTCSReport.ps.

All these were published in the Bulletin of the EATCS.

BibTeX references of TCS 140:1 (Selected Papers of AMAST'93):: TCS140Contents.bib

amast91/

Banquet speech by Yuri Gurevich at the AMAST'91 Conference
(published in the Bulletin of the EATCS, October 1993):
BanquetSpeech91.tex, BanquetSpeech91.dvi, BanquetSpeech91.ps.

AMAST Index at CS Faculty of University of Twente /
last revised: 9 December 2000
last edited: 9 January 2003