Re: QED Workshop II

Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: David McAllester: "Paper on reflection"
Previous message: Roman Matuszewski: "QED Workshop II"
Maybe in reply to: Roman Matuszewski: "QED Workshop II"

Roderick Moten (rodmoten@cs.cornell.edu)
Thu, 27 Apr 1995 09:11:55 -0400

>I believe that persons that can not (or do not want to)
>attend the QED Workshop could suggest us interesting
>(and important for QED) topics.

Is it possible that there could be a discussion
contrasting and comparing the design and implementation of
various theorem provers?

Rod