18th International Workshop on
Algebraic Development Techniques
WADT'06

Ch√Ęteau Floreal La Roche en Ardenne, Belgium
1-3 June 2006

Home
 
Call for papers
Abstract submission
Programme
Invited speakers
Proceedings
 
Travel information
Accommodation
Registration
Participants
 
Conference Committees
Conference series
Contacts
Sponsors
 

Call for papers

After having joined forces with CMCS for CALCO'05, WADT takes place in 2006 as a workshop before the CAISE conference.

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:

  • foundations of algebraic specification
  • other approaches to formal specification, including calculi and models of concurrent, distributed, mobile, and context-aware computing
  • specification languages, methods, and environments (concepts, tools, etc.)
  • semantics of conceptual modelling methods and techniques
  • model-driven development
  • graph transformations, term rewriting and proof systems
  • integration of formal specification techniques
  • formal testing and quality assurance
  • validation and verification
The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

Submission

Those who wish to give talks at WADT'06 are invited to submit abstracts, up to one page long. Abstracts must be submitted to the system. Accepted formats are ascii, PostScript and PDF (PDF is preferred and will be required for the final version). If a long version is avalaible, it can be made accessible on the Web and referenced in the abstract. After the workshop, selected 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).

Last-Minute Talks

Depending on the final number of accepted abstracts, an extra session of last-minute talks may be arranged. This is intended for presentations of new research ideas and results. Those interested in giving such a talk should provide the proposed title and abstract on arrival at the workshop. Note that the time allowed for a last-minute talk, and the chances of being accepted, is likely to be significantly less than that for regular talks.

Important Dates

Submission deadline 15th May
Notification sent at most 1 week after submission
Final abstracts due 22th May 2006
Workshop dates 1st-3rd June 2006
Last-minute proposals 1st June 2006
Full papers due 15th Sept 2006