From: scollo@di.unipi.it (Giuseppe Scollo)
Subject: New Series in Computing
Keywords: algebraic methodology, software technology
Organization: Dipartimento di Informatica, Universita' di Pisa
Date: Thu, 12 Nov 1992 16:52:38 GMT


                       AMAST Series in Computing

Aim and Scope
-------------

Recent progress in the area of using algebraic methodology for the
development of software technology justifies a new series in
computing. The volumes published in this series will contain
comprehensive presentations of algebraic methods used for software
development that are both theoretically well founded and efficiently
implemented.  The goal of these volumes will be to provide
comprehensive mathematical frameworks for software design and
implementation, as an alternative to the current ad hoc trends. The
prerequisite for the volumes published in this series is that they are
to contain both a mathematically-precise (algebraic) theory and its
methodological application to software development, demonstrated by an
implemented system.

The readership of this series includes those working in theoretical
computer science as well as those who are actually developing computer
products. Each volume will be dedicated to a field of interest where
the use of the algebraic methodology provides a breakthrough and which
is sufficiently developed to have a real value for researchers,
students, and engineers, actually working in software design and
development.

 
Editorial Board and Contributions 
---------------------------------

The editorial board of the AMAST Series in Computing is composed of the
following:

Andre' Arnold
Universite' Bordeaux I
351 Cours de la Liberation
F-33405 Talence
France
E-mail: arnold@geocub.greco-prog.fr

Egidio Astesiano
University of Genova
Department of Mathematics
Via L.B. Alberti, 4
16132 Genova
Italy
E-mail: astes@igecuniv.bitnet

Arthur  C. Fleck
The University of Iowa
Department of Computer Science
Iowa City, IA 52242
USA
E-mail: fleck@cs.uiowa.edu

William F. Lawvere
SUNY
Department of Mathematics
Faculty of Natural Sciences and Mathematics
106 Diefendorf Hall
Buffalo, NY 14214-3093
USA
E-mail: MTHFWL@ubvms.cc.buffalo.edu

Peter D. Mosses
Computer Science Department
Aarhus University
Ny Munkegade, Bldg. 540
DK-8000 Aarhus C
Denmark
E-mail: pdmosses@daimi.aau.dk

Maurice Nivat
26 Rue du Poitou
94550 Chevilly-Larue
France

Vaughan Pratt
Stanford University
Computer Science Department
Stanford CA 994305
USA
E-mail: pratt@cs.stanford.edu

Charles I.M. Rattray
University of Stirling
Department of Computing Science
Stirling, Scotland FK9 4LA
U.K.
E-mail: cr@cs.stir.ac.uk

Teodor Rus (Managing Editor)
The University of Iowa
Department of Computer Science
Iowa City, IA 52242
USA
E-mail: rus@cs.uiowa.edu

Giuseppe Scollo
University of Twente
Dept. Informatica
P.O.Box 217
NL-7500AE Enschede
The Netherlands
E-mail: scollo@cs.utwente.nl

Ralph Wachter
Computer Science Division (Code 1133)
Office of Naval Research
800 North Quincy Str.
Arlington, Virginia 22217-5000
E-mail: wachter@ITD.NRL.NAVY.MIL

Martin Wirsing
Lehrstuhl fuer Programmierung und Softwaretechnik
Universitaet Muenchen
Leopoldstr. 11 b
D-8000 Muenchen 40
Germany
E-mail: wirsing@informatik.uni-muenchen.de

We are seeking single or multi author monographs in the
area of applying algebraic (mathematical) methodology to the
development of software technology, as specified by the aim and scope
of this series. 

To submit a monograph for publication in this series, identify the
member of the above editorial board closest to the area of interest
and send him a proposal which consists of the following documents:

(1) Title of the monograph and a short presentation of the material
    it will cover.

(2) A list of contents showing the chapters covered in the monograph
    and their authors. 

(3) A specification of the software accompanying the monograph, if any.

(4) A production plan showing the times at which material can be ready.

(5) A marketing plan showing who can be expected to buy the book.

In case of uncertainty, send the proposal to the Managing Editor.


Book orders
----------- 

The first titles of the AMAST Series in Computing are expected
to appear in 1993. To order the books published in the Series,
please contact the publisher at

    World Scientific Publishing Co.
    1060 Main Street, Suite 1-B
    River Edge, NJ 07661, USA
    phone : + 1 800 2277562, or + 1 201 4879655 (in New Jersey)
    fax   : + 1 201 4879656
    e-mail: wspc@scri.fsu.edu

    World Scientific Publishing Co. Pte. Ltd.
    Farrer Road
    P. O. Box 128
    Singapore 9128
    telex : RS 28561 WSPC
    phone : + 65 382 5663
    fax   : + 65 382 5919

Xref: sparky sci.logic:1974 alt.uu.future:263