[TYPES/announce] AMAST (Algebraic Methodology and Software Technology) CFP

[Michael Johnson]

[Although this announcement doesn't specifically mention "types", it
is of interest to the Types community.  AMAST is largely about the
interaction of mathematical analyis and software technology, and type
theory and the many discussions on Types are very much part of that.
Certainly AMAST has attracted many Types subscribers (including
myself) in the past.]


Please distribute this announcement to your colleagues.

---------------------------------------------
CALL FOR PAPERS
AMAST 2010: 13th International Conference on
Algebraic Methodology And Software Technology
http://mpc-amast2010.fsg.ulaval.ca/
Paper Submissions: 26th February 2010
---------------------------------------------

AMAST 2010
June 23th - 26th, 2010
Manoir St-Castin, Quebec City, Canada.


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 community 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 (a) correct, and the correctness can be proved
mathematically, (b) safe, so that it can be used in the implementation
of critical systems, (c) portable, i.e., independent of computing
platforms and language generations, and (d) evolutionary, i.e., it can
be self-adaptable and evolves with the problem domain.

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.


TOPICS
------
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
  * 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
  * web programming
  * 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
  * 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


PUBLICATION
-----------
As in the past, the proceedings of AMAST 2010 will be published by
Springer in the Lecture Notes in Computer Science series.

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
http://www.springer.de/comp/lncs/authors.html.

Papers should be received by February 26, 2010.

Submission will be electronic, and further details will be
available at the website soon.


IMPORTANT DATES
---------------
* Paper submissions: February 26, 2010, (23:59 Pacific (UTC-8))
* Notification of paper acceptance: March 19, 2010
* Camera ready papers due: April 5, 2010
* AMAST'2010 Conference: June 23-26, 2010


LOCATION
--------
The conference will be held at the Manoir St-Castin, Quebec City, Canada
http://mpc-amast2010.fsg.ulaval.ca/


CONTACT
-------
For further information, consult the webiste or
send email to mike at ics.mq.edu.au