Program Verification with Proof Assistants: The Time Has Come

Speaker is Bob Cotton.

For more information about the topic and speaker, see full meeting announcement (http://pok.acm.org/meeting17.11.html).

All are welcome to join us at 6:00 PM for dinner at the Palace Diner (http://ThePalaceDiner.com).