Subject: This week in ACL2 --- not Jared, but Scott
Date: Mon, 05 Jun 2006 15:00:55 -0500
From: Robert Bellarmine Krug


Greetings,

This week Scott Doerrie from Johns Hopkins will be speaking at the
ACL2 meeting.  I, Robert, had neglected to update Sol on Scott's
plans, and Jared had erroneously been asked to speak.

Scott will talk about his work with formalizing and verifying
properties of a capabilities based system.  A more detailed
abstract will be sent out before the meeting.  The talk should
assume no background in what a capability based system is, and so
should be accessible to all.

He has been learning ACL2 largely on his own, and is visiting UT
for a week hoping to learn some more about ACL2 and any tricks or
techniques we can help him with.  Please come and learn about his
work so far, and provide feedback on how he can move on from here.

Thanks,
Robert