Pictures from
Third International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2002)
These pictures have been kindly provided by Jun Sawada.
Group picture 1 [
(jpeg 1024X728)
] [
(enlarged)
]
Group picture 2 [
(jpeg 1024X728)
] [
(enlarged)
]
Talk picture 1 [
(jpeg 1024X728)
]
Talk picture 2 [
(jpeg 1024X728)
]
