Date: 19 Oct 2009 21:14:10 -0500
Subject: This week in ACL2

Hi --

The next ACL2 seminar will take place this Wednesday (Oct. 21), as
usual: 4:00 (promptly) till 5:45 pm in ACES 3.116.  Alan Dunn will
talk; his tentative abstract is below (he may cover somewhat less).

.....

  I will provide a view on network protocol verification through
  examining efforts on formal properties of routing protocols and
  security properties of some application level protocols. For each I
  will develop the subarea through a concrete example (BGP for the
  former, Denning-Sacco Key Exchange for the latter) and describe some
  subarea-specific tools as time permits.

.....

See you then --
-- Matt