[TYPES/announce] CFP: WADT 2016
JAMES P. (366409)
p.d.james.366409 at swansea.ac.uk
Mon May 9 07:33:18 EDT 2016
CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques
Link: http://cs.swan.ac.uk/wadt16/
When Sep 21, 2016 - Sep 24, 2016
Where Gregynog, UK
Submission Deadline June 3, 2016
Notification June 17, 2016
Final Version Due July 1, 2016
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
INVITED SPEAKERS
- Alessio Lomuscio (London, UK)
- Till Mossakowski (Magdeburg, Germany)
- John Tucker (Swansea, UK)
WORKSHOP FORMAT AND LOCATION
The workshop will take place over four days, Wednesday to Saturday, at
Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants
should arrive on Tuesday evening, the workshop will end on Saturday
with lunch.
Presentations will be selected on the basis of submitted abstracts.
IMPORTANT DATES
Submission deadline for abstracts: June 3, 2016
Notification of acceptance: June 17, 2016
Early registration: June 17, 2016
Final abstract due: July 1, 2016
Workshop in Gregynog: September 21-24, 2016
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 contribution 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.
PROCEEDINGS
After the workshop, authors will be invited to submit full papers for
the refereed proceedings. All submissions will be reviewed; selection
will be based on originality, soundness and significance of the
presented ideas and results. The proceedings 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
Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Markus Roggenbach (UK) [chair]
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)
ORGANIZING COMMITTEE
Phillip James (UK)
Markus Roggenbach (UK)
CONTACT INFORMATION
Email: M.Roggenbach at Swansea.ac.uk<mailto:M.Roggenbach at Swansea.ac.uk>
Homepage: http://cs.swan.ac.uk/wadt16/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160509/a2943109/attachment.html>
More information about the Types-announce
mailing list