Notes from Talks

TALKS

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 SAS/PLILP/ALP'98,
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.

Home | Prev

C. R. Ramakrishnan
(cram@cs.sunysb.edu)