From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2067 Path: news.gmane.org!not-for-mail From: Christophe Ringeissen Newsgroups: gmane.science.mathematics.categories Subject: CFP: AMAST'2002 Date: Fri, 21 Dec 2001 16:38:35 +0100 (MET) Message-ID: <15395.22395.395902.354072@chtapach.loria.fr> Reply-To: Christophe.Ringeissen@loria.fr NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018380 2281 80.91.229.2 (29 Apr 2009 15:19:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:40 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Dec 22 10:41:00 2001 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 22 Dec 2001 10:41:00 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 3.33 #2) id 16Hn8f-00077E-00 for categories-list@mta.ca; Sat, 22 Dec 2001 10:28:37 -0400 X-Mailer: VM 6.75 under 21.1 (patch 14) "Cuyahoga Valley" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 44 Original-Lines: 53 Xref: news.gmane.org gmane.science.mathematics.categories:2067 Archived-At: [We apologize if you receive multiple copies of this message] AMAST 2002 CALL FOR PAPERS 9-th International Conference on Algebraic Methodology And Software Technology AMAST 2002, September 9-13, 2002 St. Gilles les Bains, Reunion Island, France * Important Dates: Paper submissions February 1, 2002 Notification of paper acceptance April 27, 2002 Camera ready papers June 1, 2002 AMAST 2002 conference September 9-13, 2002 * Topics: As in previous years, we invite papers reporting original research on setting software technology on a firm mathematical basis. 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. * Submissions: We invite prospective authors to submit electronically previously unpublished papers of high quality. 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 URL: http://www.springer.de/comp/lncs/authors.html Please send a fully self-contained PostScript file to amast@loria.fr As in the past, the AMAST'2002 proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science Series. * Program Committee: V.S. Alagar, E. Astesiano, M. Bidoit, D. Bolignano, M. Broy, J. Fiadeiro, B. Fischer, K. Futatsugi, A. Haeberer, N. Halbwachs, A. Haxthausen, D. Hutter, P. Inverardi, B. Jacobs, M. Johnson, H. Kirchner (PC chair), P. Klint, T. Maibaum, Z. Manna, J. Millen, P. Mosses, F. Orejas, R. de Queiroz, T. Rus, C. Ringeissen (PC chair assistant), D. Sannella, P.-Y. Schobbens, G. Scollo, A. Tarlecki, M. Wirsing * Local Organization Chair: Teodor Knapik, Univ. de la Reunion * Further information: For regularly updated details of the conference organization send email to amast@loria.fr or visit the AMAST'2002 web page: http://www.loria.fr/conferences/amast2002