From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5486 Path: news.gmane.org!not-for-mail From: Michael Johnson Newsgroups: gmane.science.mathematics.categories Subject: AMAST Call for Papers (and apology!) Date: Tue, 5 Jan 2010 14:29:38 -0400 Message-ID: Reply-To: Michael Johnson NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1262833973 32152 80.91.229.12 (7 Jan 2010 03:12:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 7 Jan 2010 03:12:53 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu Jan 07 04:12:46 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NSinl-0006L2-FK for gsmc-categories@m.gmane.org; Thu, 07 Jan 2010 04:12:45 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NSiAw-0007kS-M2 for categories-list@mta.ca; Wed, 06 Jan 2010 22:32:38 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5486 Archived-At: Dear colleagues, Please see below the call for papers for the conference "Algebraic Methodology and Software Technology" (AMAST). AMAST has always been happy to include category theoretic papers (indeed Bill Lawvere was among the first AMAST invited speakers). Now for the apology: I can usually adjust the scheduling of AMAST to avoid clashes with the CT meetings, but the dates for AMAST2010 were set a year ago, and sadly clash with the Genoa meeting. Nevertheless, if some of you are unable to attend CT and might be able to be in North America at the time, AMAST is well worth considering. Please also distribute this announcement to colleagues who might be able to attend. Best wishes, Michael Johnson. --------------------------------------------- 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 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 (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 * 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 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. IMPORTANT DATES --------------- * Paper submissions: February 26, 2010 * 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@ics.mq.edu.au [For admin and other information see: http://www.mta.ca/~cat-dist/ ]