What happened in the PRL Seminar on FDLs of Dec 1, 2003
(continued from Nov 17)

This was the promised continuation of the Nov 17 Seminar.
There was a brief review of the seminar from two weeks earlier. which had introduced Tenets, and addressed two of the four advertised topics, namely (1) abstraction from applied logics and the need for archival methods, and (2) certificate systems as a basis for accounting for knowledge.

In that earlier seminar a Simplified Certificate System was presented, whereas in this seminar much time was spent elaborating on topic (2), discussing a more complex certfication system in which extant certificates could be reconsidered; that possibility had been foreshadowed in the earlier meeting.

The new material was introduced largely as a discussion of Scaling Issues for Certificate Systems.

The last two of the four announced topics were addressed as well, namely (3) FDLs as text servers and certificate systems, and (4) the importance of mulitple FDLs and multiple Implementations.

sfa