Goals and Organization

The goal of the third AMAST conference to be held on June 22–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.


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 of Naval Research, Arlington, VA, USA)

Local Committee: Herman Balsters, Han Bäumer, 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 Jónsson, Hans-Jörg Kreowski, Giancarlo Mauri, Ali Mili, Michael Mislove, Ugo Montanari,
Peter D. Mosses, Istvan Németi, 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:

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