posted by organizer: wadt2014 || 1802 views || tracked by 2 users: [display]

WADT 2014 : 22nd International Workshop on Algebraic Development Techniques


Conference Series : Workshop on Recent Trends in Algebraic Development Techniques
When Sep 4, 2014 - Sep 7, 2014
Where Sinaia, Romania
Submission Deadline Jun 30, 2014
Notification Due Jul 7, 2014
Final Version Due Jul 25, 2014

Call For Papers

THIRD CALL FOR PAPERS - Extension to abstract submission deadline!

WADT 2014
22nd International Workshop on Algebraic Development Techniques
September 4-7, 2014, Sinaia, Romania

NEW! Christoph Benzmueller and Rustan Leino
will be the invited speakers of WADT 2014

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.

Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- 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 take place over four days, Thursday to Sunday, at Hotel International Sinaia. Presentations will be selected on the basis of submitted abstracts.

Christoph Benzmueller (FU Berlin, Germany)
Rustan Leino (Microsoft Research, USA)

Submission deadline for abstracts: June 30, 2014
Notification of acceptance: July 7, 2014
Early registration: July 15, 2014
Final abstract due: July 25, 2014
Workshop in Sinaia: September 4-7, 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 the URL

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).

The workshop takes place under the auspices of IFIP WG 1.3.

Michel Bidoit (France)
Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany) [chair]
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)

Razvan Diaconescu (Romania)
Mihai Codescu (Germany)
Ionut Tutu (UK)


Related Resources

WADT 2018   24th International Workshop on Algebraic Development Techniques
Sustainable Development Rome, Italy 2018   6th International Conference on Sustainable Development,12 - 13 September ICSD 2018
RAMiCS 2018   Relational and Algebraic Methods in Computer Science
IICEHawaii 2019   The IAFOR International Conference on Education – Hawaii 2019
Scopus-CGIIT 2018   2018 2nd International Conference on Graphics, Images and Interactive Techniques (CGIIT 2018)
Scopus-CEESD 2018   2018 3rd International Conference on Environmental Engineering and Sustainable Development
CSPA 2018   14th IEEE Colloquium on Signal Processing and its Applications (CSPA 2018)
IJIST 2018   The International Journal of Information Science & techniques
S+SSPR 2018   IAPR Joint International Workshops on Statistical Techniques in Pattern Recognition (SPR 2018) and Structural and Syntactic Pattern Recognition (SSPR 2018)
PROFES 2018   19th International Conference on Product-Focused Software Process Improvement