AMAST'98 first CFP

   		       Call for Papers

            Seventh International AMAST Conference
     AMAST '98,  January 5 to 9 , 1999,  Amazonia, Brazil.



The major goal of the  AMAST  Conferences  is  to  put  software
development  technology  on  a  firm,  mathematical foundation.
Particular emphasis is given to algebraic and logical foundations
of software technology.  An eventual goal is to establish algebraic
and logical methodologies as viable and attractive approaches to
software engineering.

The first three editions of AMAST were held at the University of Iowa
(1989 and 1991) and at the University of Twente (1993). The fourth
conference was held at  Concordia University of Montreal (1995), the
fifth at Ludwig-Maximilians University, Munich (1996), and the sixth
will be held in Sidney, Australia, (December 13-17, 1997).
During these meetings, AMAST has attracted an international following
among researchers and practitioners interested in software technology,
programming methodology and their algebraic and logical foundations.
In addition, the first day of each conference has been dedicated to
Mathematics Education for Software Engineers.

Following this successful trend, the seventh AMAST International
Conference will be held in Amazonia, Brazil, from January 5 to
January 9, 1999.



As in the previous years we invite papers reporting original research
in algebra, logic and other formalisms suitable as a foundation for
software technology, as well as software technologies developed by means
of logic and algebraic methodologies. Submissions should not have been
published and should not be under consideration for publication elsewhere.

The topics of interest include, but are not limited to, the following:

        systems software technology,
        application software technology,
        concurrent and reactive systems,
        formal methods in industrial software development,
        formal techniques for software requirements, design.

        logic programming, functional programming, object paradigms,
        constraint programming and concurrency,
        program verification and transformation,
        programming calculi,
        specification languages and tools,
        formal specification and development case studies.

        logic, category theory, relation algebra, computational algebra,
        algebraic foundations for languages and systems,
        theorem proving and logical frameworks for reasoning,
        logics of programs.

SYSTEMS AND TOOLS (for system demonstrations or ordinary papers)
        software development environments,
        support for correct software development,
        system support for reuse,
        tools for prototyping,
        validation and verification,
        computer algebra systems,
        theorem proving systems.

We invite prospective authors to submit electronically previously
unpublished papers of high quality.  Papers should be between five
and fifteen pages in LNCS style.  Ten page papers are ideal, and
papers longer than fifteen pages may be rejected without detailed
refereeing.  Please see details at


under "submission" which explain how to obtain a paper number, and
then how to send a fully self-contained postscript file (preferably
derived from LaTeX with the LNCS style) to
amast98@lmf-di.puc-rio.br.  If for any reason it is impossible
to submit a paper electronically, authors should send six paper copies of their
submission to the programme chair at the address below.

All papers will be refereed by the programme committee, and will be
judged based on their significance, technical merit, and relevance
to the conference. As in the past, we expect the proceedings to
be published by Springer-Verlag in their Lecture Notes in Computer
Science Series.  Papers should be received by June 15, 1998.


Address for non-electronic submissions and enquiries

Prof. Dr. Armando M. Haeberer (Program Chair of AMAST'98)
Diretor do Laboratorio de Metodos Formais
Departamento de Informatica
Pontificia Universidade Catolica do Rio de Janeiro
Rua Marques de Sao Vicente, 225
Rio de Janeiro, RJ 22453-900

Phone: +55 21 512-8325
FAX:   +55 21 512-8045
Email: amast98@lmf-di.puc-rio.br


AMAST General Chair:  Maurice Nivat (France)
Programme  Chair:  Armando Haeberer (Brazil)


Programme Committee

Vangalur Alagar (Canada)
Egidio Astesiano (Italy)
Gabriel Baum (Argentina)
Chris Brink     (South Africa)
Walter Carnielli (Brazil)
Rocco De Nicola (Italy)
Jose Fiadeiro (Portugal)
Marcelo Frias (Brazil)
Kokichi Futatsugi (Japan)
Dov Gabbay (United Kingdom)
E. Hermann Haeusler (Brazil)
Paola Inverardi (Italy)
Michael Johnson (Australia)
Richard Jullig (United States)
Rafael Lins     (Brazil)
Michael Lowry (United States)
Carlos Jose Pereira de Lucena (Brazil)
Roger Maddux (United States)
Thomas Maibaum (United Kingdom)
Michael Mislove (United States)
Ugo Montanari (Italy)
Peter Mosses (Denmark)
Istvan Nemeti (Hungary)
Anton Nijholt   (Netherlands)
Daltro Nunes (Brazil)
Fernando Orejas (Spain)
Don Pigozzi (United States)
Ruy de Queiroz (Brazil)
Charles Rattray (United Kingdom)
Teodor Rus (United States)
Giuseppe Scollo (Netherlands)
Michel Sintzoff (Belgium)
Douglas Smith (United States)
Andrzej Tarlecki (Poland)
Paulo Veloso (Brazil)
Martin Wirsing (Germany)


Organizing Committee

Chair and Finances: Armando Haeberer
                              Marcia Ferreira
                              Daniela Cardoso

Tools and Demos: Claudio Terra

Local arrangements:  Alvanir Becerra de Carvalho


Important Dates

Submission of Papers: June 15, 1998
Submission of System Demo Proposals: July 1, 1998
Author notification of ouctome: September 15, 1998
Camera ready copy received by: November 1, 1998
Education Day: January 5, 1999
Intended Conference Dates: January 5 to 9 , 1999


Further information

For regularly updated details of the conference
organisation see http://www.lmf-di.puc-rio.br/~amast98
or send email to amast98@lmf-di.puc-rio.br.