AMAST'98
	Algebraic Methodology and Software Technology
	4-8 January 1999, Manaus, Amazonia, Brazil

	___________________

	Preliminary Call for Participation
	___________________

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.
The previous editions of AMAST were held at the University of Iowa (1989
and 1991), at the University of Twente (1993), at  Concordia University of
Montreal (1995), at Ludwig-Maximilians University Munich (1996), and at
Macquarie University (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. 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 4 to 8, 1999.


INVITED TALKS

- Thomas Maibaum, Imperial College, UK  - Reactive Systems
- Zohar Manna, Stanford University, USA - Temporal Logic
- Don Pigozzi, Iowa State University, USA - Subject to be defined
- Glynn Winskel, University of Aarhus, Denmark - Concurrency
- Pamela Zave, AT&T Bell Laboratories - Requirement Specifications and
Feature Interactions
- Zhou Chaochen, United Nations University International Institute for
Software Technology (confirmation pending)


PAPER PRESENTATION

Around 30 papers will be presented.


ORGANIZATION

General Chair:
Maurice Nivat (France)

Program Committee
-----------------------
Chair:
Armando Haeberer (Brazil)

Members:
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:
Armando Haeberer (Brazil)

Local arrangements and finances:
Marcia Ferreira

Tools and demos:
Andre Carregal
Claudio Terra Prates

Members:
Daniela Cardoso
Fernanda Mesquita


LOCATION

AMAST'98 will take place in the state of Amazonas, Brazil, at Ariau Amazon
Towers, a forest resort.

Ariau Amazon Towers , the only tree-top hotel in the Amazon Rain Forest, is
located 35 miles NW of Manaus, Brazil, along the Rio Negro River. Blending
into the canopy of the forest, first class accomodations, allow hotel
guests to experience the most beautiful setting for the observation of the
region's fauna and flora. The seemingly endless views from their
Observation Towers enhances the feeling of vastness and the power of Nature
at it's fullest.

The choice of Amazonia for hosting AMAST'98 not only seeks a superb
scenario for the
conference; the organizing committee is certain that spending a week in
communion with the exuberant environment of the rain forest will be for the
participants an unforgettable experience, making of each and everyone an
enthusiastic apostle of the religion of Nature.


REGISTRATION

The registration form, registration fee, accomodation rates, etc. will be
broadcast shortly.

The registration fee will include the welcome reception, coffee-breaks,
meals, a copy of the proceedings (a Springer-Verlag LNCS volume), the
excursion and conference dinner, plus transportation between Manaus and the
conference site.


PAYMENTS
Details concerning the modes of payment will be disclosed shortly.
Evidence of student status will be required for use of the student
registration rate.


CONTACT INFORMATION

Conference e-mail:  amast98@lmf-di.puc-rio.br
Fax:  +55 21 512-8045
Phones:  +55 21 512-8325 and 512-6837

Mailing address:
AMAST'98 Oganizing Committee
Laboratorio de Metodos Formais
Departamento de Informatica
Pontificia Universidade Catolica do Rio de Janeiro
Rua Marques de Sao Vicente, 225
22453-900  Rio de Janeiro, RJ
Brazil

Further information on http://www.lmf-di.puc-rio.br/amast98.


AMAST'98 is being partially funded by FINEP - Financiadora de Estudos e
Projetos.


Prof. Dr. Armando M. Haeberer
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
Brazil

PLEASE NOTE NEW PHONE & FAX NUMBERS
-----------------------------------
Tel. +55 21 512-8325
                      512-6837
Fax  +55 21 512-8045