Call for Abstracts ASF+SDF'95: generating tools from algebraic specifications

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


                                                ASF+SDF'95


a workshop on generating tools from algebraic specifications


                          CWI, Amsterdam, 11-12 May 1995


                                        CALL FOR ABSTRACTS


------------------------------------------------------------
                          http://www.cwi.nl/~gipe/asf+sdf95/
------------------------------------------------------------


AIM and SCOPE


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
fee.


TOPICS


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,
                                parsers
          - 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


DEMONSTRATIONS


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


PROCEEDINGS


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
reviewing.


IMPORTANT DATES


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


ORGANIZATION


          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)


SUBMISSIONS


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.


CORRESPONDENCE


        ASF+SDF'95
        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
        Email: arie@win.tue.nl


ASF+SDF'95 on WWW


This and further information on the workshop can be
found on WWW and FTP:
                http://www.cwi.nl/~gipe/asf+sdf95/
                ftp://ftp.cwi.nl/pub/gipe/asf+sdf95/
--

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