20th International Workshop on Algebraic Development Techniques WADT 2010

Schloss Etelsen, Germany, 1st-4th July 2010

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. If a longer version of the condtribution 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=wadt10. The final versions of the selected abstracts will be included in a hand-out for the workshop participants.

After, the workshops, the authors will be invited to submit full papers for the refereed proceedings, which is expected to be published as a volume of Lecture Notes in Computer Science (Springer Verlag).