AMAST: Algebraic Methodology and Software Technology



Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
AMAST 2010 Algebraic Methodology and Software Technology (Thirteenth International Conference)
Jun 23, 2010 - Jun 26, 2010 Manoir St-Castin Apr 9, 2010

Present CFP : 2010


The major goal of the AMAST Conferences is to promote research that may lead to the setting of software technology on a firm, mathematical basis. This goal is achieved by a large international cooperation with contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis include the provision of software that is

* correct, and the correctness can be proved mathematically,

* safe, so that it can be used in the implementation of critical systems,

* portable, i.e., independent of computing platforms and language generations,

* evolutionary, i.e. it adapts to the environment changes, and evolves with the problem domain,

* secure, so that its network and user interactions can be predicted and controlled.

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), Reunion Island (2002), Stirling (2004), Saaremaa (2006) and Urbana-Champaign (2008), 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.

The 2010 conference will be held in Lac-Beauport, a suburb of Québec City, Canada, and will be colocated with MPC '10 (21-23 June 2010).


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: 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
* software architecture
* concurrent and reactive systems
* formal methods in industrial software development
* requirements engineering
* software synthesis
* evolutionary and adaptive software systems

** Programming methodology
* logic programming, functional programming, object paradigms
* constraint programming and concurrency
* program transformation and verification
* programming calculi
* specification languages and tools
* incremental development
* web programming and network computation

** Algebraic and logical foundations
* logic in computer science
* category theory, relation algebra, computational algebra
* algebraic foundations for languages, systems and specifications
* coinduction and coalgebraic methods
* logical frameworks and theorem proving
* logics of programs
* formal approaches to dependability and security

** Systems and tools (for system demonstrations or ordinary papers)
* software development environments
* provably correct software development
* validation and verification
* security tools
* system support for reuse
* tools for prototyping
* component based software development tools
* computer algebra systems
* theorem proving systems


As in the past, the proceedings of AMAST 2010 will be published by Springer in the Lecture Notes in Computer Science series. The preliminary version of the proceedings will be available at the conference. The final version will be distributed after the conference.

We invite prospective authors to submit electronically previously unpublished papers of high quality. Submissions should not have been published and should not be under consideration for publication elsewhere. Papers must be no longer than 15 pages (6 pages for system demonstrations) and should be prepared using LaTeX and the LNCS style that can be downloaded from The submission site and dates are at the beginning of this Call.


The conference will be held in the Manoir St-Castin ( This resort is located on the shore of Beauport lake, 15 minutes from downtown Québec City ( and 15 minutes from the Jean-Lesage International Airport.


Paolo Baldan
Gilles Barthe
Michel Bidoit
Manfred Broy
E.P. de Vink
Jose Luiz Fiadeiro
Rob Goldblatt
Ichiro Hasuo
Rolf Hennicker
Michael Johnson (chair)
Helene Kirchner
Barbara Koenig
Narciso Marti Oliet
Michael Mislove
Larry Moss
Till Mossakowski
Peter D. Mosses
Andrzej Murawski
Fernando Orejas
Dusko Pavlovic (chair)
Leila Ribeiro
Grogore Rosu
Jan Rutten
Lutz Schroeder
Wolfram Schulte
Douglas Smith
Carolyn Talcott
Andrzej Tarlecki
Varmo Vene
James Worrell


For further information, consult the webiste or send email to Michael Johnson at, or Dusko Pavlovic at

Related Resources

SoICT 2022   The 11th International Symposium on Information and Communication Technology
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
CPSIOT 2022   2022 International Conference on Cyber Physical Systems and IoT(CPSIOT 2022)
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ICSE 2023   45th International Conference on Software Engineering
ICACS--EI Compendex, SCOPUS 2022   2022 The 6th International Conference on Algorithms, Computing and Systems (ICACS 2022)--Ei Compendex, Scopus