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