[TYPES/announce] WADT 2026 Call for Papers and Presentations

[Benjamin Kaminski]

WADT is calling for presentations and papers: 

https://urldefense.com/v3/__https://conf.researchr.org/track/wadt-2026/wadt-2026-papers*Call-for-Papers__;Iw!!IBzWLUs!Q7DK30OtSMB4AexjVtGNRawy38LRXOJOcfKBKMuEQpHGOyx2vv7S-S28T06pdYF0rYWmhpwzRqSbUYx_KELMca9sDRgcHCNa2WmXjHj7$ 

AIMS AND SCOPE 

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 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: 16 Apr 2026Abstract notification: 30 Apr 2026 Workshop dates: between 29 June and 3 Jul 2026Full-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 

https://urldefense.com/v3/__https://easychair.org/my2/conference?conf=staf2026__;!!IBzWLUs!Q7DK30OtSMB4AexjVtGNRawy38LRXOJOcfKBKMuEQpHGOyx2vv7S-S28T06pdYF0rYWmhpwzRqSbUYx_KELMca9sDRgcHCNa2fe-i0mA$ 

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 SpringerLecture Notes in Computer Science series.

SPONSORSHIP 

The workshop takes place under the auspices of IFIP WG 1.3.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260317/e1736169/attachment.htm>