CoFI/WADT Workshop

[hussmann@inf.tu-dresden.de]

Dear CoFI-R colleagues,

with this mail I would like to remind you (admittedly a bit late...)
that today was the deadline for submissions to the WADT workshop next
April in Genoa, which will be combined with a CoFI workshop. There are
up to now very few submissions regarding CoFI, I was tld, so you may
consider to submit a last minute abstract.

Below is the CFP.

Best regards
Heinrich

> 
>                                 WADT/CoFI 2001
>    15th International Workshop on Algebraic Development Techniques
>                                   joint with
>               General Workshop of the CoFI WG & CASL Tutorial
> 
>                                 Genova, Italy
>                                 1-3 April 2001
>                       http://www.disi.unige.it/wadt2001/
> 
> Aims and Scope
> ==============
> The  algebraic approach to system  specification and development, born
> as a formal  method for  abstract  data types,  encompasses today  the
> formal    design of integrated  hardware    and software systems,  new
> specification   frameworks     and programming  paradigms    (such  as
> object-oriented, logic and  higher-order functional programming) and a
> wide  range of   application  areas (including  information   systems,
> concurrent and distributed systems).
> 
> The topics of the workshop include, but are not limited to:
> 
>     -   algebraic specification
>     -   other approaches to formal specification
>     -   specification languages and methods
>     -   term rewriting and proof systems
>     -   specification development systems (concepts, tools, etc.)
> 
> The workshop will provide an opportunity to present recent and ongoing
> work, to meet colleagues, and to discuss new ideas and future trends.
> 
> The workshop will start with a full day tutorial on CoFI, the Common
> Framework Initiative for algebraic specification and development of
> software, see http://www.brics.dk/Projects/CoFI.  This tutorial will
> also be available to people who do not wish to participate in the rest
> of the workshop.  Besides the tutorial, there will be CoFI Task Group
> meetings and presentation on related topics during the workshop.
> 
> Selected presentations will  appear after the workshop as a volume of
> Springer Lecture Notes in Computer Science.
> 
> The workshop will be a satellite event of the European Joint Conferences
> on Theory and Practice of Software (ETAPS2001).
> Special deals will be available for participants wishing to attend
> WADT/CoFI 2001 together with other events of ETAPS.
> 
> SEE THE ETAPS EXCITING PROGRAM  AT http://www.disi.unige.it/etaps2001/.
> 
> Submissions
> ===========
> 
> The scientific programme of the workshop will include up to about 30
> presentations of recent results and ongoing research.  The presentations
> will be selected according to originality, significance, and general
> interest, on the basis of submitted abstracts.  The selection committee
> consists of the WADT Steering Committee together with the local organizers
> (listed below).
> 
> The abstracts must be in pdf (or standard postscript) format, up to 2 pages
> long in the style for publication in Lecture Notes in Computer Science (see
> http://www.springer.de/comp/lncs/authors.html), and should be sent by
> e-mail to wadt2001@disi.unige.it.
> 
> The deadline for submission of abstracts is
> 
>      10 January, 2001.
> 
> Abstracts that substantially depart from the required format, style or
> length may be rejected without consideration.
> 
> The final versions of the selected abstracts (due by 26 February) will be
> made available on the workshop web page, and included in a hand-out for the
> workshop participants.
> 
> After the workshop, selected authors will be invited to submit full
> papers for the refereed proceedings, which will be published
> as a volume of Springer Lecture Notes in Computer Science
> (http://www.springer.de/comp/lncs/).
> 
> Location
> ========
> WADT/CoFI 2001 will be held in Genova.
> Information are also be available on the web at the page
>                      http://www.disi.unige.it/wadt2001/
> 
> **********************************************************************
> ************************** Important Dates ***************************
> **********************************************************************
> *      Deadline for abstracts:            10 January, 2001           *
> *      Notification sent to authors:      26 January, 2001           *
> *      Final abstract due:                26 February, 2001          *
> *      Workshop dates:                    1-3 April, 2001            *
> **********************************************************************
> 
> WADT Steering Committee
> =======================
>         Michel Bidoit             (Cachan, France)
>         Hans-Joerg Kreowski       (Bremen, Germany)
>         Peter Mosses, chair       (Aarhus, Denmark)
>         Fernando Orejas           (Barcelona, Spain)
>         Francesco Parisi-Presicce (Rome, Italy)
>         Donald Sannella           (Edinburgh, Scotland)
>         Andrzej Tarlecki          (Warsaw, Poland)
> 
> Sponsors
> ========
> The  workshop  is organized by IFIP WG1.3 (Foundations of System
> Specification) jointly with CoFI WG.
> 
> Local Organizers
> ================
>                  Maura Cerioli     Gianna Reggio
>                                DISI
>                 Universita' degli Studi di Genova
>                           Genova - Italy
> 
> Email: wadt2001@disi.unige.it
> ----------------------------------------------------------------------