WADT

Keyphrases

Publications

volume 13710, 2023

Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers WADT 13710 (2023)

2022

Fabio Gadducci, Davide Trotta
A Presheaf Semantics for Quantified Temporal Logics. WADT (2022)
Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach
A Computability Perspective on (Verified) Machine Learning. WADT (2022)
José Meseguer
Building Correct-by-Construction Systems with Formal Patterns. WADT (2022)
Sergey Goncharov
Shades of Iteration: From Elgot to Kleene. WADT (2022)
Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp
Automated QoS-Aware Service Selection Based on Soft Constraints. WADT (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT (2022)
José Nuno Oliveira
Why Adjunctions Matter - A Functional Programmer Perspective. WADT (2022)
Ionut Tutu
SpeX: A Rewriting-Based Formal Specification Environment. WADT (2022)

volume 12669, 2021

Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers WADT 12669 (2021)

2020

volume 11563, 2019

Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers WADT 11563 (2019)

2018

volume 10644, 2017

Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers WADT 10644 (2017)

2016

volume 9463, 2015

Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers WADT 9463 (2015)

2014