I have the pleasure to announce a new WWW page on evolving algebras, Evolving Algebras Europe , which is now available.
This is in addition to the existing evolving algebra WWW page at the University of Michigan.
Both evolving algebra pages offer relevant information on current research and upcoming events. Moreover, they also provide access to written material addressing theoretical foundations, applied systems analysis, and tool support.
Evolving algebras have been used with considerable success for the specification and verification of various kinds of discrete dynamic systems including architectures, languages, and protocols of sequential, distributed, and real-time systems.
Uwe Glaesser, glaesser@uni-paderborn.de