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

Friday, 17 March 2000

• Fw: Proof-carrying authentication Re: Thanks Tim Berners-Lee

Wednesday, 9 February 2000

• RE: DARPA Agent Based Computing thingy Ralph R. Swick

Tuesday, 8 February 2000

• RE: DARPA Agent Based Computing thingy Bob Boeri

Thursday, 20 January 2000

• Re: more proof checking goodies... Dan Connolly

Wednesday, 19 January 2000

• more proof checking goodies... Dan Connolly

Thursday, 13 January 2000

• QED: discussion of proof languages Dan Connolly

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