======================================================================
SECOND CALL FOR PAPERS - Submission now open!
WADT 2014
22nd International Workshop on Algebraic Development Techniques
http://wadt2014.cs.ovgu.de
September 4-7, 2014, Sinaia, Romania
======================================================================
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 15, 2014
Notification of acceptance: June 30, 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: [email protected]
Homepage: http://wadt2014.cs.ovgu.de
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/NeoTech
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
