![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
26th WADT 2022: Aveiro, Portugal
- Alexandre Madeira
, Manuel A. Martins
:
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13710, Springer 2023, ISBN 978-3-031-43344-3
Invited Talks
- José Meseguer:
Building Correct-by-Construction Systems with Formal Patterns. 3-24 - José Nuno Oliveira
:
Why Adjunctions Matter - A Functional Programmer Perspective. 25-59
Standard Contributions
- Tonicha Crook
, Jay Paul Morgan
, Arno Pauly
, Markus Roggenbach
:
A Computability Perspective on (Verified) Machine Learning. 63-80 - Fabio Gadducci, Davide Trotta:
A Presheaf Semantics for Quantified Temporal Logics. 81-99 - Sergey Goncharov:
Shades of Iteration: From Elgot to Kleene. 100-120 - Elias Keis
, Carlos Gustavo López Pombo
, Agustín Eloy Martinez Suñé
, Alexander Knapp
:
Automated QoS-Aware Service Selection Based on Soft Constraints. 121-140 - Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition of Systems of Interacting Cyber-Physical Components. 141-162 - Ionut Tutu:
SpeX: A Rewriting-Based Formal Specification Environment. 163-178
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.