<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>
</p>
<div class="moz-text-flowed" style="font-family: -moz-fixed; font-size: 12px;" lang="x-unicode">[Apologies
for cross-posting]
<br>
<br>
======================================================================
<br>
WADT 2024 - Call for Abstracts
<br>
27th International Workshop on Algebraic Development Techniques
<br>
<a class="moz-txt-link-freetext" href="https://conf.researchr.org/home/wadt-2024">https://conf.researchr.org/home/wadt-2024</a>
<br>
<br>
Part of the STAF 2024 multi-conference taking place
<br>
Mon 8 – Fri 12 July 2024 in Enschede, the Netherlands
<br>
======================================================================
<br>
<br>
AIMS AND SCOPE
<br>
<br>
The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born
as a 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.
<br>
<br>
TOPICS OF INTEREST
<br>
<br>
Typical, but not exclusive topics of interest are:
<br>
– Foundations of algebraic specification
<br>
– Other approaches to formal specification, including process
calculi and models of concurrent, distributed, and cyber-physical
systems
<br>
– Specification languages, methods, and environments
<br>
– Semantics of conceptual modelling methods and techniques
<br>
– Model-driven development
<br>
– Graph transformations, term rewriting, and proof systems
<br>
– Integration of formal specification techniques
<br>
– Theorem-proving technologies and integration with specification
languages
<br>
– Formal testing and quality assurance, validation, and
verification
<br>
– Algebraic approaches to knowledge representation and cognitive
sciences
<br>
<br>
WORKSHOP FORMAT AND LOCATION
<br>
<br>
The workshop will be part of the STAF 2024 multi-conference at
Twente, the Netherlands.
<br>
Presentations will be selected on the basis of submitted
abstracts.
<br>
<br>
IMPORTANT DATES
<br>
<br>
Abstract submission: 15 Apr 2024
<br>
Abstract notification: 29 Apr 2024
<br>
Full-paper submission: 16 Sep 2024
<br>
Full-paper notification: 25 Nov 2024
<br>
<br>
SUBMISSIONS
<br>
<br>
The scientific programme of the workshop will include
presentations of recent results or ongoing research as well as
invited talks. The presentations will be selected by the Programme
Committee on the basis of submitted abstracts according to
originality, significance and general interest. Abstracts must not
exceed two pages, including references, in LNCS format. If a
longer version of the contribution is available, it can be made
accessible on the web and referenced in the abstract.
<br>
<br>
The abstracts will have to be submitted electronically via
EasyChair at <a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=staf2024">https://easychair.org/conferences/?conf=staf2024</a>.
<br>
<br>
POST-PROCEEDINGS
<br>
<br>
After the workshop, authors will be invited to submit full papers
for the refereed proceedings. All submissions will be reviewed by
the Programme Committee. The selection of papers will be based on
originality, soundness, and significance of the presented ideas
and results. The post-proceedings will then be published by
Springer as a volume of Lecture Notes in Computer Science.
<br>
<br>
SPONSORSHIP
<br>
<br>
The workshop takes place under the auspices of IFIP WG 1.3.
<br>
<br>
STEERING COMMITTEE
<br>
<br>
Andrea Corradini (Italy)
<br>
José Fiadeiro (UK)
<br>
Rolf Hennicker (Germany)
<br>
Alexander Knapp (Germany)
<br>
Hans-Jörg Kreowski (Germany)
<br>
Till Mossakowski (Germany)
<br>
Fernando Orejas (Spain)
<br>
Leila Ribeiro (Brazil)
<br>
Markus Roggenbach (UK)
<br>
Grigore Roșu (USA)
<br>
<br>
PROGRAMME COMMITTEE
<br>
<br>
Mihai Codescu (Romania)
<br>
Andrea Corradini (Italy)
<br>
Tom van Dijk (Netherlands)
<br>
Fabio Gadducci (Italy)
<br>
Rolf Hennicker (Germany)
<br>
Alex Kavvos (UK)
<br>
Alexander Knapp (Germany)
<br>
Leen Lambers (Germany)
<br>
Alexandre Madeira (Portugal)
<br>
Manuel A. Martins (Portugal)
<br>
Narciso Martí-Oliet (Spain)
<br>
Dominique Mery (France)
<br>
Till Mossakowski (Germany)
<br>
Renato Neves (Portugal)
<br>
Peter Ölveczky (Norway)
<br>
Fernando Orejas (Spain)
<br>
Florian Rabe (Germany)
<br>
Adrián Riesco (Spain)
<br>
Markus Roggenbach (UK)
<br>
Pierre Yves Schobbens (Belgium)
<br>
Ionuț Țuțu (Romania) [chair]
<br>
Uwe Wolter (Norway)
<br>
<br>
CONTACT INFORMATION
<br>
<br>
Email: <a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:wadt2024@outlook.com">wadt2024@outlook.com</a>
<br>
Homepage: <a class="moz-txt-link-freetext" href="https://conf.researchr.org/home/wadt-2024">https://conf.researchr.org/home/wadt-2024</a>
<br>
<br>
</div>
</body>
</html>