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