Final CfP: AMAST'93

- special interest on mathematical education of software developers
- one-day extension of the conference dates
- extension of submission deadline to 8 January 1993 (sharp!)


                                              FINAL CALL FOR PAPERS


                          Third International Conference on Algebraic
                          Methodology and Software Technology, AMAST


                              University of Twente, The Netherlands
                                                  June 21-25, 1993


Goals and Organization
----------------------


The goal of the third AMAST conference to be held on June 21-25, 1993, at
the University of Twente, Enschede, The Netherlands, is to consolidate the
trend towards using algebraic methodology as a foundation for software
technology, and to show that universal algebra provides a practical
mathematical alternative to the common, ad-hoc approaches to software
engineering and development. Academia and industry are both beneficiaries
of such a formal foundation.


While the AMAST goal is mainly research-oriented, the relevance of
education is recognized as well. In particular, the adequacy of the
mathematical education of designers, implementors, users and maintainers
of software artifacts, is recognized as being of special interest. The
first day of the conference will be dedicated to this topic.


Organizing Committee:
General chairman: Maurice Nivat University of Paris VII, Paris, F
Programme chairman: Giuseppe Scollo University of Twente, Enschede, NL
Publicity chairman: Charles Rattray University of Stirling, GB
                                        Teodor Rus University of Iowa, Iowa City, IA, USA
                                        V.S.Alagar Concordia University, Montreal, Canada
Local chairman: Ed Brinksma University of Twente, Enschede, NL
Finance chairman: Frans van der Avert University of Twente, Enschede, NL
Members: Mohammed Bettaz University of Constantine, Algeria
                                        Christine Choppy University of Paris-Sud, LRI, Orsay, F
                                        Pierre Deransart INRIA, Rocquencourt, F
                                        Arthur Fleck University of Iowa, Iowa City, IA, USA
                                        Luigi Logrippo University of Ottawa, Ontario, Canada
                                        Michael O'Donnell University of Chicago, IL, USA
                                        Juan Quemada University of Madrid, E
                                        Ralph Wachter Office Naval Research, Arlington, VA,
                                                                                USA


Local Committee: Herman Balsters, Han Baumer, Pim van den Broek, Rolf de By,
                                      Maarten Fokkinga, Pim Kars, Mark van de Voort, Job Zwiers
Secretariat: Yvonne Rokker


Programme Committee:


Martin Abadi, Egidio Astesiano, Choukri-Bey Ben-Yelles, Michel Bidoit, Wim
Blok, Chris Brink, Pierre-Luis Curien, Kokichi Futatsugi, Steven Givant,
William S. Hatcher, Douglas J. Howe, Bjarni Jonsson, Hans-Jorg Kreowski,
Giancarlo Mauri, Ali Mili, Michael Mislove, Ugo Montanari, Peter D.
Mosses, Istvan Nemeti, Don Pigozzi, Don Sannella, R.K. Shyamasundar, John
Staples, Andrzej Tarlecki, Frits Vaandrager, Paulo A.S. Veloso, Eric
Wagner, Bob Walters, Martin Wirsing.


Invited Speakers


To achieve the goal of the conference we aim to provide a forum in which
leading researchers in mathematics, computer science, and software
development, will come together to identify algebraic methodologies that
are applicable as viable alternatives to the present software development
approaches and to discuss the appropriateness of such alternatives with a
view to implementation. Invited speakers, with a tentative indication of
respective topics, include:


Hajnal Andreka Math. Inst., Budapest : General Methodology for Designing
  and Ildiko Sain and Algebraizing Logics
Hubert Comon LRI, Orsay : Constraint Solving in Term Algebras
Rob van Glabbeek Stanford University : Process Algebra
Nicolas Halbwachs INPG, Grenoble : Reactive Program Synthesis
Mike Johnson Macquarie Univ., Sydney : Category Theory for Software
                                                                                        Engineering
Giorgio Levi University of Pisa : Logic Programming
Roger D. Maddux Iowa State University : Relation Algebra
Steve Schneider PRG, Oxford University : Rigorous Specification of Real-Time
                                                                                      Systems


Submissions
-----------


Talks reporting research in algebra and logic, suitable as a foundation
for software technology, as well as software technologies developed by
means of algebraic methodologies, are welcome. Demonstrations of systems
showing the improved effectiveness of software developed on a mathematical
basis (with or without a talk) will also be considered. To be more
precise the organizers wish contributions on, but not limited to,
algebraic methods for language design and compiler construction (e.g. for
Algol-like programming languages), algebraic methodology for software
engineering, algebraic specifications and algorithms to automatically
build programs from such specifications, extraction of programs from
constructive proofs, categorical, algebraic and logic programming,
deductive databases, query language design, algebraic specification of
concurrent systems, distributed operating systems, reactive systems,
practical techniques and examples for verification of program and/or
specification properties. We invite you to submit a two-page abstract
(including a few citations of relevant work) of your talk to


      AMAST Conference,University of Twente,Fac. Informatica,Att. Mrs. Y. Rokker,
      P.O. Box 217,NL-7500AE Enschede,The Netherlands (phone: + 31 53 893701)


Four-page abbreviated papers of the talks presented at the conference,
together with the invited talks, will be collected in the participants'
edition of the proceedings, which will be available to the attendees upon
their arrival in Twente. The authors are expected to bring full versions
of their papers at the conference, for further review and inclusion in the
AMAST'93 Proceedings, to be published by Springer-Verlag, London. A
special issue of Theoretical Computer Science will be dedicated to this
conference; participants will be invited to submit their full paper for
possible publication in this journal.


Important Due Dates (sharp!):
- Two page abstract submission received by January 8, 1993.
- Notification of acceptance by March 31, 1993.
- Camera-ready four-page paper to appear in participants' proceedings
    by May 1, 1993.
- Full paper for AMAST'93 Proceedings, at the conference.




Education Day
-------------


The mathematical education of software developers is of special interest
in that its adequacy is an obvious prerequisite to the successful
achievement of the AMAST goal, and is thus foreseen to be a continuing
interest of the AMAST movement. The evaluation of, and the provision of
recommendations about, the mathematical training of software developers is
a necessary means to achieve that adequacy. In order to be effective in
this direction, the first day of the conference will be dedicated to the
aforementioned special interest topic. This Education Day will start with
an introductory talk by the Education Day Chairman, setting general
objectives and guidelines, and proceed with two sessions; each session
will have an Invited Speaker, talking about mathematical education of the
software engineer, and a Session Moderator, controlling and animating the
subsequent open discussion. The following people will contribute to the
Education Day along this plan:


Education Day Chairman: Hans-Joerg Kreowski (University of Bremen, D)
Invited Speakers : David Lorge Parnas (McMaster University, Ontario, CND)
                                                Jacques Printz (Conf. des Arts et Metiers, Paris, F)
Session Moderators : Yuri Gurevich (University of Michigan, Ann Arbor, USA)
                                                Istvan Nemeti (Mathematical Institute, Budapest, H)


As a preliminary indication, the Education Day should aim at answering such
questions as:
- How do we educate software designers, implementors, users, maintainers?
- What should be the ideal mathematical background of a software designer,
    implementor, etc.?
- What do we need to add to the the conventional way of teaching mathematics
    to make it more acceptable, convenient, and useful to the software designer?




Sponsors
--------


The conference is supported by the universities and research institutions
participating in the Organizing Committee. Financial support is expected
from ESPRIT Basic Research and from the ONR. Cooperation is pending with
ACM SIGACT and SIGSOFT, ASL, BCS FACS, EATCS, IEEE CS.




Further information
-------------------


Further information can be obtained from:


In Canada: In Europe:
V.S. Alagar Charles Rattray
Concordia University University of Stirling
Dept. of Computer Science Dept. of Computing Science and
1455 de Maisonneuve Blvd. West Mathematics
Montreal, Quebec H3G 1M8 Stirling, Scotland, FK9 4LA
Canada Great Britain
phone: + 1 514 8483022 phone: + 44 786 73171
fax: + 1 514 8482830 fax: + 44 786 64551
e-mail: alagar@concour.cs.concordia.ca e-mail: cr@cs.stir.ac.uk




                                  In U.S.A.:
                                  Teodor Rus
                                  University of Iowa
                                  Dept. of Computer Science
                                  Iowa City
                                  IA 52242
                                  USA
                                  phone: + 1 319 3350742
                                  fax: + 1 319 3350627
                                  e-mail: rus@cs.uiowa.edu
--

Return to the comp.compilers page.
Search the comp.compilers archives again.