WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022

Aveiro, 28 - 30 June 2022

Plenary Talk: Why Adjunctions Matter

For the average programmer, adjunctions are (if known) more respected than loved. However, they are key to explaining many things we do as programmers, for instance when calculating (recursive) programs from specifications, when using monads, when improving efficiency without sacrificing correctness, and so on. In this talk, I will try to explain how practical adjunctions are by showing their "chemistry" in action. From Galois connections (their simplest instances) and their applications, I will go on to show how the laws of programming (including the functional and relational calculi) arise as particular compositions of adjunctions. Besides intellectual reward, this insight has the potential to discover useful results in the future that mere intuition has not yet given us.

José Nuno Oliveira (DI, U.Minho, Portugal)

is a professor of Computer Science at the Informatics Department of University of Minho and researcher at HASLab/ INESC TEC. He is also a member of IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association. He is serving on the editorial board of Springer journal Formal Aspects of Computing. His research interests are focussed on formal methods, algebra of programming and functional programming. He have published on relation algebra and its application to program calculation. Currently, he is developing a linear algebra of programming which I want to apply to the verification of complex software systems, including quantum programming.

Program of WADT'22

New!!! Timetable of WADT'22

Previous Editions

Steering Committee

Program Committee

The conference is supported by CIDMA through the Portuguese Foundation for Science and Technology, reference UIDB/04106/2020