Topics
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
- algebra and coalgebra
- 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
Submission and publication
Two kinds of submissions are solicited for this conference: technical papers and system demonstrations. Papers may report academic or industrial progress, and papers which deal with both are especially well-regarded.
Submission is in two stages. Abstracts (plain text) must be submitted by 1 March 2008. Full papers (pdf) adhering to the llncs style and not longer than 15 pages (6 pages for system demonstrations) must be submitted by 8 March 2008.
Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors.
All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference.
The proceedings of AMAST '08 will be published in the Lecture Notes in Computer Science series of Springer-Verlag.