For the PL talk tomorrow, Dan will talk about J-Bob, a theorem proving system. There will be some drafts of the book “The Little Prover” given out on a first-come first-served basis. So make sure you show up on time. This also happens to be the last PL talk of this semester.