From asm@tik.ee.ethz.ch Fri Sep 24 16:35:50 1999 Date: Thu, 16 Sep 1999 19:44:14 +0200 (MET DST) From: Application Asm To: DMANET@MATH.UTWENTE.NL Subject: [DMANET] call for papers: ASM2000, March 19th - 24th ___________________________________________________________________________ ___________ ____________ ___________ ASM2000 ____________ ___________ http://www.tik.ee.ethz.ch/~asm/2000 ____________ ___________ Monte Verita, Switzerland March 19th - 24th 2000 ____________ ___________________________________________________________________________ In March 2000, an Abstract State Machine (ASM) Workshop (a follow up of earlier workshops, see http://www.tik.ee.ethz.ch/asm/workshops) will be held in the conference center of the Swiss Federal Institute of Technology at Monte Verita, Ticino, Switzerland, see http://www.csf-mv.ethz.ch . The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary algorithms on arbitrary abstraction levels. ASMs have been used to analyze and specify various hardware- and software-systems as well as computer languages, see http://www.eecs.umich.edu/gasm . Submissions should be sent by November 20th, 1999 via email (postscript or pdf) to the address asm@tik.ee.ethz.ch ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zpr.uni-koeln.de/dmanet * **********************************************************