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:
The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.
- 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
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).
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.
|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|