home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / database / theory / 449 < prev    next >
Encoding:
Text File  |  1992-09-04  |  7.1 KB  |  150 lines
  1. Newsgroups: comp.databases.theory
  2. Path: sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!scollo
  3. From: scollo@cs.utwente.nl (Pippo Scollo)
  4. Subject: AMAST'93 Call for Papers
  5. Message-ID: <1992Sep4.173043@cs.utwente.nl>
  6. Keywords: algebraic specification, software development
  7. Sender: usenet@cs.utwente.nl
  8. Nntp-Posting-Host: utis02
  9. Organization: University of Twente, Dept. of Computer Science
  10. Date: Fri, 4 Sep 1992 15:30:43 GMT
  11. Lines: 137
  12.  
  13.                           CALL FOR PAPERS
  14.  
  15.              Third International Conference on Algebraic
  16.              Methodology and Software Technology, AMAST
  17.  
  18.                University of Twente, The Netherlands
  19.                          June 22-25, 1993
  20.  
  21. Goals and Organization
  22.  
  23. The goal of the third AMAST conference to be held on June 22-25, 1993,
  24. at the University of Twente, Enschede, The Netherlands,
  25. is to consolidate the trend towards using algebraic methodology
  26. as a foundation for software technology,
  27. and to show that universal algebra provides a practical mathematical
  28. alternative to the common, ad-hoc approaches to software engineering and
  29. development.
  30. Academia and industry are both beneficiaries of such a formal foundation.
  31.  
  32. Organizing Committee:
  33. General chairman:     Maurice Nivat       University of Paris VII, Paris, F
  34. Programme chairman:   Giuseppe Scollo     University of Twente, Enschede, NL
  35. Publicity chairman:   Charles Rattray     University of Stirling, GB
  36.                       Teodor Rus          University of Iowa, Iowa City, IA, USA
  37.                       V.S.Alagar          Concordia University, Montreal, Canada
  38. Local chairman:       Ed Brinksma         University of Twente, Enschede, NL
  39. Finance chairman:     Frans van der Avert University of Twente, Enschede, NL
  40. Members:              Mohammed Bettaz     University of Constantine, Algeria
  41.                       Christine Choppy    University of Paris-Sud, LRI, Orsay, F
  42.                       Pierre Deransart    INRIA, Rocquencourt, F
  43.                       Arthur Fleck        University of Iowa, Iowa City, IA, USA
  44.                       Luigi Logrippo      University of Ottawa, Ontario, Canada
  45.                       Michael O'Donnell   University of Chicago, IL, USA
  46.                       Juan Quemada        University of Madrid, E
  47.                       Ralph Wachter       Office Naval Research, Arlington, VA, 
  48.                                           USA
  49.  
  50. Local Committee:    Herman Balsters, Han Baumer, Pim van den Broek, Rolf de By,
  51.                     Maarten Fokkinga, Pim Kars, Mark van de Voort, Job Zwiers
  52. Secretariat:        Yvonne Rokker
  53.  
  54. Programme Committee:
  55. Martin Abadi, Egidio Astesiano, Choukri-Bey Ben-Yelles, Michel Bidoit, Wim Blok,
  56. Chris Brink, Pierre-Luis Curien, Kokichi Futatsugi, Steven Givant, 
  57. William S. Hatcher, Douglas J. Howe, Bjarni Jonsson, Hans-Jorg Kreowski,
  58. Giancarlo Mauri, Ali Mili,  Michael Mislove, Ugo Montanari, Peter D. Mosses, 
  59. Istvan Nemeti, Don Pigozzi, Don Sannella, R.K. Shyamasundar, John Staples, 
  60. Andrzej Tarlecki, Frits Vaandrager, Paulo A.S. Veloso, Eric Wagner, Bob Walters,
  61. Martin Wirsing.
  62.  
  63. Invited Speakers
  64.  
  65. To achieve the goal of the conference we aim to provide a forum in which
  66. leading researchers in mathematics, computer science, and software development,
  67. will come together to identify algebraic methodologies that are applicable as
  68. viable alternatives to the present software development approaches and to
  69. discuss the appropriateness of such alternatives with a view to implementation.
  70. Invited speakers, with a tentative indication of respective topics, include:
  71.  
  72. Hubert Comon      LRI, Orsay                : Constraint Solving in Term
  73.                                               Algebras
  74. Rob van Glabbeek  Stanford University       : Process Algebra
  75. Nicolas Halbwachs INPG, Grenoble            : Reactive Program Synthesis
  76. Mike Johnson      Macquarie Univ., Sydney   : Category Theory for Software
  77.                                               Engineering
  78. Giorgio Levi      University of Pisa        : Logic Programming
  79. Roger D. Maddux   Iowa State University     : Relation Algebra
  80.  
  81. Submissions
  82.  
  83. Talks reporting research in algebra and logic, suitable as a foundation for
  84. software technology, as well as software technologies
  85. developed by means of algebraic methodologies, are welcome.
  86. Demonstrations of systems showing the improved effectiveness of software
  87. developed on a mathematical basis (with or without a talk)
  88. will also be considered.
  89. To be more precise the organizers wish contributions on, but not limited to,
  90. algebraic methods for language design and  compiler construction
  91. (e.g. for Algol-like programming languages),
  92. algebraic methodology for software engineering,
  93. algebraic specifications and algorithms to automatically build
  94. programs from such specifications,
  95. extraction of programs from constructive proofs,
  96. categorical, algebraic and logic programming,
  97. deductive databases, query language design,
  98. algebraic specification of concurrent systems,
  99. distributed operating systems, reactive systems,
  100. practical techniques and examples for verification of program
  101. and/or specification properties.
  102. We invite you to submit a two-page abstract (including a few
  103. citations of relevant work) of your talk to
  104.  
  105.    AMAST Conference,University of Twente,Fac. Informatica,Att. Mrs. Y. Rokker,
  106.    P.O. Box 217,NL-7500AE Enschede,The Netherlands (phone: + 31 53 893701)
  107.  
  108. Four-page abbreviated papers of the talks presented at the conference, together
  109. with the invited talks, will be collected in the participants' edition of the
  110. proceedings, which will be available to the attendees upon their arrival in
  111. Twente.
  112. The authors are expected to bring full versions of their papers at the
  113. conference, for further review and inclusion in the AMAST'93 Proceedings,
  114. to be published by Springer-Verlag, London. 
  115. A special issue of Theoretical Computer Science will be dedicated to
  116. this conference; participants will be invited to submit their full paper
  117. for possible publication in this journal.
  118.  
  119. Important Due Dates
  120. - Two page abstract submission by December 15, 1992.
  121. - Notification of acceptance by March 31, 1993.
  122. - Camera-ready four-page paper to appear in participants' proceedings
  123.   by May 1, 1993.
  124. - Full paper for AMAST'93 Proceedings, at the conference.
  125.  
  126. Further information can be obtained from:
  127.  
  128. In Canada:                                  In Europe:
  129. V.S. Alagar                                 Charles Rattray
  130. Concordia University                        University of Stirling
  131. Dept. of Computer Science                   Dept. of Computing Science and
  132. 1455 de Maisonneuve Blvd. West                 Mathematics
  133. Montreal, Quebec H3G 1M8                    Stirling, Scotland, FK9 4LA
  134. Canada                                      Great Britain
  135. phone: + 1 514 8483022                      phone: + 44 786 73171
  136. fax: + 1 514 8482830                        fax: + 44 786 64551
  137. e-mail: alagar@concour.cs.concordia.ca      e-mail: cr@cs.stir.ac.uk
  138.  
  139.  
  140.                  In U.S.A.:
  141.                  Teodor Rus
  142.                  University of Iowa
  143.                  Dept. of Computer Science
  144.                  Iowa City
  145.                  IA 52242
  146.                  USA
  147.                  phone: + 1 319 3350742
  148.                  fax: + 1 319 3350627
  149.                  e-mail: rus@cs.uiowa.edu
  150.