WADT2008

19th International Workshop on Algebraic Development Techniques

Pisa, Italy, June 13-16, 2008

Home page: http://www.di.unipi.it/wadt2008


PRE-PROCEEDINGS | Program | Ugo Montanari's Colloquium | Accepted Abstracts |
aims | topics | format and location | submissions | dates | invited speakers | sponsorships | committees | information   ]


After having joined forces with CMCS for CALCO'07 in Bergen, WADT takes place in 2008 as an individual workshop and in its traditional format.

Aims and Scope

The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).

The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.


Topics of interest

Typical, but not exclusive topics of interest are:


Workshop Format and Location

The workshop will take place over four days (Friday to Monday) at Hotel Santa Croce in Fossabanda, a former monastery in the center of Pisa. It will include presentations selected on the basis of submitted abstracts as well as three invited talks.


Submissions

The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance, and general interest.
The abstracts must be up to two pages long including references, and should be formatted preferably using the standard Springer-Verlag LNCS style. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.
The abstracts have to be submitted electronically via the EasyChair system, at URL http://www.easychair.org/conferences/?conf=WADT2008. The final versions of the selected abstracts will be 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 Lecture Notes in Computer Science (Springer Verlag), edited by Andrea Corradini and Ugo Montanari.

Important Dates

April 18, 2008        New submission deadline for abstracts
April 26, 2008   Notification of acceptance (Accepted abstracts)
May 20, 2008   Final abstract due
June 13-16, 2008   Workshop in Pisa (program and participants)
June 30, 2008   Invitation of full papers (for selected authors only)
September 30, 2008   Submission deadline for full papers
December 13, 2008   Notification
January 16, 2009   Final version due

Invited Speakers


Sponsorships

The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1 and by the University of Pisa.
The event is organized by the Computer Science Department of Pisa University.
IFIP Dipartimento di Informatica - Pisa


    WADT Steering Committee
    Michel Bidoit (France)
    José Fiadeiro (UK) [chair]
    Hans-Jörg Kreowski (Germany)
    Till Mossakowski (Germany)
    Peter Mosses (UK)
    Fernando Orejas (Spain)
    Francesco Parisi-Presicce (Italy)
    Andrzej Tarlecki (Poland)
    Evaluation Committe for LNCS PostProceedings
    Michel Bidoit
    Andrea Corradini [co-chair]
    José Fiadeiro
    Fabio Gadducci
    Reiko Heckel
    Hans-Jörg Kreowski
    Narciso Marti-Oliet
    Ugo Montanari [co-chair]
    Till Mossakowski
    Peter Mosses
    Fernando Orejas
    Francesco Parisi-Presicce
    Markus Roggenbach
    Grigore Rosu
    Don Sannella
    Pierre Yves Schoebbens
    Andrzej Tarlecki
    Martin Wirsing
    Local organizers (Pisa)
    Filippo Bonchi
    Roberto Bruni
    Vincenzo Ciancia
    Andrea Corradini (chair)
    Fabio Gadducci


Information

For any information about the workshop, feel free to contact Andrea Corradini: email: andrea@di.unipi.it, phone: +39 050 2212786.


last modified: 2008-10-14