Tiffany Gobles will defend her thesis, on the subject of automatic theorem proving, on August 17. Her thesis director is Professor Belinfante.