sw99@w3.org from January to March 2000 by subject

DARPA Agent Based Computing thingy

• Ralph R. Swick (Wednesday, 9 February)
• Bob Boeri (Tuesday, 8 February)

more proof checking goodies...

• Dan Connolly (Thursday, 20 January)
• Dan Connolly (Wednesday, 19 January)

Proof-carrying authentication Re: Thanks

• Tim Berners-Lee (Friday, 17 March)

QED: discussion of proof languages

• Dan Connolly (Thursday, 13 January)

Last message date: Tuesday, 28 March 2000 13:37:50 UTC