Email Gateway (Aug 19 2022 at 14:27): Email Gateway (Aug 19 2022 at 14:27):From: Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>
======================================================================
FIRST CALL FOR PAPERS
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:
Other approaches to formal specification, including process calculi
and models of concurrent, distributed and mobile computing
Specification languages, methods, and environments
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
To be announced
IMPORTANT DATES
Submission deadline for abstracts: June 15, 2014
Notification of acceptance: June 30, 2014
Early registration: July 5, 2014
Final abstract due: July 25, 2014
Workshop in Sinaia: September 4-7, 2014
SUBMISSIONS
The scientific program of the workshop will include presentations of
recent results and ongoing research. The presentations will be selected
on the basis of the submitted abstracts according to originality,
significance, and general interest.
The abstracts have to be submitted electronically according to the
instructions published on the workshop homepage.
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
Last updated: Apr 20 2024 at 01:05 UTC