L
ogic and
E
nergy: a
V
isionary
I
nspirator
A tribute to Giorgio Levi for forty years of research
Home
Short Bio
Presentations
Gallery
Links
>
Alessio Guglielmi
Personal Potrait of Giorgio Levi
Roberto Barbuti
Giorgio Levi in Pisa: An Incomplete Photo Gallery
Maurizio Martelli
The Pisa Approach to Logic Programming
Roberto Giacobazzi
Abstract Interpretation in Pisa
Enrico Dameri
Giorgio da un altro punto di vista
Enrico Dameri
Giorgio from Another Point of View
María Alpuente
Termination of Narrowing Revisited
Patrick Cousot
On the Algebraic Structure of Declarative Programming Languages
Manuel Hermenegildo
40 Years of Adventure in Abstract Interpretation of Logic Programs
Gianfranco Rossi
GULP Is 25 Years Old
Roberto Bagnara
Applications of Polyhedral Computations to the Analysis and Verification of HW and SW Systems
Piero Bonatti
From LP to ASP and TN
Marco Comini
Evolution of the S-Semantics School
Presentations
Presentations
Presentations
Presentations