Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.loria.fr/conferences/amast2002
Email: amast@loria.fr
Description:
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.
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.
Date received: November 19, 2001, revised September 09, 2002
© 2008 Atlas Conferences Inc.