[mercury-users] 2nd CFP: RelMiS 2001

Wolfram Kahl kahl at heraklit.informatik.unibw-muenchen.de
Sat Dec 23 03:04:45 AEDT 2000

[please post.  apologies for multiple copies]

                            SECOND CALL FOR PAPERS

                RelMiS 2001 - Relational Methods in Software

                        7-8 April 2001, Genova, Italy


                       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
* Implementing relational algebra with mixed representation of relations
* Handling of Large Relations:
     problems of scale, innovative representations, distributed


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

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

More information about the users mailing list