[TYPES/announce] CFP WADT 2026

[Markus Roggenbach]

Dear friends and colleagues,

Please find below the WADT '26 call for papers.

WADT is a workshop ideal to develop, shape, and strengthen ideas,
possibly together with your PhD students: first you formulate your
idea and early results in a two page abstract; then you present things
at the workshop in order to gain feedback from fellow researchers;
after the workshop you write a full paper to be submitted for the
postproceedings.

The abstract review is lightweight, checking that the presentations
are on topic and are thorough enough to stimulate good discussions at
the workshop. The full paper review process then will be a standard
one: each paper will receive three independent reviews by PC members;
following a PC wide discussion, decisions will be made.

Looking forward to receiving your contributions,
  Markus and Benjamin

WADT 2026: Call for Papers

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, WADT (Workshop
on Algebraic Development Techniques) now covers a wide range
specification frameworks and programming paradigms, many application
areas (including concurrent, distributed and mobile systems,
AI-systems, quantum computing), as well as the use of AI in
specification and verification. Empirical studies and experience
reports from industry are welcome. 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 and verification
  Specification languages, methods, and environments
  Probabilisic, quantum and other quantitative and weighted computing paradigms

  Process calculi and models of concurrent, distributed, and cyber-physical systems
  Logic and higher-order functional programming
  Runtime verification and monitoring techniques

  Graph transformations, term rewriting, and proof systems
  Formal testing and quality assurance, validation, and verification
  AI for specification and verification

  Specification and verification of AI systems

Workshop Format and Location

The workshop will be part of the STAF 2026 multi-conference at Rennes,
France. Presentations will be selected on the basis of submitted
abstracts.

Important Dates

Abstract submission: 30 Apr 2026
Abstract notification: 7 May 2026
Workshop: 30 June 2026
Full-paper submission: 17 Sep 2026
Full-paper notification: 29 Oct 2026

Submissions

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 PC co-chairs on the basis of
submitted abstracts according to originality, significance and general
interest. Abstracts must not exceed two pages, excluding 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.

The abstracts will have to be submitted electronically via EasyChair,
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=staf2026__;!!IBzWLUs!SH3wWToLsdU3ogD01MbhVznv0kHZOLlXOht4Y-lv0Wp5u-xx2LqDlq8NXCJK8HE2VOQ38ZeQQnrmS59AnjNmLamQVI-A_4Lr6Vlbx0w-rQ$ .

Post-Proceedings

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, significance, and rigour of the presented ideas and
results. The post-proceedings are typically published in the Springer
Lecture Notes in Computer Science series.

Sponsorship

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

Programme Committee

Kevin Batz  
Till Hofmann      
Benjamin Lucien   Kaminski (Co-Chair)
Djamel Eddine Khelladi
Alexander Knapp
Martin Leucker
Alexandre Madeira 
Christoph Matheja
Rosemary Monahan  
Peter Ölveczky
Francesca Randone 
Markus Roggenbach (Co-Chair)
Max Tschaikowski
Fabio Zanasi      

Steering Committee

Andrea Corradini
Benjamin Lucien Kaminski
Alexander Knapp
Martin Leucker
Carlos Gustavo Lopez Pombo
Michele Loreti
Alexandre Madeira
Till Mossakowski
Markus Roggenbach (Chair)
Max Tschaikowski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260325/6b32dccd/attachment-0001.htm>