[mercury-users] 2nd CFP: RelMiS 2001

[Wolfram Kahl]

[please post.  apologies for multiple copies]


                            SECOND CALL FOR PAPERS


                RelMiS 2001 - Relational Methods in Software
                ============================================

                        7-8 April 2001, Genova, Italy

                     http://ist.unibw-muenchen.de/RelMiS/

                       A Satellite Event to ETAPS 2001


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


Workshop Topics
===============

* 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


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 at 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!


Programme Committee
===================

Rudolf Berghammer (Kiel), Jules Desharnais (Quebec), Wolfram Kahl (Munich),
David L. Parnas (Hamilton), Gunther Schmidt (Munich)


-------------

E-Mail: relmis at ist.unibw-muenchen.de
Workshop home page: URL: http://ist.unibw-muenchen.de/RelMiS/
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------