From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1699 Path: news.gmane.org!not-for-mail From: kahl@heraklit.informatik.UniBw-Muenchen.de Newsgroups: gmane.science.mathematics.categories Subject: RelMiS 2001 --- Call for Papers Date: 22 Nov 2000 08:57:20 -0000 Message-ID: <20001122085720.5917.qmail@dionysos.informatik.unibw-muenchen.de> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018029 32485 80.91.229.2 (29 Apr 2009 15:13:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:13:49 +0000 (UTC) To: RelMiS@heraklit.informatik.UniBw-Muenchen.de Original-X-From: rrosebru@mta.ca Thu Nov 23 14:28:46 2000 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id eANHd5H28124 for categories-list; Thu, 23 Nov 2000 13:39:05 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-MIME-Autoconverted: from 8bit to quoted-printable by gatesrv.rz.unibw-muenchen.de id JAA02656 X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id eAM96ct11147 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 29 Original-Lines: 134 Xref: news.gmane.org gmane.science.mathematics.categories:1699 Archived-At: Please accept my apologies if you receive multiple copies of this call. ----------------------------------------------------------------------- RelMiS 2001 - Relational Methods in Software ============================================ 7-8 April 2001, Genova, Italy http://ist.unibw-muenchen.de/RelMiS/ A Satellite Event to ETAPS 2001 Motivation ========== The role of the calculus of relations in algebra and logic is now well understood and appreciated; relational methods should be part of the ``toolbox'' of everyone who uses mathematics, and relational methods can also be of great value to everyone who develops or uses computer science. For example, much of the work on special logics or ``laws'' for programs is easily understood as an application of relational algebra. Also, every relation on a state space can be used as a specification or description of a program. This, in itself, is an advantage over some predicate based formalism in which one can write ``specifications'' that are impossible to satisfy. Computer science, as a new application field for relational methods, has both drawn from and contributed to previous logico/mathematical work. Further integration of the two areas of research would benefit both. The purpose of this event is to provide (1) a tutorial introduction to relational methods for computer scientists and software developers, and (2) a workshop to discuss new results and future work. 7 April: Tutorial Day ===================== There will be the following tutorial lectures: * Gunther Schmidt: Basics of Relational Methods (9:30 - 11:00) * David L. Parnas: The Tabular Method for Relational Documentation (11:30 - 13:00) * Wolfram Kahl: Refinement and Development of Programs from Relational Specifications (14:30 - 16:00) * Rudolf Berghammer: Prototyping and Programming with Relations (16:30 - 18:00) 8 April: Workshop ``Relational Methods in Software Development - Current Issues'' ======================================================================== The second day of the RelMiS event will be an open workshop. Topics of the workshop include, but are not limited to: * Relational Specifications and Modelling: methods and tools, tabular methods, abstract data types * Relational Software Design and Development Techniques: relational refinement, heuristic approaches for derivation, correctness considerations, dynamic programming, greedy algorithms, catamorphisms, paramorphisms, hylomorphisms and related topics * Programming with Relations: prototyping, testing, fault tolerance, information systems, information coding * Implementing relational algebra with mixed representation of relations * Handling of Large Relations: problems of scale, innovative representations, distributed implementation The number of papers will be kept small to allow extensive discussion. Programme Committee =================== Rudolf Berghammer (Kiel), Jules Desharnais (Québec), Wolfram Kahl (Munich), David L. Parnas (Hamilton), Gunther Schmidt (Munich) Submissions =========== Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published in the ENTCS series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Papers should be submitted electronically as uuencoded PostScript files at the address relmis@ist.unibw-muenchen.de. Preference will be given to papers that are no shorter than 10 and no longer than 15 pages. A separate message should also be sent, with a text-only one-page abstract and with mailing addresses (both postal and electronic), telephone number and fax number of the corresponding author. Final versions will have to be submitted as LaTeX source and have to adhere to the ENTCS style! Important Dates =============== Deadline for submission: 10 January 2001. Notification of acceptance: 9 February 2001. Final version due: 28 February 2001. Workshop dates: 7-8 April 2001. Organising Committee ==================== Wolfram Kahl Federal Armed Forces University Munich, Germany David L. Parnas McMaster University, Hamilton, Ontario, Canada Gunther Schmidt Federal Armed Forces University Munich, Germany Contact ======= Contact Person: Wolfram Kahl E-Mail: relmis@ist.unibw-muenchen.de Workshop home page: URL: http://ist.unibw-muenchen.de/RelMiS/