Call for Abstracts ASF+SDF'95: generating tools from algebraic specifications (Jasper Kamperman)
Mon, 28 Nov 1994 16:17:33 GMT

          From comp.compilers

Related articles
Call for Abstracts ASF+SDF'95: generating tools from algebraic specifi (1994-11-28)
| List of all articles for this month |

Newsgroups: comp.compilers,comp.specification,,comp.programming
From: (Jasper Kamperman)
Followup-To: poster
Keywords: specification, CFP, conference
Organization: CWI, Amsterdam
Date: Mon, 28 Nov 1994 16:17:33 GMT



a workshop on generating tools from algebraic specifications

                          CWI, Amsterdam, 11-12 May 1995

                                        CALL FOR ABSTRACTS



Over the past 5 years, a significant amount of research has
been invested in the development of the ASF+SDF algebraic
specification formalism, and the associated supporting system,
the ASF+SDF Meta-environment. The formalism is characterized
by its notational flexibility, and the system by its support
for incrementality and rapid prototyping. Currently,
experience with the (industrial) use of ASF+SDF is growing,
relations with other approaches are being studied, and a
variety of drastic extension plans is being launched.

The aim of this workshop is to bring together researchers and
ASF+SDF users with an interest in the further development of
ASF+SDF, and to provide a platform for sharing experiences,
for explaining relations with other areas, and for discussing
future directions.

Fees will be below Dfl 200 for researchers and below Dfl 50
for students. Sponsors are being sought to help lower this


Presentations are being solicited in areas including
but not limited to:

          - specification case studies
          - extensions of ASF+SDF:
                                higher-order algebraic specifications,
                                order sorted ASF+SDF, parameterization,
                                literate specification
          - tool generation:
                                interpreters, compilers, simulators,
                                prettyprinters, graphical user interfaces,
                                documentation tools, testset generators,
          - general techniques:
                                origin tracking techniques, incremental
                                techniques, compilation of term rewriting
                                systems, tool connection tools and
                                interface definition.
          - teaching formal methods
          - other approaches to the use and development of
              algebraic specifications


Presentations may be accompanied, or consist of, a system
demonstration. For this purpose, Sun and SGI platforms will be


Full papers for all presentations will appear in the
participants proceedings (also available on WWW). If there are
sufficiently many submissions of high quality, publication of
the workshop proceedings by a publishing company will be
considered. This will involve a second round of external


          february 24: Extended Abstracts due
          march 20: Notification of acceptance
          may 1: Papers for participants proceedings due
          may 11-12: Workshop


          Mark van den Brand (University of Amsterdam)
          Arie van Deursen (Eindhoven Technical University)
          T.B. Dinesh (CWI)
          Jasper Kamperman (CWI)
          Eelco Visser (University of Amsterdam)


Extended abstracts of up to four pages should be submitted to
the address below. E-mail submissions in ASCII or PostScript
format are preferred. Submissions should be accompanied by a
cover letter containing the title, authors, and full address
(including e-mail if possible) of the authors.


        Arie van Deursen / Alda Bouten
        Department of Computing Science
        Formal Methods Group
        Eindhoven University of Technology
        P.O. Box 513, NL-5600 BM Eindhoven
        The Netherlands
        Fax: +31 40 463992


This and further information on the workshop can be
found on WWW and FTP:

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.