• The beginning of the talk recalls the foundations of exact abstract interpretation which can be found in the book Principles of Abstract Interpretation'' (Ch. 15 — Fixpoints; Ch 11 — Galois Connections and Abstraction; Ch. 18 — Fixpoint Abstraction; Ch 16 — Fixpoint and Deductive Definitions excluding Inductive, Structural, (Coinductive, and Bi-inductive Definitions), and Ch. 12 — Relational and Transformer Semantics.)
• The design of the logics is found in
  Patrick Cousot.
  On the Design of Program Logics
  In Podelski's Festchrift, 15 p., © Springer, 2024 (to appear).

\bibitem{Cousot-Tartu26}
P.~Cousot.
\newblock Design of Program Logics by Abstract Interpretation
\newblock Tartu University, 24 April 20 26

@inproceedings{Cousot-Google25,
   author =    {Cousot, P{.}},
   title =     {Design of Program Logics by Abstract Interpretation},
   booktitle = {Tartu University, Tartu, Estonia},
   month =     apr,
   year =      2026,
}