home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14856 < prev    next >
Encoding:
Text File  |  1992-11-12  |  4.9 KB  |  181 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!zaphod.mps.ohio-state.edu!rpi!batcomputer!ghost.dsi.unimi.it!newsserver.di.unipi.it!scollo
  3. From: scollo@di.unipi.it (Giuseppe Scollo)
  4. Subject: New Series in Computing
  5. Message-ID: <1992Nov12.170835.28013@di.unipi.it>
  6. Keywords: algebraic methodology, software technology
  7. Sender: netnews@di.unipi.it (USENET News System)
  8. Nntp-Posting-Host: apollo.di.unipi.it
  9. Organization: Dipartimento di Informatica, Universita' di Pisa
  10. Date: Thu, 12 Nov 1992 17:08:35 GMT
  11. Lines: 168
  12.  
  13.  
  14.                        AMAST Series in Computing
  15.  
  16. Aim and Scope
  17. -------------
  18.  
  19. Recent progress in the area of using algebraic methodology for the
  20. development of software technology justifies a new series in
  21. computing. The volumes published in this series will contain
  22. comprehensive presentations of algebraic methods used for software
  23. development that are both theoretically well founded and efficiently
  24. implemented.  The goal of these volumes will be to provide
  25. comprehensive mathematical frameworks for software design and
  26. implementation, as an alternative to the current ad hoc trends. The
  27. prerequisite for the volumes published in this series is that they are
  28. to contain both a mathematically-precise (algebraic) theory and its
  29. methodological application to software development, demonstrated by an
  30. implemented system.
  31.  
  32. The readership of this series includes those working in theoretical
  33. computer science as well as those who are actually developing computer
  34. products. Each volume will be dedicated to a field of interest where
  35. the use of the algebraic methodology provides a breakthrough and which
  36. is sufficiently developed to have a real value for researchers,
  37. students, and engineers, actually working in software design and
  38. development.
  39.  
  40.  
  41. Editorial Board and Contributions 
  42. ---------------------------------
  43.  
  44. The editorial board of the AMAST Series in Computing is composed of the
  45. following:
  46.  
  47. Andre' Arnold
  48. Universite' Bordeaux I
  49. 351 Cours de la Liberation
  50. F-33405 Talence
  51. France
  52. E-mail: arnold@geocub.greco-prog.fr
  53.  
  54. Egidio Astesiano
  55. University of Genova
  56. Department of Mathematics
  57. Via L.B. Alberti, 4
  58. 16132 Genova
  59. Italy
  60. E-mail: astes@igecuniv.bitnet
  61.  
  62. Arthur  C. Fleck
  63. The University of Iowa
  64. Department of Computer Science
  65. Iowa City, IA 52242
  66. USA
  67. E-mail: fleck@cs.uiowa.edu
  68.  
  69. William F. Lawvere
  70. SUNY
  71. Department of Mathematics
  72. Faculty of Natural Sciences and Mathematics
  73. 106 Diefendorf Hall
  74. Buffalo, NY 14214-3093
  75. USA
  76. E-mail: MTHFWL@ubvms.cc.buffalo.edu
  77.  
  78. Peter D. Mosses
  79. Computer Science Department
  80. Aarhus University
  81. Ny Munkegade, Bldg. 540
  82. DK-8000 Aarhus C
  83. Denmark
  84. E-mail: pdmosses@daimi.aau.dk
  85.  
  86. Maurice Nivat
  87. 26 Rue du Poitou
  88. 94550 Chevilly-Larue
  89. France
  90.  
  91. Vaughan Pratt
  92. Stanford University
  93. Computer Science Department
  94. Stanford CA 994305
  95. USA
  96. E-mail: pratt@cs.stanford.edu
  97.  
  98. Charles I.M. Rattray
  99. University of Stirling
  100. Department of Computing Science
  101. Stirling, Scotland FK9 4LA
  102. U.K.
  103. E-mail: cr@cs.stir.ac.uk
  104.  
  105. Teodor Rus (Managing Editor)
  106. The University of Iowa
  107. Department of Computer Science
  108. Iowa City, IA 52242
  109. USA
  110. E-mail: rus@cs.uiowa.edu
  111.  
  112. Giuseppe Scollo
  113. University of Twente
  114. Dept. Informatica
  115. P.O.Box 217
  116. NL-7500AE Enschede
  117. The Netherlands
  118. E-mail: scollo@cs.utwente.nl
  119.  
  120. Ralph Wachter
  121. Computer Science Division (Code 1133)
  122. Office of Naval Research
  123. 800 North Quincy Str.
  124. Arlington, Virginia 22217-5000
  125. E-mail: wachter@ITD.NRL.NAVY.MIL
  126.  
  127. Martin Wirsing
  128. Lehrstuhl fuer Programmierung und Softwaretechnik
  129. Universitaet Muenchen
  130. Leopoldstr. 11 b
  131. D-8000 Muenchen 40
  132. Germany
  133. E-mail: wirsing@informatik.uni-muenchen.de
  134.  
  135. We are seeking single or multi author monographs in the
  136. area of applying algebraic (mathematical) methodology to the
  137. development of software technology, as specified by the aim and scope
  138. of this series. 
  139.  
  140. To submit a monograph for publication in this series, identify the
  141. member of the above editorial board closest to the area of interest
  142. and send him a proposal which consists of the following documents:
  143.  
  144. (1) Title of the monograph and a short presentation of the material
  145.     it will cover.
  146.  
  147. (2) A list of contents showing the chapters covered in the monograph
  148.     and their authors. 
  149.  
  150. (3) A specification of the software accompanying the monograph, if any.
  151.  
  152. (4) A production plan showing the times at which material can be ready.
  153.  
  154. (5) A marketing plan showing who can be expected to buy the book.
  155.  
  156. In case of uncertainty, send the proposal to the Managing Editor.
  157.  
  158.  
  159. Book orders
  160. ----------- 
  161.  
  162. The first titles of the AMAST Series in Computing are expected
  163. to appear in 1993. To order the books published in the Series,
  164. please contact the publisher at
  165.  
  166.     World Scientific Publishing Co.
  167.     1060 Main Street, Suite 1-B
  168.     River Edge, NJ 07661, USA
  169.     phone : + 1 800 2277562, or + 1 201 4879655 (in New Jersey)
  170.     fax   : + 1 201 4879656
  171.     e-mail: wspc@scri.fsu.edu
  172.  
  173.     World Scientific Publishing Co. Pte. Ltd.
  174.     Farrer Road
  175.     P. O. Box 128
  176.     Singapore 9128
  177.     telex : RS 28561 WSPC
  178.     phone : + 65 382 5663
  179.     fax   : + 65 382 5919
  180.  
  181.