Schedule
Topics
Accepted Papers
Location
Submission Guidelines
Programme Committee
Sponsors
Call for Papers (text)
local info
University of Stirling
Maps & Guides
contact
links
AMAST
AMAST 2002

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

[top to top]


''