[begin <location>README]----------------------------------------------- __________________________________________________________________ Outline of AMAST information at CS Faculty of University of Twente ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ <location> := ftp://ftp.cs.utwente.nl/pub/doc/amast/ <location> := http://www.cs.utwente.nl/amast/ Date : 09/12/2000 Contents : Index.html, README, amast2000/, mail/, workshops/, info/, links/, sigala/, amast98/, amast97/, amast96/, amast95/, amast93/, amast91/ Index.html : Hypertext index of AMAST information at <location> README : this page amast2000/ : AMAST 2000 Call for Papers (plain text) *new:* AMAST 2000 Final Call for Papers (plain text) AMAST 2000 website Contents : AMAST2000CfP.txt *new:* AMAST2000FinalCfP.txt _AMAST 2000 website_ URL: http://www.cs.uiowa.edu/amast2000/ mail/ : AMAST mail archives, since Spring 1996 year and monthly archives are maintained, and are all available from the AMAST Mail Meta-Index, as follows: for each year yyyy (four digits), the corresponding directory yyyy/ contains: 1. the hypertext form of the full year archive, available through the index file for that year: AMyyyyIndex.html 2. the mailbox form of the full year archive: AMyyyy.mbox 3. for each month mm (two digits) a corresponding subdirectory mm/ that contains: o the hypertext form of the monthly archive, available through the index file for that month: AMyyyymmIndex.html o the mailbox form of the monthly archive: AMyyyymm.mbox Sizes of mailbox files (some are fairly large) are given in the AMAST Mail Meta-Index. Contents : AMIndex.html, AMIndex.txt, EAMIndex.html, EAMIndex.txt, 1996/, 1997/, 1998/, 1999/, 2000/, update/ update/ : latest update of AMAST mail archives (9 December 2000) Contents : AMUIndex.html, AMUpdate.mbox workshops/ : AMAST Workshops: - Algebraic Methods in Language Processing (AMiLP) *new:* 2nd edition: AMiLP 2000, Iowa City, May 20-22, 2000 1st edition: see _AMiLP'95 website_, URL: http://www.cs.utwente.nl/amast/workshops/AMiLP95.html - AMAST Workshops on Real-Time Systems (ARTS) 5th edition: ARTS'99 4th edition: ARTS'97 3rd edition: ARTS'96 Contents : *new:* AMiLP2-CfPart.txt (plain text) AMiLP2-Ann.txt (plain text) AMiLP95.html amilp95/ arts99/, arts97/, arts96/ amilp95/ : information on the AMiLP'95 workshop, joint with the 10th Twente Workshop on Language Technology (TWLT), available via the AMiLP'95 website (see above). 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). arts99/ : 5th AMAST Workshop on Real-Time Systems, ARTS'99 Call for Participation, This Fifth Workshop on Real-Time and Probabilistic Systems takes place in Bamberg, Germany, May 26-28, 1999. For more information, please visit the _ARTS'99 web pages_, at URL: http://www7.informatik.uni-erlangen.de/arts99 Contents : ARTS99CfPart.txt, _ARTS'99 website_ URL: http://www7.informatik.uni-erlangen.de/arts99/ arts97/ : 4th AMAST Workshop on Real-Time Systems, ARTS'97 (Call for Participation (including Programme), Registration and Hotel Information) Contents : ARTS97CfPart.txt, ARTS97RegInfo.txt arts96/ : 3rd AMAST Workshop on Real-Time Systems, ARTS'96 (Proceedings Information, Final Program) Contents : Proceedings.txt Program.txt, Program.tex info/ : records of communication onto the AMAST mailing list Contents : Options.txt, Options.html, ady04/, caad/, setup/ Options.txt, Options.html : introductory information about the AMAST newsletter, mailing lists, and related subscription options. 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 - the cumulative annual digest for the current year these are text files that should be processable by most of the UNIX mail handling programs, such as Berkeley Mail, mailx, mhs, etc. Contents : ADY04N06 [18/06/1997--18/07/1997] CAADY04 [01/01/1997--18/07/1997] caad/ : cumulative annual digests of messages sent onto the AMAST mailing list during previous years: Contents : CAADY01 [27/09/1994--31/12/1994] CAADY02 [01/01/1995--31/12/1995] CAADY03 [01/01/1996--31/12/1996] 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) Contents : Digest01 [29/07/1994] Digest02 [15/08/1994] Digest03 [29/08/1994] Digest04 [12/09/1994] Digest05 [26/09/1994] links/ : AMAST newsletter Contents : AL-Index.html, v03/, v02/, v01/, sample/ Note : The file AL-Index.html provides WWW users with links to individual issues of the AMAST newsletter: both those of `AMAST Links' (regular series, started in October 1994), and the previously appeared sample issues (see description of sample/ below). Each annual volume of `AMAST Links' is located in a separate subdirectory vnn/ (where `nn' is the volume number); within this, each issue of AMAST Links nn is stored in a separate subdirectory imm/ (where `mm' is the issue number), both as a single, whole-issue (hyper)text file, and as a collection of distinct (hyper)text files, with each of these only containing one page of that issue. File naming conventions are as follows, where `vv', `ii', `pp', and `tt' are variables, respectively denoting vv : volume number (two digits) ii : issue number (two digits) pp : page identifier (two characters) tt : file extension (.txt and .html are available) ALvvii.tt : the whole issue AMAST Links vv ii ALvvii-ToC.tt : the ToC page of AMAST Links vv ii ALvviipp.tt : page pp of AMAST Links vv ii The directory of each issue of AMAST Links may have a subdirectory full/, where more detailed information is stored, that is referred to in the corresponding newsletter. Only the presence, not the contents, of those subdirectories is documented here. v03/ : third volume of AMAST Links (1996) Contents : i01/ i01/ : AMAST Links Vol. 03, Issue 01 [21/03/1996] full/ v02/ : second volume of AMAST Links (1995) Contents : i08/, i07/, i06/, i05/, i04/, i03/, i02/, i01/ i08/ : AMAST Links Vol. 02, Issue 08 [09/01/1996] full/ i07/ : AMAST Links Vol. 02, Issue 07 [25/10/1995] full/ i06/ : AMAST Links Vol. 02, Issue 06 [31/08/1995] full/ i05/ : AMAST Links Vol. 02, Issue 05 [21/06/1995] full/ i04/ : AMAST Links Vol. 02, Issue 04 [24/04/1995] full/ i03/ : AMAST Links Vol. 02, Issue 03 [15/03/1995] full/ i02/ : AMAST Links Vol. 02, Issue 02 [21/02/1995] full/ i01/ : AMAST Links Vol. 02, Issue 01 [10/02/1995] full/ v01/ : first volume of AMAST Links (1994) Contents : i03/, i02/, i01/ i03/ : AMAST Links Vol. 01, Issue 03 [23/12/1994] full/ i02/ : AMAST Links Vol. 01, Issue 02 [07/11/1994] full/ i01/ : AMAST Links Vol. 01, Issue 01 [12/10/1994] full/ sample/ : sample issues of the AMAST newsletter, produced during the set-up phase (July-September 1994) Contents : issue00/, issue01/, issue02/, issue03/, issue04/, issue05/ Note : each sample issue of the newsletter is available in a separate subdirectory, both as a single text-file and as a set of distinct text-files, where each of these only contains one page of the sample issue. File naming conventions are as follows (where `xx', `y' and `z' are variables): SIANxx.txt : the whole sample issue xx SIANxx-ToC.txt : the ToC page of sample issue xx SIANxxpy.txt : page y of sample issue xx SIANxxpy-z.txt : page y.z or y-z of sample issue xx Starting from issue03/, there is also a hypertext version of the newsletter: SIANxx.html Starting from issue04/, each directory issuexx/ has a subdirectory full/, where more detailed information is stored, that is referred to in the corresponding newsletter. The contents of those subdirectories are not documented here. issue00/ : 1st sample issue [29/07/94] issue01/ : 2nd sample issue [06/08/94] issue02/ : 3rd sample issue [15/08/94] issue03/ : 4th sample issue [29/08/94] issue04/ : 5th sample issue [12/09/94] full/ issue05/ : 6th sample issue [26/09/94] last sample issue full/ sigala/ : first two issues of the SIGALA Newsletter Contents : snl94001.ps, snl94002.tex, snl94002.dvi, snl94002.ps amast98/ : AMAST'98 Preliminary Call for Participation, AMAST'98 latest Call for Papers, AMAST'98 website Contents : AMAST98PCfPart.txt, AMAST98CfP.txt, AMAST98CfP.tex, _AMAST'98 website_ URL: http://www.lmf-di.puc-rio.br/~amast98 amast97/ : AMAST'97 Call for Tool and System Demonstrations AMAST'97 Final Call for Papers, AMAST'97 website Contents : AMAST97CfP.txt, AMAST97website.html, AMAST97website.txt amast96/ : AMAST'96 Conference announcements: Preliminary Program Call for Systems Demonstrations, Call for Papers Contents : PrelProg.txt, CallForDemos.txt, CallForPapers.txt CallForPapers.tex, CallForPapers.dvi, CallForPapers.ps amast95/ : AMAST'95 Conference announcements: Call for Participation Preliminary Programme List of accepted papers Final Call for Papers and Tools Fair Announcement Contents : CallForParticipation.txt PreliminaryProgramme.txt AcceptedPapers.txt FinalCfP.txt, FinalCfP.tex, FinalCfP.dvi, FinalCfP.ps ShortFinalCfP.ps ToolFair.txt, ToolFair.tex, ToolFair.dvi, ToolFair.ps amast93/ : - report on the AMAST'93 Conference - banquet speech by Roger D. Maddux at the AMAST'93 Conference - reports on two AMAST Workshops: o Real-Time Systems, Iowa City, Nov. 1-3, 1993 o Topology and Completion in Semantics, Chartres, Nov. 18-20, 1993 all of the above published in the Bulletin of the EATCS - BibTeX references of TCS 140:1 (AMAST'93 Selected Papers) Contents : 3rdConfReport.tex, 3rdConfReport.dvi, 3rdConfReport.ps BanquetSpeech93.tex [NOTE: TeX source], BanquetSpeech93.dvi, BanquetSpeech93.ps 1stWRTSReport.tex, 1stWRTSReport.dvi, 1stWRTSReport.ps 1stWTCSReport.tex, 1stWTCSReport.dvi, 1stWTCSReport.ps TCS140Contents.bib amast91/ : banquet speech by Yuri Gurevich at the AMAST'91 Conference (published in the Bulletin of the EATCS, October 1993) Contents : BanquetSpeech91.tex, .dvi, .ps [end <location>README]-------------------------------------------------