CALL for PARTICIPATION
AMAST'2000
ANNIVERSARY CONFERENCE
8th International Conference on
Algebraic Methodology and Software Technology
May 23-27, 2000, Iowa City, Iowa, USA.
This Anniversary Conference gives us the opportunity of celebrating
11 years of achievement, witnessing the current trends in using formal
approaches for software development, and adapting AMAST goals to meet
the changing needs in software technology for the next 10 years.
A strong programme of invited talks, technical paper presentations,
panel discussions, poster sessions and tool demonstrations, provides
convincing evidence of the AMAST theme of the necessary interplay of
algebra and logic with quality software and system development.
Education has always been an important part of the AMAST thinking and
a pre-technical meeting day is devoted to questions of software engineering
and computer science curricula. This is preceded by a three-day satellite
workshop on algebraic methods in language processing.
For full details of the conference: registration, advanced programme,
satellite workshop, accommodation and travel are available on the Web
at the URL
http://www.cs.uiowa.edu/amast2000
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|