Date: Tue, 24 Oct 2006 09:59:41 -0500
From: Sol Swords
Subject: This week's ACL2 meeting

Hi everyone,

This week Keshav Pingali will talk to us about distributed snapshot 
algorithms, starting with the Chandy-Lamport algorithm and introducing a 
new one which he hopes to prove correct.  We'll meet at 4 PM tomorrow 
(Wednesday) in ACES 3.116 as usual.

Hope to see you all there,
 - Sol