WADT: Workshop on Recent Trends in Algebraic Development Techniques

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2015 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
WADT 2014 22nd International Workshop on Algebraic Development Techniques
Sep 4, 2014 - Sep 7, 2014 Sinaia, Romania Jun 30, 2014
 
 

Present CFP : 2014

======================================================================
THIRD CALL FOR PAPERS - Extension to abstract submission deadline!

WADT 2014
22nd International Workshop on Algebraic Development Techniques
http://wadt2014.cs.ovgu.de
September 4-7, 2014, Sinaia, Romania

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


AIMS AND SCOPE
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.

TOPICS OF INTEREST
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

WORKSHOP FORMAT AND LOCATION
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.

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

IMPORTANT DATES
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

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 the URL
http://www.easychair.org/conferences/?conf=wadt2014

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

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

WADT STEERING COMMITTEE
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)

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

CONTACT INFORMATION
Email: wadt2014@gmail.com
Homepage: http://wadt2014.cs.ovgu.de
 

Related Resources

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
SIGIR 2017   The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval
PACT 2016   25th International Conference on Parallel Architectures and Compilation Techniques
AIAI 2016   The 12th IFIP International Conference on Artificial Intelligence Applications and Innovations
SIGGRAPH 2017   International Conference on Computer Graphics and Interactive Techniques
SAC PL 2017   ACM SAC'17 PL Track
PLS 2017   Modern Statistical Techniques and Sustainability Studies
PSPC 2017   10th Annual Poverty and Social Protection Conference
MODELSWARD 2017   5th International Conference on Model-Driven Engineering and Software Development
EDC 2017   12th Annual Education and Development Conference