1
1
>
1
1
1
1

In the last forty years much research and implementation effort has been devoted to to Abstract Interpretation and Logic Programming. Professor Giorgio Levi from the University of Pisa, Italy, has contributed in fundamental ways to both fields.

A special issue of Theoretical Computer Science (410, 46) was devoted to these areas to honor his work. Moreover, on October 23, 2009, a one day workshop was organized in Pisa by his students, colleagues and friends to celebrate his forty years of research. This was an occasion to thank Giorgio for his inspiration, his friendship and for the trace he left in each one of us.

In these pages you can find some memories of that day.

Presentations Presentations Presentations Presentations