We apologize if you received more than one copy of this call for papers. Call for Papers Seventh International AMAST Conference AMAST '98, January 5 to 9 , 1999, Amazonia, Brazil. --------------------------------------------------------------------- Goals 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. ------------------------------------------------------------------- Submissions 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: SOFTWARE TECHNOLOGY systems software technology, application software technology, concurrent and reactive systems, formal methods in industrial software development, formal techniques for software requirements, design. PROGRAMMING METHODOLOGY 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. ALGEBRAIC AND LOGICAL FOUNDATIONS 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 http://www.lmf-di.puc-rio.br/~amast98 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 Brazil Phone: +55 21 512-8325 512-6837 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.