[Apologies for multiple copies. Early registration deadline: *** July 30, 2002 ***] 9th International Conference on Algebraic Methodology And Software Technology AMAST 2002 Call for Participation St-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 http://www.loria.fr/conferences/amast2002 ***************************************************************************** * Goal. 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. * Topics. 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. * Program Chairs. H. Kirchner, C. Ringeissen (amast@loria.fr) * 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, P. Klint, T. Maibaum, Z. Manna, J. Millen, P. Mosses, F. Orejas, R. de Queiroz, T. Rus, C. Ringeissen, D. Sannella, P.-Y. Schobbens, G. Scollo, A. Tarlecki, M. Wirsing * Local Organization Chair. Teodor Knapik, Univ. de la Reunion * Program. The scientific program can be found at http://www.loria.fr/conferences/amast2002 * Invited Talks. - "Tool-Assisted Specification and Verification of the JavaCard Platform", Gilles Barthe (INRIA Sophia-Antipolis) - "Algebraic Support for Service-Oriented Architecture", Jose Fiadeiro (ATX Software and U. Lisbon) - "Higher-Order Quantification and Proof Search", Dale Miller (Pennsylvania State U.) - "Pragmatics of Modular SOS", Peter Mosses (BRICS, U. Aarhus) - "From Specifications to Code in CASL", Don Sannella (LFCS, U. Edinburgh) - "Automata and Games for Synthesis", Igor Walukiewicz (LaBRI, U. Bordeaux). * Conference Registration. Early registration deadline is July 30, 2002. ************* * Hotel Accommodation. The conference will be held in two hotels which are located in front of each other in Hermitage (a part of St. Gilles). In order to register, fill the registration and hotel booking form available at http://www.loria.fr/conferences/amast2002 23-Jul-2002 19:34:12 -0300,2820;000000000000-00000020