Representations: a general theory
Highlights
in Vienna,
September 2026
System analysis and verification always require new reasoning frameworks, to tackle novel programming features, or new considerations on programs. However, building such frameworks is a delicate activity. In particular, establishing a tight correspondence between a reasoning system and a semantic one often proves difficult.
This work aims at simplifying these tasks. I introduce a new abstract structure to model systems that contain both syntactic and semantic elements. This structure, called "representation", takes very lax assumptions, thus capturing a wide variety of systems.
This talk is based on my RAMiCS'26 paper.
Related talks | ||
|
Séminaire MeFoSyLoMa
in Créteil,
June 2026.
|
More | |
|
RAMiCS
in Będlewo,
April 2026.
|
More | |
|
RAMiCS
in Będlewo,
April 2026.
|
More | |
|
Séminaire du LACL
in Créteil,
September 2025
(in French)
.
|
More | |
|
Séminaire Plume
in Lyon,
June 2025.
|
More | |
|
Séminaire 68nqrt
in Rennes,
May 2025.
|
More | |
Related papers | ||
| A 2-adjunction between representations and preorder morphisms (2026) | More | |
| Representations (in RAMiCS 2026) | More | |
| On preorders (2025) | More | |