From scollo@cs.utwente.nl Fri Feb 14 23:34 MET 1997 Return-Path: Date: Fri, 14 Feb 1997 23:34:49 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199702142234.XAA15890@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: AMAST news Content-Type: text Content-Length: 2671 Status: O Dear AMAST subscriber, First, I must offer you my sincere apologies for the exceptionally long gap in the distribution of AMAST mail. Because of radical changes in my professional work schedule, since April 1996 I could not spend any time for the list administration work, nor for the production of the AMAST newsletter. A recovery from this unfortunate situation is underway, however. This consists of the following actions: 1. Investigation of a more efficient production process for the AMAST newsletter, that, for example, may require more participation from the contributors in the production of the abstracts which appear in the newsletter. The implementation of the new process will take some time, since it requires the production of some documentation and software, but it's the only way in which the newsletter can be kept alive. In the mean time (and also after completion of the recovery): 2. Set-up of a new mail browsing service, which is now available on the AMAST website in Twente at the following URL: http://www.cs.utwente.nl/amast/mail/AMIndex.html whereby the contributions to the AMAST list and/or newsletter are made available in their original form. Second, I'd like to take this opportunity to draw your attention to new information about the two AMAST meetings which are scheduled to take place during 1997: o AMAST'97, the Sixth International Conference on AMAST, will take place in Sydney, Australia, on December 13--17. News about this: 1. the submission deadlines have been set to *May 1997*, and 2. up-to-date information is available through the AMAST'97 web pages, at URL: http://www.comp.mq.edu.au/amast97 o ARTS'97, the Fourth AMAST International Workshop on Real-Time Systems, will take place in Palma de Mallorca, Balearic Islands, on May 21--23. The Registration Form, Hotel Reservation Form, and Hotel Information can be downloaded from the AMAST website in Twente, at URL: http://www.cs.utwente.nl/amast/workshops/arts97/ARTS97RegInfo.txt With my best wishes for a healthy and fruitful 1997, Pippo _____________ Dr. G. Scollo _____________________________ ______________________________________ | Consultancy & Engineering | Universiteit Twente | | Mathematical Methods in | Fac. Informatica/SETI | | Information Technology, emz | e-mail: scollo@cs.utwente.nl | |_____________________________| http://wwwseti.cs.utwente.nl/~scollo | niet veel is goed, goed is veel _____________________________________| From tommasi@lifl.fr Fri Feb 14 12:13 MET 1997 Return-Path: Date: Fri, 14 Feb 1997 13:35:55 +0100 From: Marc.Tommasi@lifl.fr Message-Id: <199702141235.NAA16080@messina.lifl.fr> To: amast@cs.utwente.nl Subject: (ERRATA)TapSoft'97:Call For Participation Content-Type: text Content-Length: 382 Status: RO We sincerely apologize but the Programme in the preceeding mail and in the paper version is false. The FASE 2 session and FASE 4 session have to be switched. Marc Tommasi Lab. d'Informatique Fondamentale de Lille -- Bat. M3 -- Cite Scientifique Univ. de Lille 1 -- 59655 Villeneuve d'Ascq CEDEX -- FRANCE ====================================================================== From scollo@cs.utwente.nl Wed Feb 19 15:53 MET 1997 Return-Path: Date: Wed, 19 Feb 1997 15:53:42 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199702191453.PAA18073@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: industrial applications of algebraic specifications Content-Type: text Content-Length: 1222 Status: RO I received the following request from Ed Kazmierczak (eka@cs.mu.oz.au), one of the Editors of the AMAST newsletter who lives in Melbourne: I'm in URGENT need of some information which I hope you may be able to provide. There is a very strong feeling in this country that algebraic specifications are dead/useless/unproven etc. If you know of any industrial projects (non-university) using algebraic specifications to specify and develop systems then please let me know - I'm starting a collection. Please send concise references to industrial projects to the list address (amast@cs.utwente.nl) as soon as possible; I'll put them in the AMAST Mail Archive and send a summary next week. Thank you very much, in advance. Pippo _____________ Dr. G. Scollo _____________________________ ______________________________________ | Consultancy & Engineering | Universiteit Twente | | Mathematical Methods in | Fac. Informatica/SETI | | Information Technology, emz | e-mail: scollo@cs.utwente.nl | |_____________________________| http://wwwseti.cs.utwente.nl/~scollo | niet veel is goed, goed is veel _____________________________________| From Hubert.Garavel@imag.fr Thu Feb 20 11:10 MET 1997 Return-Path: Message-Id: <199702201010.LAA09038@neve.inrialpes.fr> From: Hubert.Garavel@imag.fr (Hubert Garavel) Date: Thu, 20 Feb 97 11:10:30 MET X-Mailer: Mail User's Shell (6.5.6 6/30/89) To: eka@cs.mu.oz.au, scollo@cs.utwente.nl Subject: Industrial projects using algebraic specifications Cc: Hubert.Garavel@imag.fr Content-Type: text Content-Length: 1139 Status: O Dear Ed, dear Pippo, Following your question in AMAST Digest, Year 04, N. 02 * I'm in URGENT need of some information which I hope you may be able * to provide. There is a very strong feeling in this country that * algebraic specifications are dead/useless/unproven etc. If you * know of any industrial projects (non-university) using algebraic * specifications to specify and develop systems then please let me * know - I'm starting a collection. you may wish to mention our industrial project with Bull, in which we are using LOTOS (and, consequently, abstract data types) for verification and code generation purpose. More information is available on our Web server: http://www.inrialpes.fr/vasy Hope this helps Hubert -- ',',',',',',',',',',',',' Hubert GARAVEL | INRIA Rhone-Alpes / Dyade ',',',',',',',',',',',',' hubert.garavel@inria.fr | 655, avenue de l'Europe ',',',',',',',',',',',',' tel: +(33) 4 76 61 52 24 | 38330 MONTBONNOT ST MARTIN ',',',',',',',',',',',',' fax: +(33) 4 76 61 52 52 | FRANCE ',',',',',',',',',',',',' *** New Web server! *** http://www.inrialpes.fr/vasy From bwitz@cs.tu-berlin.de Thu Feb 20 12:23 MET 1997 Return-Path: Message-Id: <199702201114.MAA11195@mail.cs.tu-berlin.de> X-Sender: bwitz@mail.cs.tu-berlin.de Mime-Version: 1.0 Date: Thu, 20 Feb 1997 12:18:08 +0100 To: amast@cs.utwente.nl (AMAST Mailer) From: bwitz@cs.tu-berlin.de (Secr.Prof.Ehrig(Helga Barnewitz)) Subject: Re: industrial applications of algebraic specifications Cc: ehrig@cs.tu-berlin.de Content-Type: text/plain; charset="us-ascii" Content-Length: 720 Status: O Answer: See invited paper for FME'96 by Terje Sivertsen, LNCS 1051, pp. 18-38 (algebraic specification in the development of a reactor safety system) Hartmut Ehrig ==================== ---------------------------------------------------------------------------- Helga Barnewitz E-Mail:bwitz@cs.tu-berlin.de Technische Universitaet Berlin FB 13 (Informatik), (secr.Prof.H.Ehrig) Institut fuer Kommunikations- und Softwaretechnik, Sekr. FR 6-1 Tel: ++49-30-314-73510 Franklinstrasse 28/29 Fax: ++49-30-314-23516 D-10587 Berlin F.R. Germany ---------------------------------------------------------------------------- From wolter@cs.tu-berlin.de Thu Feb 20 13:48 MET 1997 Return-Path: From: Uwe Wolter Date: Thu, 20 Feb 1997 13:48:38 +0100 (MET) Message-Id: <199702201248.NAA02048@tiflis.cs.tu-berlin.de> To: amast@cs.utwente.nl Subject: industrial applications of AS Content-Type: text Content-Length: 628 Status: RO I know that Don Sanella made some effort in 1995 to collect industrial applications of algebraic specifications. However it was not so succesful? I will forward to you two mails concerning this activity. Probably Ed should asked Don also directly (Ed has made his PhD in Edinburgh). Concerning [CGR93] I found the right reference in the corresponding paper for TAPSOFT'95 (LNCS 915, page 21): Craigen, D,, Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods. National Institute of Science and Technology, US Department of Commerce, NIST GCR 93/626, 1993 With best regards Uwe From Oded.Maler@imag.fr Thu Feb 20 18:00 MET 1997 Return-Path: Date: Thu, 20 Feb 1997 17:55:46 +0100 (MET) Message-Id: <199702201655.RAA18814@glandasse.imag.fr> From: Oded Maler To: amast@cs.utwente.nl Subject: HART'97 Call for Participation Content-Type: text Content-Length: 592 Status: RO Call fo Participation HART'97 Internatioal Workshop on Hybrid and Real-Time Systems Grenoble, March 26-28, 1997 Web page: http://www.imag.fr/VERIMAG/hart97.html Postscript: http://www.imag.fr/VERIMAG/hart97.ps Preceded by the spring school: Methods and Tools for the Verification of Infinite State Systems Grenoble, March 23-25, 1997 http://www.imag.fr/VERIMAG/TEMPORISE/school.html (Note that the location of the school and workshop has changed). From scollo@cs.utwente.nl Sat Feb 22 00:04 MET 1997 Return-Path: Date: Sat, 22 Feb 1997 00:04:01 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199702212304.AAA26640@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: Re: industrial applications of algebraic specifications Content-Type: text Content-Length: 1096 Status: O In response to Ed's question, here is a reference to an industrial case study, in the field of natural language translation, where algebraic methodology had a relevant role to play: M. T. Rosetta, Compositional Translation, Kluwer Academic Publishers, Dordrecht, 1994. From the book's preface: This book describes results of research on machine translation carried out in the Rosetta project at Philips Research Laboratories, Eindhoven, in the period 1985 -- 1992. An algebraic view of the machine translation problem is worked out in chapter 19 (written by Theo Janssen). Pippo _____________ Dr. G. Scollo _____________________________ ______________________________________ | Consultancy & Engineering | Universiteit Twente | | Mathematical Methods in | Fac. Informatica/SETI | | Information Technology, emz | e-mail: scollo@cs.utwente.nl | |_____________________________| http://wwwseti.cs.utwente.nl/~scollo | niet veel is goed, goed is veel _____________________________________| From wolter@cs.tu-berlin.de Tue Feb 25 12:38 MET 1997 Return-Path: From: Uwe Wolter Date: Tue, 25 Feb 1997 12:38:21 +0100 (MET) Message-Id: <199702251138.MAA29798@tiflis.cs.tu-berlin.de> To: amast@cs.utwente.nl In-reply-to: <199702211845.TAA01904@hydra.cs.utwente.nl> (scollo@cs.utwente.nl) Subject: Re: industrial applications of AS Content-Type: text Content-Length: 298 Status: RO probably it could be also worth to check the FORMAL METHODS APPLICATION DATABASE under http://www.csr.ncl.ac.uk/projects/FME/InfRes/applications/ Algebraic specifications are not put as an extra point there. But at least the specification language RAISE is indexed. With best regards Uwe From scollo@cs.utwente.nl Fri Feb 28 20:31 MET 1997 Return-Path: Date: Fri, 28 Feb 1997 20:31:48 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199702281931.UAA09730@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: new ToC service, ARTS'97 Content-Type: text Content-Length: 1931 Status: RO The first three AMAST Digests of 1997 were mailed to all subscribers of the AMAST mailing list, regardless of the subscription option. The next Digests, on the contrary, will have the usual distribution (subscribers with options S1 or S4), in view of a new service made available to all AMAST subscribers, that is, the distribution of a "Table of Contents" (ToC) upon each update of the AMAST Mail archive. The ToC message will have subject "ToC AMAST Mail Update" and will contain the update index -- this giving the subject, date and sender of each message, in reverse chronological order. The actual contents of the update, that is the messages newly added to the archive, can be inspected by opening the URL: http://www.cs.utwente.nl/amast/mail/update/AMUIndex.html Please note that not every message contributed to the AMAST list is included in the Digest; short messages are, the others are included in the archive but are not distributed onto the mailing list directly. For this reason, the new ToC service (which refers to all messages in the archive update) will be provided to all AMAST subscribers. *ARTS'97* I take this opportunity to draw your attention to the _Call for Participation_ to the Fourth AMAST International Workshop on Real-Time Systems (Palma de Mallorca, Balearic Islands, May 21--23), which contains the Workshop Programme, and can be downloaded from URL: http://www.cs.utwente.nl/amast/workshops/arts97/ARTS97CfPart.txt Pippo _____________ Dr. G. Scollo _____________________________ ______________________________________ | Consultancy & Engineering | Universiteit Twente | | Mathematical Methods in | Fac. Informatica/SETI | | Information Technology, emz | e-mail: scollo@cs.utwente.nl | |_____________________________| http://wwwseti.cs.utwente.nl/~scollo | niet veel is goed, goed is veel _____________________________________| From mike@macadam.mpce.mq.edu.au Sun Apr 27 13:42 MET 1997 Return-Path: Date: Sun, 27 Apr 1997 21:42:08 +1000 From: Michael Johnson Message-Id: <199704271142.VAA06052@macadam.mpce.mq.edu.au> To: amast@cs.utwente.nl Subject: AMAST'97 cfp (text version) Cc: mike@macadam.mpce.mq.edu.au Content-Type: text Content-Length: 5880 Status: RO ------------------------------------------------------------------- Final Call for Papers Sixth International AMAST Conference AMAST '97, December 13-17, 1997, Sydney, Australia. ------------------------------------------------------------------- Goals The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodologies as practically viable and attractive alternatives to the prevailing approaches to software engineering. Previous meetings of AMAST were held in Iowa (1989 and 1991), Twente, Holland (1993), Montreal (1995) and Munich (1996). During these meetings, AMAST has attracted an international spread of researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, the first day of each conference has been dedicated to Mathematics Education for Software Engineers. Following this successful trend, the sixth AMAST International Conference will be held at Macquarie University, Sydney, Australia, from December 13 to December 17, 1997. ------------------------------------------------------------------- Submissions As in the previous years we invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. Submissions should not have been published and should not be under consideration for publication elsewhere. The topics of interest include, but are not limited to, the following: SOFTWARE TECHNOLOGY systems software technology, application software technology, concurrent and reactive systems, formal methods in industrial software development, formal techniques for software requirements, design. PROGRAMMING METHODOLOGY logic programming, functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, specification languages and tools, formal specification and development case studies. ALGEBRAIC AND LOGICAL FOUNDATIONS logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, theorem proving and logical frameworks for reasoning, logics of programs. SYSTEMS AND TOOLS (for system demonstrations or ordinary papers) software development environments, support for correct software development, system support for reuse, tools for prototyping, validation and verification, computer algebra systems, theorem proving systems. We invite prospective authors to submit electronically previously unpublished papers of high quality. Papers should be between five and fifteen pages in LNCS style. Ten page papers are ideal, and papers longer than fifteen pages may be rejected without detailed refereeing. Please see details at http://www.cs.mq.edu.au/amast97 under "submission" which explain how to get a paper number, and then send a fully self-contained postscript file (preferably derived from LaTeX with the LNCS style on a Unix system) to amast97@mpce.mq.edu.au . If for any reason it is impossible to submit electronically authors may send six paper copies of their submission to the programme chair at the address below. All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference. As in the past, we expect the proceedings to be published by Springer-Verlag in their Lecture Notes in Computer Science Series. Papers should be received by May 15, 1997. ------------------------------------------------------------------- Address for non-electronic submissions and enquiries Michael Johnson AMAST'97 Programme chair School of Maths and Computing Macquarie University Sydney, 2109, Australia Phone: ++61 (0)2 9850 9583 Fax: ++61 (0)2 9850 9551 Email: amast97@mpce.mq.edu.au ------------------------------------------------------------------- AMAST General Chair: Maurice Nivat (France) Programme Chair: Michael Johnson (Australia) ------------------------------------------------------------------- Programme Committee V.S. Alagar (Canada), Egidio Astesiano (Italy), Didier Begay (France), Richard Buckland (Australia), John Cannon (Australia), Kokichi Futatsugi (Japan), Armando Haeberer (Brazil), Paola Inverardi (Italy), Michael Johnson (Australia), Rocco De Nicola (Italy), Anton Nijholt (Netherlands), Fernando Orejas (Spain), Mehmet Orgun (Australia), John Plaice (Canada) John Potter (Microsoft Research Institute), R. Ramanujam (India), Charles Rattray (Great Britain), Teodor Rus (USA), T. Sakabe (Japan), Giuseppe Scollo (Netherlands), R.K. Shyamasundar (India), Andrzej Tarlecki (Poland), R.F.C. Walters (Australia), Martin Wirsing (Germany). ------------------------------------------------------------------- Organizing Committee Chair and Finances: Michael Johnson Tools and Demos: Richard Buckland Local arrangements: Vicki Carruthers ------------------------------------------------------------------- Important Dates Submission of Papers: May 15, 1997 Submission of System Demo Proposals: June 15, 1997 Author notificaiton of ouctome: August 1, 1997 Camera read copy received by: September 1, 1997 Education Day: December 13, 1997 Conference Days: December 14-17, 1997 ------------------------------------------------------------------- Further information For regularly updated details of the conference organisation see http://www.cs.mq.edu.au/amast97 or send email to amast97@mpce.mq.edu.au ------------------------------------------------------------------- From boerger@DI.Unipi.IT Mon Apr 28 19:19 MET 1997 Return-Path: Organization: Dipartimento di Informatica di Pisa - Italy From: Egon Boerger Date: Mon, 28 Apr 1997 19:16:14 +0200 Message-Id: <199704281716.TAA02911@caronte.di.unipi.it> To: amast@cs.utwente.nl Content-Type: text Content-Length: 311 Status: O After ten years of Gurevich's Abstract State Machines, the long attended Special ASM issue 3.4 (1997) of J.UCS is ready. The contributing authors are Ahrendt, Blass, Boerger, Dexter, Gurevich, Kwon, Schellhorn, Soparkar, Spielmann, Stroetmann, Wallace. Have a look at: http://www.iicm.edu/jucs_3_4 From sleue@swen.uwaterloo.ca Tue Apr 29 18:32 MET 1997 Return-Path: Date: Tue, 29 Apr 97 11:52:44 EDT From: sleue@swen.uwaterloo.ca (Stefan Leue) Message-Id: <9704291552.AA27079@swen.uwaterloo.ca.UWaterloo.ca> To: amast@cs.utwente.nl Subject: Announcement of Technical Report Content-Type: text Content-Length: 1116 Status: O Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications Hanene Ben-Abdallah and Stefan Leue Department of Electrical and Computer Engineering University of Waterloo Technical Report 97-04, April 1997 URL: http://www.swen.uwaterloo.ca/~sleue/msc.html#tr97-04 Abstract: Message Sequence Charts (MSCs) are increasingly supported in software engineering tools and methodologies for communication systems. The last Z.120 standard extends MSCs with operators to organize them in a compositional, hierarchical fashion to describe systems with non-trivial sizes. When dealing with timing constraints, the standard is still evolving along with several proposals. This paper first reviews proposed extensions of MSCs to describe timing constraints. Secondly, the paper describes an analysis technique for timing consistency in iterating and branching MSC specifications. The analysis extends efficient current techniques for timing analysis of MSCs with no loops or branchings. Finally, we use an example to illustrate our analysis technique. From gorrieri@CS.UniBO.IT Thu May 15 18:23 MET 1997 Return-Path: From: gorrieri@CS.UniBO.IT (Roberto Gorrieri) Date: Thu, 15 May 1997 18:22:03 +0200 Message-Id: <199705151622.AA00885@macbeth.cs.unibo.it> To: amast@cs.utwente.nl Subject: ICALP'97 Content-Type: text Content-Length: 1822 Status: RO ******************************************************* * * * ICALP '97 * * ========= * * 24th International Colloquium on Automata, * * Languages, and Programming * * * * Silver Jubilee of EATCS * * * * Bologna, Italy, July 7th - 11th, 1997 * * * ******************************************************* The (nearly) final program and information about the conference are available per www under http://www.cs.unibo.it/icalp97/ SPECIAL EVENT ^^^^^^^^^^^^^ On Wednesday, July 9th, Robin Milner and Maurice Nivat will receive a Laurea Honoris Causa in Computer Science from the University of Bologna. GRANTS ^^^^^^ A few UNESCO grants are still available for participants coming from less developed countries. Some EU grants are available for supporting the participation of young researchers: - only persons with nationality of one of the EU Member States or of an Associated State may benefit directly from Commisssion support; - participants should be less than 35 on the 1st day of the conference. Requests for grants should be sent (e-mail or fax) to the Conference Office: Italiana & Co. - ICALP'97 Via Altabella 3 I-40126 BOLOGNA (Italy) Phone: + 39 51 228716 Fax: + 39 51 222881 Email: italiana@bo.nettuno.it Please specify nationality, age, status and affiliation. From sleue@swen.uwaterloo.ca Tue Jun 10 22:35 MET 1997 Return-Path: Date: Tue, 10 Jun 97 16:34:21 EDT From: sleue@swen.uwaterloo.ca (Stefan Leue) Message-Id: <9706102034.AA04847@swen.uwaterloo.ca.UWaterloo.ca> To: amast@cs.utwente.nl Subject: POST-DOC IN SOFTWARE ENGINEERING Content-Type: text Content-Length: 1236 Status: O RE-ADVERTISING POST-DOC IN SOFTWARE ENGINEERING Department of Electrical and Computer Engineering University of Waterloo Waterloo, Ontario, Canada (We apologize in case you receive multiple copies of this advertisement!) Applications are invited for a one-year definite term Post-Doctoral Fellowship position at the Department of Electrical and Computer Engineering of the University of Waterloo, starting Summer/Fall 1997. The research is in the general area of visual, scenario-based specification techniques for distributed object-oriented systems, in particular in Message Sequence Charts. Candidates are expected to have some knowledge in formal specification techniques for distributed real-time systems, and in the use and/or design of CASE tools. For more information please see: http://www.swen.uwaterloo.ca/~sleue/postdoc.html or contact: Stefan Leue Electrical & Computer Engineering University of Waterloo Waterloo, Ontario N2L 3G1, Canada e-mail: sleue@swen.uwaterloo.ca, phone: +1 (519) 888 4567, ext. 5313, fax.: +1 (519) 746 3077 From richardb@mpce.mq.edu.au Thu Jun 12 11:50 MET 1997 Return-Path: Date: Thu, 12 Jun 1997 14:35:36 +1000 Message-Id: <199706120435.OAA00765@krakatoa.mpce.mq.edu.au> X-Sender: richardb@krakatoa.mpce.mq.edu.au X-Mailer: Windows Eudora Light Version 1.5.2 Mime-Version: 1.0 To: amast@cs.utwente.nl From: Richard Buckland Subject: AMAST 97 - CFD : for mailing list Content-Type: text/plain; charset="us-ascii" Content-Length: 7403 Status: RO -------------------------------------------------------------------- Call for TOOL AND SYSTEM DEMONSTRATIONS Sixth International AMAST Conference AMAST '97, December 13-17, 1997, Sydney, Australia. -------------------------------------------------------------------- We invite demonstrations of software tools and systems. Goals: TOOL and SYSTEM DEMONSTRATIONS The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. An important aspect of this long term goal is to circulate information about the experience of actual developments, and to encourage the development of and dissemination of information about software tools and development support systems. Accordingly we invite submissions of demonstrations in the following two categories: 1. Tools and Engines to Support formal software development 2. Examples of systems developed using algebraic methodologies -------------------------------------------------------------------- Demonstrations 1. TOOLS AND ENGINES TO SUPPORT FORMAL SOFTWARE DEVELOPMENT An essential component of mathematically founded software development is computational support. Following the successful trend established in the 1995 and 1996 meetings AMAST'97 will include sessions to demonstrate systems with relevance to algebraic or logical methodologies of software development. These sessions have proved popular with attendees in the past as they provide an opportunity for the wide range of researchers and practitioners attending the conference to discover and to learn more about tools and computational engines to support their work. The topics of interest include, but are not limited to, the following: - Software development environments - Support for correct software development - System support for reuse - Tools for prototyping - Validation and verification - Computer algebra systems - Theorem proving systems - Engines and computational support for the above - Systems supporting the education of students and/or practitioners in relevant topics 2. EXAMPLES OF SYSTEMS DEVELOPED USING ALGEBRAIC METHODOLOGIES Topics of interest include, but are not limited to, the following: - System demonstrations showing the improved effectiveness of software developed on a mathematical basis. - Case studies. - Unsuccessful system developments. - Reports on current commercial and industrial practice. -------------------------------------------------------------------- Submissions We invite submissions of tool and system demonstrations. Prospective demonstrators should submit electronically in one or both of the following formats: 1. A paper of high quality of between two and five pages in LNCS style. Submissions in this category should be of theoretical merit and report on previously unpublished work. 2. An abstract of one to two pages providing a description of the tool or system to be demonstrated and containing pointers to further information, preferably available electronically. It is anticipated that the abstracts will be published at the rear of the proceedings in the form of a reference for practitioners, and additionally as an on-line reference on the world wide web. Please see details at http://www.cs.mq.edu.au/amast97 under "submission" which explain how to get a paper number, and then submit a fully self-contained postscript file via ftp (preferably derived from LaTeX with the LNCS style on a standard UNIX system). If for any reason it is impossible to submit electronically authors may send six paper copies of their submission to the Tools and Demos address below. All papers will be refereed and will be judged based on their significance, technical merit, and relevance to the conference. As in the past, we expect the proceedings to be published by Springer-Verlag in their Lecture Notes in Computer Science Series. Papers and abstracts should be received by July 7, 1997. -------------------------------------------------------------------- General AMAST Goals The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodologies as practically viable and attractive alternatives to the prevailing approaches to software engineering. Previous meetings of AMAST were held in Iowa (1989 and 1991), Twente, Holland (1993), Montreal (1995) and Munich (1996). During these meetings, AMAST has attracted an international spread of researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, the first day of each conference has been dedicated to Mathematics Education for Software Engineers. The sixth AMAST International Conference will be held at Macquarie University, Sydney, Australia, from December 13 to December 17, 1997. -------------------------------------------------------------------- Further Information Address for non-electronic submissions and inquiries: Richard Buckland AMAST'97 Tools and Demos School of Computer Science and Engineering University of New South Wales Sydney, 2052, Australia Phone: ++61 (0)2 9698 7975 Fax: ++61 (0)2 9385 5995 For further information on the conference: http://www.cs.mq.edu.au/amast97 amast97@mpce.mq.edu.au -------------------------------------------------------------------- AMAST General Chair: Maurice Nivat (France) Programme Chair: Michael Johnson (Australia) -------------------------------------------------------------------- Programme Committee V.S. Alagar (Canada), Egidio Astesiano (Italy), Didier Begay (France), Richard Buckland (Australia), John Cannon (Australia), Kokichi Futatsugi (Japan), Armando Haeberer (Brazil), Paola Inverardi (Italy), Michael Johnson (Australia), Rocco De Nicola (Italy), Anton Nijholt (Netherlands), Fernando Orejas (Spain), Mehmet Orgun (Australia), John Plaice (Canada) John Potter (Microsoft Research Institute), R. Ramanujam (India), Charles Rattray (Great Britain), Teodor Rus (USA), T. Sakabe (Japan), Giuseppe Scollo (Netherlands), R.K. Shyamasundar (India), Andrzej Tarlecki (Poland), R.F.C Walters (Australia), Martin Wirsing (Germany). -------------------------------------------------------------------- Tool and System Demos Committee Richard Buckland (University of New South Wales) Ken Robinson (University of New South Wales) Jon Tidswell (Microsoft Research Institute) -------------------------------------------------------------------- Important Dates for Tool and System Demonstrations Submission of Demo Proposals: July 12, 1997 Author notification of outcome: August 12, 1997 Camera ready copy received by: September 1, 1997 Education Day: December 13, 1997 Conference Days: December 14-17, 1997 [This announcement is available on the AMAST'97 WWW site, at URL: http://www.cs.mq.edu.au/amast97/demo-cfp.html ] ---------------------------------------------------------------- Richard Buckland School of Computer Science and Engineering The University of New South Wales From pw@montefiore.ulg.ac.be Mon Jul 14 17:42 MET 1997 Return-Path: From: pw@montefiore.ulg.ac.be Date: Mon, 14 Jul 1997 17:42:22 +0200 Message-Id: <199707141542.RAA21840@gaston.montefiore.ulg.ac.be> To: amast@cs.utwente.nl, forma@imag.fr, procos-list@comlab.ox.ac.uk Subject: Research position Content-Type: text Content-Length: 690 Status: O University of Liege Software System Analysis and Verification Group Prof. Pierre Wolper The available research position is to work in the context of a European project (ESPRIT-LTR) on verification tools and applications. Duration is for up to 32 months starting as early as September 1997. The position offers a fair amount of flexibility concerning the work to be done and is suitable either for a pre-doctoral or for a post-doctoral researcher. For more information or for applying, send email to P. Wolper Institut Montefiore, B28 Universite de Liege 4000 Liège Tel.: 04-3662099 Fax: 04-3662984 Email: pw@montefiore.ulg.ac.be URL: http://www.montefiore.ulg.ac.be/~pw/