Topics
All previous editions of the AMAST
Conference, which were held at Iowa City (1989,1991), Twente
(1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus
(1999), Iowa City (2000), and Reunion Island (2002), made
contributions to the AMAST goals by reporting and disseminating
academic and industrial achievements within the AMAST area
of interest. During these meetings, AMAST attracted an international
following among researchers and practitioners interested
in software technology, programming methodology and their
algebraic and logical foundations. In addition, starting
with the 1993 edition, the first day of each conference
was dedicated to Mathematics Education for Software Engineers.
As in previous years, we invite papers reporting original research on setting
software technology on a firm mathematical basis. We expect two kinds of submissions
for this conference: technical papers and system demonstrations. Of particular
interest is research on using algebraic, logic, and other formalisms suitable
as foundations for software technology, as well as software technologies developed
by means of logic and algebraic methodologies. 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
* evolutionary software/adaptive systems
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, coinduction
* 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
* component based software development tools
* validation and verification
* computer algebra systems
* theorem proving systems
