WADT 2014

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=wadt2014

The final versions of the selected abstracts will be included in a hand-out for the workshop participants.

After the workshop, the 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).