From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1776 Path: news.gmane.org!not-for-mail From: wadt2001 Newsgroups: gmane.science.mathematics.categories Subject: WADT/CoFI 2001 - FINAL CALL FOR ABSTRACTS Date: Mon, 8 Jan 2001 14:47:43 +0100 Message-ID: <3A3008D2@Webmail.unige.it> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018093 391 80.91.229.2 (29 Apr 2009 15:14:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:14:53 +0000 (UTC) To: wadt2001@disi.unige.it Original-X-From: rrosebru@mta.ca Mon Jan 8 17:29:42 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f08KtPh12123 for categories-list; Mon, 8 Jan 2001 16:55:25 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-WebMail-UserID: wadt2001@disi.unige.it X-EXP32-SerialNo: 00002935 X-Mailer: WebMail (Hydra) SMTP v3.61.07 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 118 Xref: news.gmane.org gmane.science.mathematics.categories:1776 Archived-At: 15th International Workshop on Algebraic Development Techniques joint with General Workshop of the CoFI WG & CASL Tutorial Genova, Italy 1-3 April 2001 http://www.disi.unige.it/wadt2001/ Aims and Scope ============== The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such as object-oriented, logic and higher-order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). The topics of the workshop include, but are not limited to: - algebraic specification - other approaches to formal specification - specification languages and methods - term rewriting and proof systems - specification development systems (concepts, tools, etc.) The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. The workshop will start with a full day tutorial on CoFI, the Common Framework Initiative for algebraic specification and development of software, see http://www.brics.dk/Projects/CoFI. This tutorial will also be available to people who do not wish to participate in the rest of the workshop. Besides the tutorial, there will be CoFI Task Group meetings and presentation on related topics during the workshop. Selected presentations will appear after the workshop as a volume of Springer Lecture Notes in Computer Science. The workshop will be a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS2001). Special deals will be available for participants wishing to attend WADT/CoFI 2001 together with other events of ETAPS. SEE THE ETAPS EXCITING PROGRAM AT http://www.disi.unige.it/etaps2001/. Submissions =========== The scientific programme of the workshop will include up to about 30 presentations of recent results and ongoing research. The presentations will be selected according to originality, significance, and general interest, on the basis of submitted abstracts. The selection committee consists of the WADT Steering Committee together with the local organizers (listed below). The abstracts must be in pdf (or standard postscript) format, up to 2 pages long in the style for publication in Lecture Notes in Computer Science (see http://www.springer.de/comp/lncs/authors.html), and should be sent by e-mail to wadt2001@disi.unige.it. The deadline for submission of abstracts is 10 January, 2001. Abstracts that substantially depart from the required format, style or length may be rejected without consideration. The final versions of the selected abstracts (due by 26 February) will be made available on the workshop web page, and included in a hand-out for the workshop participants. After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Springer Lecture Notes in Computer Science (http://www.springer.de/comp/lncs/). Location ======== WADT/CoFI 2001 will be held in Genova. Information are also be available on the web at the page http://www.disi.unige.it/wadt2001/ ********************************************************************** ************************** Important Dates *************************** ********************************************************************** * Deadline for abstracts: 10 January, 2001 * * Notification sent to authors: 26 January, 2001 * * Final abstract due: 26 February, 2001 * * Workshop dates: 1-3 April, 2001 * ********************************************************************** WADT Steering Committee ======================= Michel Bidoit (Cachan, France) Hans-Joerg Kreowski (Bremen, Germany) Peter Mosses, chair (Aarhus, Denmark) Fernando Orejas (Barcelona, Spain) Francesco Parisi-Presicce (Rome, Italy) Donald Sannella (Edinburgh, Scotland) Andrzej Tarlecki (Warsaw, Poland) Sponsors ======== The workshop is organized by IFIP WG1.3 (Foundations of System Specification) jointly with CoFI WG. Local Organizers ================ Maura Cerioli Gianna Reggio DISI Universita' degli Studi di Genova Genova - Italy Email: wadt2001@disi.unige.it ----------------------------------------------------------------------