30 years ago, in March 1978, Patrick Cousot defended his PhD thesis
(Docteur es Sciences Mathématiques), which started the era of abstract
interpretation.
30YAI celebrates this event by inviting some of the most representative scientists in the field, showing the relevance,
perspectives and challenges of abstract interpretation in programming
languages and systems.
Abstract interpretation is a theory of sound approximation of mathematical structures, in particular those involved in the behavior of computer systems. It allows the systematic derivation of sound methods and algorithms for approximating undecidable or highly complex problems in various areas of computer science like for instance in static program analysis, system verification, model checking, program transformation, process calculi, security, software watermarking, type inference, theorem proving, constraint solving, parsing and comparative semantics, systems biology.
Organizers: