Here is a collection of slides and notes from recent talks.
Click on the
title to read the abstract.
You can download the slides and notes by following
links from the abstract page.
Logic Programming and Model Checking,
an invited talk in
Pisa, Italy, September 1998.
Model Checking Based on Logic Programming,
a short lecture series in the
1998 GULP International Summer School
on Logic Programming Perspectives in Hot Research Areas,
Acquafredda, Italy, September 1998.
Model Checking and XSB,
a tutorial in the
Joint International Conference/Symposium on
Logic Programming (JICSLP'98),
Manchester, UK, June 1998.
C. R. Ramakrishnan