From mehmet@macadam.mpce.mq.edu.au Fri Jan 13 05:30 MET 1995 Return-Path: Date: Fri, 13 Jan 95 15:26:33 +1100 From: mehmet@macadam.mpce.mq.edu.au (Mehmet Orgun) Message-Id: <9501130426.AA01916@macadam.mpce.mq.edu.au> To: amast@cs.utwente.nl Subject: Re: Links, Vol 1, No 3 Content-Type: text Content-Length: 173 Status: O Re: AMAST Links, Vol 1 No 3 URL for ISLIP'95 [CI] should be: http://krakatoa.mpce.mq.edu.au/~mehmet/islip95.html Tilde (~) is missing in the given link. Thanks. Mehmet From scollo@cs.utwente.nl Mon Feb 6 21:06 MET 1995 Return-Path: Date: Mon, 6 Feb 1995 21:06:38 --100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9502062006.AA08596@cerberus.cs.utwente.nl> To: amast@cs.utwente.nl Subject: getting restarted Content-Type: text Content-Length: 1048 Status: O With some delay with respect to the planned schedule, the first issue of the second volume of `AMAST Links' is in preparation; actually, in view of the number of accumulated announcements, two issues are being prepared: our plan is to distribute the first issue this week, soon to be followed by the second issue next week. Following the distribution of the previous digest of messages, a problem was detected with the format of the digest, namely some `smart' mailers understand the contents of the message which carries the digest as consisting of a sequence of mail messages, and thus forward each message in the sequence separately, plus an empty message (that's what is left of the original message: it's header). I'm now going to adopt `by hand' an old solution to this problem, viz. each message gets a `>' character prefixed (in the e-mail distribution of the digest, not in the AMAST digest files stored on the WWW and FTP servers). Should any `better' solution be known, please let me know it. Many thanks in advance. Pippo From scollo@cs.utwente.nl Mon Feb 20 18:08 MET 1995 Return-Path: Date: Mon, 20 Feb 1995 18:08:40 --100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9502201708.AA20135@cerberus.cs.utwente.nl> To: amast@cs.utwente.nl Subject: schedule of AL0202, and good news Content-Type: text Content-Length: 1255 Status: RO The next issue of AMAST Links is planned to be distributed tomorrow, Tuesday 21 February 1995. In the meantime, a couple of good news. First, our warmest welcome to a new Editor, starting with the forthcoming new issue of AMAST Links: Elena Trichina, from Joensuu University, Finland. Elena is quite enthusiastic to participate both in the editorial work and in the investigations on text->hypertext generation. Second, Prof. Hajime Ishihara, from JAIST in Japan, who contributed to AL0201, suggested to extend the distribution of AMAST Links (ToC-only) and of the AMAST Digest to a mailing list on logic in Japan, that comprises nearly 250 subscribers. Our thanks to Prof. Hajime Ishihara for this excellent suggestion, which is going to be implemented as soon as it will be checked that the additional distribution is free from technical problems. Without taking this into account, our current subscription statistics are as follows: 350 subscribers, of which: (S1) 292 to full newsletter and digest of comments, (S2) 3 to the full newsletter only (no digest of comments thus), (S3) 38 with the ToC-only option and no digest of comments, (S4) 17 with the ToC-only option, and digest of comments as well Regards, Pippo From kruijff@rhseti.hydra.cs.utwente.nl Fri Mar 17 12:38 MET 1995 Return-Path: From: kruijff@rhseti.hydra.cs.utwente.nl (kruijff@cs.utwente.nl) To: amast@cs.utwente.nl Subject: Question Reply-To: kruijff@cs.utwente.nl Date: Fri, 17 Mar 95 12:38:49 GMT Message-Id: <9503171138.312408@utip37.hydra.cs.utwente.nl> X-Mailer: SelectMAIL 1.2 Content-Type: text Content-Length: 1513 Status: RO QUESTION, CONCERNING INDECIDABILITY IN BOOLE-DE MORGAN-PEIRCE-SCHRO"DER TRADITION Results on indecidability (Go"del) and implications for -formal- machines (e.g. Turing) have been obtained in the tradition of Frege-Peano-Russell/Whitehead. Being interested in Peirce and the consequences of his views upon reasoning (in particular abduction) for formal machines/representations, I would like to know whether: - there have been obtained results similar to those of Go"del and Turing in the Boole-De Morgan-Peirce-Schro"der tradition; or, - the results of for example Go"del and Turing have been 'translated' into terms of the Boole-De Morgan-Peirce-Schro"der tradition. I would greatly appreciate it if anyone could provide me with references to articles, books, etc. (and perhaps where I would be able to obtain them). Geert-Jan Kruijff ============================================================================ GEERT-JAN M. KRUIJFF | Department of Theoretical Computer Science | Faculty of Computer Science | University of Twente | Be a philosopher, but, Enschede - The Netherlands | amidst all your philosophy, | be still a man. Department of Systemic Philosophy | - David Hume, 1777 Faculty of Philosophy & Social Sciences | University of Twente | Enschede - The Netherlands | | kruijff@cs.utwente.nl | ============================================================================ From mili.hafedh@uqam.ca Fri Mar 17 22:27 MET 1995 Return-Path: From: mili.hafedh@uqam.ca (Hafedh Mili) Message-Id: <9503172122.AA01115@aicha.info.uqam.ca> Subject: Re: AMAST Links 02 03 To: amast@cs.utwente.nl Date: Fri, 17 Mar 1995 16:22:52 -0500 (EST) In-Reply-To: from "amast@cs.utwente.nl" at Mar 17, 95 03:04:43 pm X-Mailer: ELM [version 2.4 PL22] Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=ISO-8859-1 Content-Length: 421 Status: RO Salut Gregor, > This is an interesting collection of information on Algebraic methods and > software technology, in particular in the WWW format. > > Gregor I have had trouble accessing the information using Mosaic (which worked well for other sites). Our system administrator installed Netscape, and for some reason, I was then able to access it. In case you want to share this information with the others... Hafedh From scollo@cs.utwente.nl Sat Mar 18 03:35 MET 1995 Return-Path: Date: Sat, 18 Mar 1995 03:34:51 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9503180234.AA17058@cerberus.cs.utwente.nl> To: mili.hafedh@uqam.ca Subject: Re: AMAST Links 02 03 Cc: amast@cs.utwente.nl Content-Type: text Content-Length: 717 Status: RO Hello Hafedh, > When I used ftp to www.cs.utwente.nl, I had immediate access. I told our > system administrator about it. He installed NetScape, and both and I, at > different times, were able to access your site => it may have been a subtle > bug in the local installation of Mosaic that I was using. The following problem report may be useful to other AMASTers as well. Just a few minutes after loading the newsletter on the WWW I happened to find out that there was a little mistake in the newsletter's index file, affecting the hyperlink to the HTML whole-issue version of AMAST Links 02 03. The hyperlink has been rectified, hence the problem should have disappeared by now. Best regards, Pippo From scollo@cs.utwente.nl Mon Mar 20 20:27 MET 1995 Return-Path: Date: Mon, 20 Mar 1995 20:27:47 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9503201927.AA00896@cerberus.cs.utwente.nl> To: amast@cs.utwente.nl Subject: Corrections and statistics Content-Type: text Content-Length: 1316 Status: RO The following error affected the plain-text version of AMAST Links 02 03 which has been distributed by e-mail: page [C7]: a missing at the end of the 18th line (starting from the title) I hope the error did not cause a truncation to be made by some mailer, but otherwise please let me know. This error has been rectified on the copies which are stored on the WWW and FTP servers in Twente. In addition, the ISBN reported on page [L4] for the book Vol 1 : Systems Methodology for Software is that of the first edition, not of the second edition; it will be replaced by the latter when available. Finally, by the up-to-date subscription statistics, the number of AMAST subscribers has become (a few minutes ago) a round fourth power: 625 subscribers, of which: (S1) 295 to full newsletter and digest of comments, (S2) 10 to the full newsletter only -- no digest of comments thus (including Dan Tufis' list in Romania: 8 subscribers to date), (S3) 53 with the ToC-only option and no digest of comments, (including Eugenio Moggi's list in Genova: 15 subscribers to date), (S4) 267 with the ToC-only option, and digest of comments as well (including the logic-ml list in Japan: 248 subscribers to date). Regards, Pippo From scollo@cs.utwente.nl Sat Apr 15 03:33 MET 1995 Return-Path: Date: Sat, 15 Apr 1995 03:33:39 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9504150133.AA17026@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: AMAST Links 02 04 - interim version Content-Type: text Content-Length: 3832 Status: RO Because of the time-critical relevance of the following information, this message is being mailed to all AMAST subscribers. Due to unexpected events, the next issue of AMAST Links (AL0204, for short) cannot be made available this week -- it is now planned to be distributed next week, most probably on Wednesday 19 April. However, closer deadlines are attached to some of the announcements. To overcome the loss of validity that would follow from their delayed publication, an `interim' version of AL0204 is available on the WWW through the URL: http://www.cs.utwente.nl/data/amast/links/v02/i04/AL0204-ToC.html The interim version (which will be replaced by the final version as soon as this will be ready) has the enclosed ToC, which gives access to the time-critical announcements only, and where attached deadlines are given next to the page identifier: Unlike the usual case, the links in the ToC do not lead to AL0204 pages in standard, short form; rather, they give access to the original input contributions, in plain-text form. The interim version of AL0204 will _not_ be distributed by e-mail, nor will it be available by FTP. Those who have no access to the WWW may get by e-mail any of the announcements in question, simply by replying to the present message and quoting the ToC-entries of the desired announcements in the text of the reply. Please note: the interim availability of the announcements listed aboved does _not_ entail their removal from the final version of AL0204 -- that is to say, these announcements will also appear in AL0204 in the usual form. Therefore, if you are interested in the content of an interim announcement but the deadline doesn't bother you, then you need not request it by e-mail. Happy Easter! Pippo ----------------------------------------------------------------------- [ToC] ==== INTERIM =====\== INTERIM VERSION ==/====== AMAST Links 02 04 _____________________ \ / _____________________ Contributions are / \ AMAST Links / \ 15 April 1995 welcome! e-mail to ( / \ ) e-mailed to: amast@cs.utwente.nl \ / Vol. 02 Issue 04 \ / 631 subscribers ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ An index to all issues of the AMAST newsletter is available on the WWW: URL: http://www.cs.utwente.nl/data/amast/links/AL-Index.html A general index to AMAST information on the WWW server in Twente is at: URL: http://www.cs.utwente.nl/data/amast/Index.html The hypertext version of this *interim* issue is available at: URL: http://www.cs.utwente.nl/data/amast/links/v02/i04/AL0204-ToC.html _________________ Table of Contents Meetings [M4] *13 April* ISLIP'95, Call for Participation (update of [AL0103CI]) [M5] *20 April* JFPL'95, Appel a Participation (update of [AL0202CF]) [MG] *18 April* Third Australian Magma Workshop [MH] *17 April* Workshop on Math. Modelling of Linguistic Relationships CfPs [C3] *20 April* IRREGULAR'95, Final Call (update of [AL0101C7]) [C6] *15 April* SAS'95, Final Call for Papers (update of [AL0203CA]) [C7] *21 April* SEGRAGRA'95, Deadline Reminder (update of [AL0203C5]) [C8] *17 April* SIROCCO'95, Deadline extension (update of [AL0203C6]) [CE] *17 April* ACM Int'l Conf. Mobile Computing & Networking, MCN'95 [CF] *15 April* 8th Int'l Workshop on Protocol Test Systems, IWPTS'95 Jobs [J2] *21 April* Lectureships in Computing Science, Univ. of Glasgow, UK [J4] *13 April* Research Posts in Parallel Computing, Oxford Univ., UK [J7] *17 April* NSF Research Experience Undergrads 1995-96, DIMACS, USA [J9] *asap* Visiting Fac. Member Information Systems, Ball SU, IN, USA [end] ===================== INTERIM VERSION ========= AMAST Links 02 04 From scollo@cs.utwente.nl Sat Apr 15 03:35 MET 1995 Return-Path: Date: Sat, 15 Apr 1995 03:35:07 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9504150135.AA17049@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: no correction to [AL0203L4] Content-Type: text Content-Length: 1127 Status: RO The following was reported in my previous communication to the list: > In addition, the ISBN reported on page [L4] for the book > > Vol 1 : Systems Methodology for Software > > is that of the first edition, not of the second edition; it will be replaced > by the latter when available. Teodor Rus just informed us that > There is no need to correct anything from the previous newsletter > because they kept the same ISBN number to the second edition of the > book. Finally, here are the AMAST subscription statistics up-to-date: 631 subscribers, of which: (S1) 301 to full newsletter and digest of e-mail messages, (S2) 10 to the full newsletter only -- no digest of e-mail messages thus (including Dan Tufis' list in Romania: 8 subscribers to date), (S3) 54 with the ToC-only option and no digest of e-mail messages, (including Eugenio Moggi's list in Genova: 15 subscribers to date), (S4) 266 with the ToC-only option, and digest of e-mail messages as well (including the logic-ml list in Japan: 247 subscribers to date). Happy Easter! Pippo From manolo@ait.uvigo.es Thu Apr 20 12:48 MET 1995 Return-Path: From: manolo@ait.uvigo.es (Manuel X. Fernandez Iglesias) Message-Id: <9504201148.AA23555@zamans.meiga> Subject: Question To: amast@cs.utwente.nl Date: Thu, 20 Apr 1995 12:48:08 +0000 (WET DST) X-Mailer: ELM [version 2.4 PL0] Content-Type: text Content-Length: 489 Status: RO Does anybody know an equivalent term for "narrowing" in other languages (e.g. French, German, Spanish, ...) ----------------------------------------------------------------------- Manuel J. Fernandez Iglesias e-mail : manolo@ait.uvigo.es ETSI Telecomunicacion FAX : +34-86-812116 Lagoas-Marcosende, Tfno : +34-86-812176 36200-VIGO (Spain) ----------------------------------------------------------------------- From scollo@cs.utwente.nl Fri Apr 21 02:25 MET 1995 Return-Path: Date: Fri, 21 Apr 1995 02:25:38 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9504210025.AA26287@hydra.cs.utwente.nl> To: manolo@ait.uvigo.es Subject: Re: Question Cc: amast@cs.utwente.nl Content-Type: text Content-Length: 1583 Status: RO > Does anybody know an equivalent term for "narrowing" in > other languages (e.g. French, German, Spanish, ...) "vernauwing" seems to me the best translation in Dutch, from a linguistic viewpoint -- I don't know whether this is the term used in mathematical contexts such as that of term-rewriting systems (TRS), though. A linguistic argument is the phonetic similarity between "narrow" (adjective) and its Dutch equivalent "nauw", which the verb "vernauwen" derives from. I expect the existence of a similarly close translation in German. I doubt, on the contrary, about so much luck in languages out of the Latin family. Translation in the aforementioned contexts may then prove troublesome. For example, in Italian, terms such as "riduzione" (reduction) or "restrizione" (restriction) have other, familiar, mathematical meanings, and their use for "narrowing" may generate terminological clashes. Suppose you want to say that a "rewriting step" (in a TRS) is a "reduction step" (in the underlying reduction system), yet by this you do not wish to mean that it is a "narrowing step"... Your question is still open, thus. I hope somebody will get smarter ideas, if unable to contradict my pessimism about the Latin instances of your question. P.S. I'm offering you this first answer now; it will take at least a week for your question to be distributed to the list. If you or anybody else feels that this is too long, please let us know by a message addressed to the list. I'll summarize the comments about this non-mathematical, communication problem in a single message. From scollo@cs.utwente.nl Sat Apr 29 19:54 MET 1995 Return-Path: Date: Sat, 29 Apr 1995 19:54:15 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9504291754.AA14969@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: computer virus by e-mail? Content-Type: text Content-Length: 4779 Status: RO I received the enclosed message, and I feel compelled to make it available to this list, although I can't imagine how a `computer virus' -- which is a program, after all -- might ever be activated by the reading of an e-mail message. Hints about technical features of modern operating systems that would contradict my skepticism will be appreciated. Pippo Scollo ================================================================================= Date: 27 Apr 1995 12:34:46 U >From: "zanaboni" Subject: FW: eMail WARNING! URGENT! (fwd) May be some of you already know about the Good Time Internet Virus. With them I apologize for the redundant message. _______________________________________________________________________________ [...] > Forwarded message: > >Date: Mon, 17 Apr 1995 15:59:20 +0000 > >From: "Shoebridge Mark, BLACK1:" > >Subject: eMail WARNING! URGENT! > >X-Envelope-To: rreilly@elecmag3.ucd.ie [...] > > There is a computer virus that is being sent across the Internet. If > > you receive an e-mail message with the subject line "Good Times", DO > > NOT > > read the message, DELETE it immediately. Please read the messages > > below. > > > > Some miscreant is sending e-mail under the title "good times" > > nation-wide. If you get anything like this, DON'T DOWNLOAD THE FILE! > > It has a virus that rewrites your hard drive, obliterating anything on > > it. > > > > Please be careful and forward this mail to anyone you care about--I > > have. > > > > Date: 12/2/94 11:59 AM > > > > Subject: INTERNET VIRUS > > > > Thought you might like to know... > > > > The FCC released a warning last Wednesday concerning a matter of > > major importance to any regular user of the InterNet. Apparently, a > > new computer virus has been engineered by a user of America Online > > that is unparalleled in its destructive capability. Other, more > > well-known viruses such as Stoned, Airwolf, and Michaelangelo pale in > > comparison > > to the prospects of this newest creation by a warped mentality. > > > > What makes this virus so terrifying, said the FCC, is the fact that no > > program needs to be exchanged for a new computer to be infected. It > > can be spread through the existing e-mail systems of the InterNet. > > Once a computer is infected, one of several things can happen. If the > > computer contains a hard drive, that will most likely be destroyed. > > If the program is not stopped, the computer's processor will be placed > > in an nth-complexity infinite binary loop - which can severely damage > > the processor if left running that way too long. Unfortunately, most > > novice computer users will not realize what is happening until it is > > far too late. > > > > Luckily, there is one sure means of detecting what is now known as the > > "Good Times" virus. It always travels to new computers the same > > way ina text e-mail message with the subject line reading simply "Good > > Times". > > > > Avoiding infection is easy once the file has been received - not > > readingit. The act of loading the file into the mail server's ASCII > > buffer causes the "Good Times" mainline program to initialize and > > execute. The program is highly intelligent - it will send copies of > > itself to everyone whose e-mail address is contained in a > > received-mail file or > > a sent- mail file, if it can find one. It will then proceed to trash > > the computer it is running on. > > > > ********************************************************************** > > ****** ******** > > > > The bottom line here is - if you receive a file with the subject line > > "Good TImes", delete it immediately! Do not read it! Rest assured > > that whoever's name was on the "From:" line was surely struck by the > > virus. > > > > ********************************************************************** > > ****** ********* > > > > Warn your friends and local system users of this newest threat to the > > InterNet! It could save them a lot of time and money. > > > > > ******************************************************* > Dr Richard Reilly > Dept. of Electronic and Electrical Engineering, > University College Dublin, > Belfield, > Dublin 4. > Rep. of Ireland > > Tel : +353-1-7061909 > Fax : +353-1-2830921 > > E-mail : RREILLY@ELECMAG3.UCD.IE > > ******************************************************** From mwm@math.tulane.edu Sun Apr 30 12:18 MET 1995 Return-Path: From: Michael Mislove Message-Id: <199504301018.FAA07456@bach.math.tulane.edu> Subject: Re: AMAST Mail Digest, Year 02, N. 05 (16.04.95--29.04.95) To: amast@cs.utwente.nl (AMAST Mailer) Date: Sun, 30 Apr 1995 05:18:26 -0500 (CDT) In-Reply-To: <9504291958.AA15838@hydra.cs.utwente.nl> from "AMAST Mailer" at Apr 29, 95 09:58:35 pm X-Mailer: ELM [version 2.4 PL22] Content-Type: text Content-Length: 148 Status: O Dear Pippo, There has been some news on the net that indicates the "Good Time" virus is a haox. It is not a real alert. Best regards, Mike From pratt@cs.Stanford.EDU Sun Apr 30 16:39 MET 1995 Return-Path: Message-Id: <9504301439.AA04977@Coraki.Stanford.EDU> From: Vaughan Pratt To: amast@cs.utwente.nl (AMAST Mailer) Subject: Re: AMAST Mail Digest, Year 02, N. 05 (16.04.95--29.04.95) In-Reply-To: Your message of "Sat, 29 Apr 1995 21:46:26 +0200." <9504291946.AA15585@hydra.cs.utwente.nl> Date: Sun, 30 Apr 1995 07:39:10 -0700 Sender: pratt@cs.Stanford.EDU Content-Type: text Content-Length: 1246 Status: O My goodness, this "Good Times" hoax is proving harder to kill off than a real virus! The information that it was a hoax was widely circulated almost immediately after its initial broadcast, but apparently to no avail. I attach some recent correspondence about the "Good Times" hoax from comp.security.misc. Best Vaughan ---------- From: rudd@ug1.plk.af.mil (Douglas Rudd) Subject: Re: New Virus Date: Fri Apr 21 09:46:10 PDT 1995 Organization: Air Force Phillips Lab. Lines: 26 aoi@xmission.xmission.com (AOI Travel) writes: >sburge (sburge@du.edu) wrote: >: Does anyone know anything about a new virus alert supposedly issued >: by the FCC? Supposedly someone from AOL wrote a new virus that is >: passed by e-mail and doesn't require a program to be exchanged to >: infect a new computer. It's supposed to be very destructive. It's >: supposed to be called the "Good Times" virus. > It came out about 3 or 4 months ago and it was a joke. Look >where the notice came from, not cert, not someone at an edu or com >account, but AOL It's sad, but several organizations here have taken this thing seriously. It can be difficult to convince these people that it's a hoax. Shows how little they know about their jobs. Doug Rudd From wand@ccs.neu.edu Sun Apr 30 17:35 MET 1995 Return-Path: From: Mitchell Wand Date: Sun, 30 Apr 1995 11:34:48 -0400 Message-Id: <199504301534.LAA24640@delphi.ccs.neu.edu> To: amast@cs.utwente.nl In-Reply-To: <9504292112.AA17428@hydra.cs.utwente.nl> (amast@cs.utwente.nl) Subject: Re: AMAST Mail Digest, Year 02, N. 05 (16.04.95--29.04.95) Content-Type: text Content-Length: 645 Status: O > > If the program is not stopped, the computer's processor will be placed > > in an nth-complexity infinite binary loop - which can severely damage > > the processor if left running that way too long. The "Good Times" virus is well-known to be a hoax. Sorry, I don't have an authoritative source, but portions of the text, such as the one above, are clerly a joke. --Mitch Mitchell Wand Internet: wand@ccs.neu.edu College of Computer Science, Northeastern University 360 Huntington Avenue #161CN, Boston, MA 02115 Phone: (617) 373 2072 World Wide Web: http://www.ccs.neu.edu/home/wand Fax: (617) 373 5121 From felty@research.att.com Thu May 11 06:28 MET 1995 Return-Path: Message-Id: Date: Thu, 11 May 95 00:14 EDT From: felty@research.att.com (Amy Felty) To: amast@cs.utwente.nl Subject: LICS'95 2nd Call for Participation Reply-To: lics-request@research.att.com Content-Type: text Content-Length: 855 Status: O --text follows this line-- [This announcement is being sent to email lists. Our apologies for multiple copies.] Tenth Annual IEEE Symposium on Logic in Computer Science June 26-29, 1995 San Diego, California The conference program and registration forms (*) can be obtained by visiting the LICS'95 home page at http://math.ucsd.edu/lics95/, or by anonymous ftp from research.att.com, directory /dist/lics. *** Preregistration deadline is May 26 *** For early registration, payment must be received by May 26, 1995. The deadline for reserving on-campus housing is also May 26; reservations received later than this are subject to availability. ----------- (*) Although it is not mentioned on the registration form, vegetarian and kosher banquet meals are available if requested at the time the reservation is made. From Didier.Begay@labri.u-bordeaux.fr Fri May 19 19:26 MET 1995 Return-Path: From: Didier.Begay@labri.u-bordeaux.fr (Didier BEGAY) Message-Id: <9505191727.AA15967@victor.labri.u-bordeaux.fr> Subject: call for participation To: amast@cs.utwente.nl Date: Fri, 19 May 1995 19:29:51 +0200 (MET DST) X-Mailer: ELM [version 2.4 PL22] Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=ISO-8859-1 Content-Length: 5415 Status: O ============================================================================== C A L L F O R P A R T I C I P A T I O N ------------------------------------------------------------------------------ Models & Proofs --------------- AMAST workshop on Real-Time Systems and Operation Inter-PRC "Modeles et Preuves" du C.N.R.S. June 14-16 1995, Bordeaux (France) ------------------------------------------------------------------------------ The modeling and verification of real-time and concurrent systems are very important research topics in Computer Science. The increasing number of industrial applications relying on embedded software where safety criteria are critical makes it necessary to develop formal theories for modeling such systems as well as methods, techniques, and tools to insure the validity and the correctness of the modeled systems. Recognizing the importance of this area of research, the AMAST movement organized a first workshop on real-time system development held on November 1-3, 1993, in Iowa City, Iowa. This is the second AMAST workshop dedicated to this topic and it is joint with the French research project "Modeles et Preuves". 8 invited lectures and 10 communications selected by the Program Committee will be presented at this workshop. Each talk will be a 40 mn presentation followed by 15 mn discussions. Participants' proceedings will be available at the workshop. Program Committee: ----------------- V.S. Alagar (Concordia U., Montreal) A. Arnold (LaBRI, Bordeaux) J. Beauquier (LRI, Orsay) D. Begay (LaBRI, Bordeaux) M. Mislove (Tulane U., New-Orleans) M. Nivat (LITP, Paris) T. Rus (Iowa U., Iowa City) G. Scollo (U. Twente, Enschede) J. Sifakis (Verimag, Grenoble) Invited Lectures: ---------------- G. Berry (Ecole des Mines de Paris, Sophia) E. Cerny (U. Montreal, Montreal) J. F. Groote (U. Ultrecht, Utrecht) O. Grumberg (Technion, Haifa) N. Halbwachs (Verimag, Grenoble) G. Milne (U. South-Australia, Adelaide) A. Pnueli (Stanford U., Stanford) T. Wilke (Christian-Albrecht U., Kiel) Selected Lectures: ----------------- F. Boniol (CERT-ONERA, Toulouse) Synchronous Communicating Reactive Processes A. Dekdouk & A. Schaff (CRIN/INRIA, Nancy) Towards an Algebraic Semantics of a Timed LOTOS R. Achuthan & V.S. Alagar & T. Radhakrishnan (Concordia U., Montreal) A Formal Model for Specification and Verification of Real-time Reactive Systems P.K. Pandya & Y.S. Ramakrishna & R.K. Shyamasundar (Tata Inst., Bombay) A Compositional Semantics of Esterel in Duration Calculus A. Bergeron (UQAM, Montreal) A study of two concurrent timers F. Pagani & C. Seguin & P. Siron & V. Wiels (CERT-ONERA, Toulouse) Verification experiments on a large fault-tolerant distributed system D. L'her & P. Le Parc & L. Marce (UBO, Brest) Modeling and proving grafcets with transition systems C. Chevrier (LaBRI, Bordeaux) A protocol test sequences generation tool using monoid computation M. Barbeau & R. Saint-Denis (U. Sherbrooke, Sherbrooke) Verification of discrete event systems with the SUCSEDES tool A Griffault & A. Ressouche (LaBRI, Bordeaux; Ecole des Mines de Paris, Sophia) Synthesis of a rendez-vous based scheduler ------------------------------------------------------------------------------ The advance registration fee is FF 3,000 including proceedings, hotel in Bordeaux downtown (single room, 3 nights), all meals, and conference dinner. Fee for single room, 2 nights is FF 2,500. Fee for shared room, 3 nights is FF 2,200 per person. Fee for shared room, 2 nights is FF 2,000 per person. Fee for accompanying person is FF 1,000 including hotel in Bordeaux downtown (shared room, 3 nights), evening meals, and conference dinner. Fee for accompanying person is FF 800 including hotel in Bordeaux downtown (shared room, 2 nights), evening meals, and conference dinner. After june 5, late registration rate FF 600 over advance fee per person. Local arrangements and further information: contact the organizing committee at fax +33 56 84 84 12 or at e-mail m+p-registration@labri.u-bordeaux.fr. ------------------------------------ ><8 ------------------------------------ REGISTRATION FORM to send with payment to : LaBRI - Universite Bordeaux 1 "Models & Proofs" 351, cours de la Liberation 33405 TALENCE - Cedex FRANCE and confirmed by e-mail at m+p-registration@labri.u-bordeaux.fr ------------------------------------------------------------------------------ Name: First name: Title: Affiliation: Mailing address: Telephone: Fax: E-mail: I will participate in the workshop "Models & Proofs" to be held in Bordeaux on 14-16 june 1995. Name/First name of an accompanying persons (if any): ... I will share room with other participant (which): ... I will arrive on (day/time): ... I will leave on (day/time): ... I cover the registration cost with a check in FF to the order of ADERIS, or in cash upon arrival. (Sorry, no credit cards accepted) Other comments (eg. dietary requirements, etc.): .... ------------------------------------------------------------------------------ From scollo@cs.utwente.nl Mon May 29 23:56 MET 1995 Return-Path: Date: Mon, 29 May 1995 23:56:01 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9505292156.AA04475@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: close deadlines Content-Type: text Content-Length: 1148 Status: RO The fifth issue of this year's AMAST Links will appear later than scheduled, most probably at the beginning of next week. Two pieces of news should not be further delayed, however, so here they are: 1. The pre-registration deadline for the AMAST'95 conference in Montreal has been extended to June 9, 1995 (firm) The Call for Participation is available on the WWW, at URL: http://www.cs.utwente.nl/data/amast/amast95/CallForParticipation.txt and will be loaded on the AMAST ftp repository as well. The Call also contains new information relating to a concert, which is proposed to the AMAST'95 participants under the alternative reading of `AMAST' as `Algebra, Music And Sound Techniques'. 2. A Call for Participation has been issued for the workshop `Models and Proofs' (in Bordeaux, June 14-16, 1995), that is the 2nd AMAST workshop on Real-Time Systems joint with a French workshop. The pre-registration deadline for this is _very close_: June 5, 1995 The Call for Participation (which has a pretty small size) is thus being distributed within this digest. Pippo Scollo From scollo@cs.utwente.nl Tue Jun 27 18:07 MET 1995 Return-Path: Date: Tue, 27 Jun 1995 18:07:41 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9506271607.AA01607@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: typos, corrections, and subscription statistics Content-Type: text Content-Length: 3608 Status: RO The (plain-text version of the) latest issue of AMAST Links as distributed by e-mail was affected by several typos. This can be explained by the fact that I could generate the hypertext version via a telnet connection, but at that moment I had no WWW-browser available. So, I couldn't check the result of the text->hypertext conversion (this check usually reveals misprints in the plain-text version that cause, for example, the generation of incorrect hyperlinks, etc.), but I preferred to distribute the newsletter anyway rather than delaying its (already late) distribution by one more week. The detected typos and their corrections are listed in the second annex below. These corrections have been made on the WWW copy of AMAST Links 02 05. The first annex below gives the up-to-date subscription statistics to the AMAST lists. Pippo Scollo ============================================================================== AMAST subscription statistics (27 June 95) 722 subscribers, of which: (S1) 322 to full newsletter and digest of e-mail messages, (S2) 12 to the full newsletter only -- no digest of e-mail messages thus (including Dan Tufis' list in Romania: 8 subscribers to date), (S3) 62 with the ToC-only option and no digest of e-mail messages, (including the amast-ge list in Genova: 15 subscribers to date), (S4) 326 with the ToC-only option, and digest of e-mail messages as well (including the logic-ml list in Japan: 267 subscribers to date, and the amast-ct list in Catania: 25 subscribers to date). ============================================================================== Corrections to AMAST Links 02 05 (plain-text version) [ToC] page: < [M1] AMAST'95, Pre-registration deadline extension (upd. [AL0204M1]) > [M1] AMAST'95, Up-to-date Call for Participation (upd. [AL0204M1]) page [M5]: < *Update* of information in [AAL0202C7]. > *Update* of information in [AL0202C7]. page [MB]: By accident, the file containing the original announcement, that is at URL: http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205MB.txt was incorrectly named AC205MB.txt, hence the link to it didn't work. page [C7]: < http://www.cs.utwent.nl/data/amast/links/v02/i05/full/AC0205C7.txt > http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205C7.txt page [J6]: all occurrences of the following quoted string at beginning of line (beginning of unnumbered list item): < " o " > " o " page [LC]: < ftp://ftp.cs.ualberta.ca/cd pub/hoover/P-complete > ftp://ftp.cs.ualberta.ca/pub/hoover/P-complete page [LD]: There's no error in the plain-text source, in this case, but the hypertext converter fails to generate the complete URL (up to and including the file name and extensions) for the given FTP transfer. The hypertext version has been corrected manually. page [LF]: < _1_ at URL: ftp://science.csc.ncsu.edu/icalp95.ps.Z > _1_ at URL: ftp://science.csc.ncsu.edu/pub/papers/icalp95.ps.Z < _2_ at URL: ftp://science.csc.ncsu.edu/lics95.ps.Z > _2_ at URL: ftp://science.csc.ncsu.edu/pub/papers/lics95.ps.Z page [T1]: beginning of last item of unnumbered list (quoted string): < " o " > " o " page [S3]: < http://www/cs/cmu/edu/~iliano/linearbib/linearbib.html > http://www.cs.cmu.edu/~iliano/linearbib/linearbib.html < at URL: http://www.cs.sri.com/linear/sri-csl-ll.html > at URL: http://www.csl.sri.com/linear/sri-csl-ll.html page [A2]: every line referring to the authorship of a contribution should start on the fourth column. From mikef@dcs.ed.ac.uk Wed May 31 14:08 MET 1995 Return-Path: From: mikef@dcs.ed.ac.uk Date: Wed, 31 May 1995 13:06:40 +0100 Message-Id: <6201.9505311206@rough.dcs.ed.ac.uk> To: categories@mta.ca, clics@doc.ic.ac.uk, pssl@doc.ic.ac.uk, sdt-list@doc.ic.ac.uk, types@dcs.gla.ac.uk, amast@cs.utwente.nl Subject: Dana Scott receives Honorary Degree from Edinburgh Content-Type: text Content-Length: 1466 Status: RO Apologies if you've already seen this... > > +++++++++++++++ > + Dana Scott + > +++++++++++++++ > > Celebration of Honorary D.Sc. > ============================= > > Edinburgh, 13th - 14th July 1995 > > Invitation > ========= > > The University of Edinburgh will honour Prof. Dana Scott, > of Carnegie Mellon University, USA, with the Honorary Degree of > Doctor of Science, on 12th July 1995. > > We take great pleasure in inviting friends and colleagues to join > in an informal celebration of this award, which we will hold in Dana's > honour on 13th and 14th July 1995. > > Lectures and reception will be held in the James Clerk Maxwell > Building on the Science Campus (King's Buildings) of > The University of Edinburgh, > Edinburgh > EH9 3JZ. > > For further information please reply with > full postal address to tlc@dcs.ed.ac.uk. We regret that we will be unable to make any financial contributions towards travel and accommodation. For making accommodation arrangements please refer to http://www.dcs.ed.ac.uk/lfcsinfo/miscellaneous/accommodation-list.html ------------------------------------------------------------------------------- Prof. Michael P. Fourman, Laboratory for Foundations of Computer Science, University of Edinburgh, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ Scotland, UK. email : Michael.Fourman@ed.ac.uk Tel: (+44)131-650-5197 Fax : (+44)131-667-7209 From Moeller@Uni-Augsburg.DE Wed May 31 17:05 MET 1995 Return-Path: Date: Wed, 31 May 1995 17:01:14 +0200 From: Bernhard.Moeller@Informatik.Uni-Augsburg.DE Message-Id: <9505311501.AA16231@minsti06.MNWF.Uni-Augsburg.DE> To: amast@cs.utwente.nl Subject: MPC '95 Content-Type: text Content-Length: 2075 Status: RO Dear Maintainers of the Conference Server, please add to the list of announcements the following conference which we are holding in July 1995. Best regards, --Bernhard M"oller (moeller@uni-augsburg.de) --------------------------------------------------------------------------- Announcement: Call for Participation Event: Conference Name: MPC '95 - Third International Conference on the MATHEMATICS OF PROGRAM CONSTRUCTION Date: 17-21 July 1995 Location: Kloster Irsee, Germany Deadline: Organizer: B. M"oller, Universit"at Augsburg Sponsors: Deutsche Forschungsgemeinschaft Esprit Working Group 8533 NADA --- New Hardware Design Methods Society of the Friends of the University of Augsburg sd\&m (software design \& management) Munich Pandasoft Berlin Contact: Prof. Dr. B. M\"oller (MPC '95) Institut f\"ur Mathematik Universit\"at Augsburg D-86135 Augsburg Germany Fax: +49 821 598 2274 E-mail: moeller@uni-augsburg.de Keywords: Program Correctness Programs Analysis Program Transformation Formal Methods Semantics Language: English Abstract: The general theme of this series of conferences is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software or hardware. The previous two conferences were held in 1989 at Twente, Netherlands, organised by the Rijksuniversiteit Groningen, and in 1992 at Oxford, United Kingdom. The conference theme reflects the growing interest in formal, mathematically based methods for the construction of software and hardware. The goal of the MPC conferences is to report on and significantly advance the state of the art in this area. Reference: http://www.Math.Uni-Augsburg.DE/~moeller/mpc.html Related: -- Broschure: compressed [stored at URL: http://www.cs.utwente.nl/data/amast/mpc95reg.ps.Z] From scollo@cs.utwente.nl Mon Jul 10 20:31 MET 1995 Return-Path: Date: Mon, 10 Jul 1995 20:31:05 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9507101831.AA15355@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: 2 announcements Content-Type: text Content-Length: 214 Status: RO Two announcements should have been included in the latest issue of AMAST Links, but I couldn't process them in time. For this reason they are being distributed with the present digest. Pippo Scollo From till@Informatik.Uni-Bremen.DE Fri Jul 21 17:39 MET 1995 Return-Path: Date: Fri, 21 Jul 1995 17:40:18 +0200 From: Till Mossakowsky Message-Id: <199507211540.RAA06093@golem.informatik.uni-Bremen.de> To: amast@cs.utwente.nl Subject: chain letter X-Sun-Charset: US-ASCII Content-Type: text Content-Length: 3755 Status: O This is a message stopping a chain letter about "Stop nuclear tests!" and proposing a more appropriate method. Perhaps it may help members of the AMAST movement having received plenty of copies of the chain letter, and chain letter's subject is of its own interest as well. Dear Madames/Sirs, This reply is made automatically. Due to the enormous amount of mails I'm recieving, it is now completely impossible for me to answer to your mail. I have some announcements. 1. The chain letter, "Stop Nulcear Tests!" is no longer wanted to be distributed. We have changed our method to collect names of people who are against the Nuclear Tests of France. We have opened a WWW site, and names put down using the easy fill out forms on the site will have the first priority. The adress of the WWW site is, http://www.icepp.s.u-tokyo.ac.jp/~keshi/ We have much more information there than we had on the chain letter. We have collected 10378 names from 74 countries/regions by Mon Jul. 17. 2. For those of you who had sent me back the lists, thank you very much for participating in this. We will include your list in our list which is to be sent to Mr. Chirac, but it will not appear as fast as the signs made via WWW. We couldn't help it, but I think there is noone who can manage more than 2000 mails per day. If you want to have your name on the list faster, please try our WWW site. Don't worry about duplications because it is rather easily eliminated by using the sort program. And ofcourse before sending it to Mr. Chirac, it will be very carefully checked. 3. If you had distributed our chain letter to your friends, thank you for your support, but please try to stop your friends from distributing it further. And also, tell your friends about the WWW site, and tell them to sign via WWW if they want their names on the list. What you should do about the list you have: if you had not yet sent the list back to me, please send it back with only the list part with it. That means, please cut the banner and the sentences away. 4. About the chain letter: after distributing our first chain letter, we have realized there were many problems in our chain letter, and then, that using chain letter was inadequate from the begining. We have sent our second chain letter to go after the first one, since that was the only way we could think of to stop the first one from spreading. However this is not working so well, and now many sites around world is having unnecessarly high traffics and are getting into troubles. We deeply apologize for having started a chain letter. We hearby declare that we will never ever start such thing and also never distribute one when we recieve other chain letters, no matter what the content may be. If you see anywhere anyplace in the network about this chain letter, please tell people that we have realized the inadequateness of our method and trying our best to stop further distributions. 5. If you had recieved our letter with only "Dear Sirs" on it, we are very sorry about this. It comes from our poor knowlege of English: in Japanese, we don't have differnt ways to call to Men and Women. Those of you who had added "Dear Madames" or changed it to "Dear people" and so on, thank you for your help. To gather many peoples power was from the begining our scheme. 6. We have already told all our story to our postmaster, and they have understood us. So, it is no use complaining about us to him. We are trying our best to stop what we have started. Sincelery, Yuichi Nishihara Shimizu Seishi both Physics student at University of Tokyo. From scollo@cs.utwente.nl Tue Jul 25 21:08 MET 1995 Return-Path: Date: Tue, 25 Jul 1995 21:08:11 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <9507251908.AA06687@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: AMAST Links, AMAST Meetings Content-Type: text Content-Length: 1210 Status: RO The next issue of `AMAST Links' is now scheduled to appear during the second week of August. Meanwhile, AMAST subscribers may wish to have a look at the AMAST'96 Call for Papers which is available in various versions, viz. plain-text (?=txt), LaTeX (?=tex), DVI (?=dvi), PostScript (?=ps), resp. at the following URL: http://www.cs.utwente.nl/data/amast/amast96/CallForPapers.? In addition, the preliminary announcements of two AMAST Workshops will soon be available, respectively on o 1st AMAST Workshop on Language Processing, AMiLP'95 Theme: Algebraic Methods in Language Processing (Enschede, Netherlands, 6-8 December 1995) _preliminary announcement_ at URL: http://www.cs.utwente.nl/data/amast/workshops/ARTS96PrelCfP.txt o 3rd AMAST Workshop on Real-Time Systems, ARTS'96 Theme: Models, Properties and Control (Salt Lake City, Utah, 21-23 February 1996) _preliminary Call for Papers_ at URL: http://www.cs.utwente.nl/data/amast/workshops/AMiLP95PrelAnn.txt (The last two announcements are not yet loaded on our WWW server because of a temporary technical problem, but this should be solved pretty soon.) Pippo Scollo From scollo@cs.utwente.nl Mon Aug 7 20:14 MET 1995 Return-Path: Date: Mon, 7 Aug 1995 20:14:13 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199508071814.UAA19653@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: delay, subscription statistics Content-Type: text Content-Length: 923 Status: RO The distribution of the next issue of AMAST Links is now scheduled for the end of this week. The up-to-date AMAST subscription statistics are enclosed. Pippo Scollo ============================================================================== AMAST subscription statistics (7 August 95) 752 subscribers, of which: (S1) 327 to full newsletter and digest of e-mail messages, (S2) 26 to the full newsletter only -- no digest of e-mail messages thus (including Dan Tufis' list in Romania: 21 subscribers to date), (S3) 62 with the ToC-only option and no digest of e-mail messages, (including the amast-ge list in Genova: 15 subscribers to date), (S4) 337 with the ToC-only option, and digest of e-mail messages as well (including the logic-ml list in Japan: 276 subscribers to date, and the amast-ct list in Catania: 25 subscribers to date). From scollo@cs.utwente.nl Tue Sep 26 00:00 MET 1995 Return-Path: Date: Tue, 26 Sep 1995 00:00:01 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199509252300.AAA07068@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: Corrections to AL0206 Content-Type: text Content-Length: 1072 Status: RO The following corrections apply to the latest issue of AMAST Links (AL 02 06): 1. Page [M1], Invited Speakers: `Teodor Rus' instead of `Teo Rus'. 2. Page [C2], title: the dates of the workshop are `March 6-8, 1996' instead of `February 21-23, 1996'. These corrections have been made on the AMAST WWW server. Moreover, a new version of the Call for Papers for the 3rd AMAST Workshop on Real Time Systems, referred to in [AL0206C2], is available at URL: http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96CfP.txt which supersedes the previous preliminary Call for Papers. If you wish to submit a paper or a demo, or to attend the workshop, then please refer to this new version, and take it into account that the submission deadline is quickly approaching. The time schedule of the workshop is as follows: Paper submission: October 15, 1995 System demo proposals: November 15, 1995 Notification of acceptance: December 1, 1995 Camera-ready version: January 15, 1996 Conference days: March 6-8, 1996 From alroth@pap.com Sat Nov 4 18:01 MET 1995 Return-Path: X-Sender: (Unverified) Mime-Version: 1.0 Date: Sat, 4 Nov 1995 16:57:57 +0000 To: amast@cs.utwente.nl From: Al Roth Subject: Re: PAP96 - Practical Application of Prolog Message-Id: <9511041657.aa03819@relay-3.mail.demon.net> Content-Type: text/plain; charset="us-ascii" Content-Length: 1021 Status: RO ---------------------------------------------------------------------- REMEMBER - ONLY TWO WEEKS LEFT TO SUBMIT PAPERS TO PAP AND PACT!!! Final Call for Papers, Participation, Workshops, Demonstrations, and Tutorials PAP'96 The Fourth International Conference on The Practical Application of PROLOG Monday 22nd April - Friday 26th April 1996, London, UK PACT'96 The Second International Conference on The Practical Application of Constraint Technology Monday 22nd April - Friday 26th April 1996, London, UK The Commercial Value of Prolog and Constraints Exploration Through Practical Applications For more information on these exciting industrial conferences contact: alroth@pap.com or point your web browser at http://www.demon.co.uk/ar/PAP96/index.html http:/www.demon.co.uk/ar/PACT96/index.html ---------------------------------------------------------------------- From scollo@cs.utwente.nl Fri Nov 10 20:22 MET 1995 Return-Path: Date: Fri, 10 Nov 1995 20:22:05 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199511101922.UAA09173@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: forthcoming AMAST workshops Content-Type: text Content-Length: 2067 Status: RO One page was missing from the latest issue of AMAST Links (AL 02 07), as distributed a couple of weeks ago: [A1] New items in the AMAST information repository in Twente That page has now been included. New items, besides the AMAST e-mail digest and the newsletter itself, were the updated versions of two forthcoming AMAST workshops: workshops/ : AMAST Workshops announcements: o 1st AMAST Workshop on Language Processing, AMiLP'95 (Call for Participation) o 3rd AMAST Workshop on Real-Time Systems, ARTS'96 (preliminary announcement and Call for Papers) Contents : AMiLP95CallPart.txt, AMAST-RTW96CfP.txt More up-to-date information about both workshops will soon be available under the same directory. In the meantime, please note the following. ** AMiLP'95 ** The AMiLP'95 homepage at URL: http://www.cs.utwente.nl/data/amast/workshops/AMiLP95.html will be available next Tuesday, 13 November. A preliminary version of it can be inspected at URL: http://wwwseti.cs.utwente.nl/~steets/TWLT/index.html The reduced-fee pre-registration deadline for AMiLP'95 is: December 1st, 1995. Attendance is limited to max. 50 participants. ** ARTS'96 ** The Final Call for Papers for the 3rd AMAST Workshop on Real-Time Systems has been issued. It supersedes the preliminary one, at the same URL: http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96CfP.txt It has new due dates for submission (for papers: November 30), to allow some potential participants to finish and submit their work. At the same time, new information is given about the invited speakers and their talks. Potential participants are urged to send a notice of intent for participation as soon as possible; this will help the organizers to make corresponding arrangements for accommodation at the hotel which has been selected and booked for the workshop. Prompt response in this matter is appreciated. -- P.S. Please also note that the submission deadline for PAP & PACT '96 is actually only one week away.