Talks

Below you will find the PowerPoint slides for talks that we have given recently. Many of the talks give overviews of Bandera to slightly different audiences -- thus, several are quite similar. The most recent overview is John Hatcliff's lecture on Bandera at SFM'02. If you are interested in using Bandera in a course, you might take a look at the slides by Matt Dwyer, John Hatcliff, and Willem Visser from a six-hour tutorial at ETAPS 2002.