|
|||
|
|||
|
|
|||
|
|
|||
| CORNELL | April 2003 | Aug 31, 2003 | Dec 31, 2003 | April 30, 2004 | ||
| Robert Constable | Grad Supervision   |
|||||
| Lectures and Papers |
||||||
| Metamath |
||||||
| Semantic Anchoring |
||||||
| Sentinels |
||||||
| Technical Meetings | ||||||
| LoE Environment |
||||||
Christoph Kreitz |
Other Presentations
| |||||
| Grad Supervision
| ||||||
| Papers
| ||||||
| Semantic Anchoring
| ||||||
| Content Production
| ||||||
| Technical Meetings | ||||||
|
Stuart Allen |
PVS Presentation/Posting |
|||||
| Formal Metadata |
||||||
| Other Presentations | ||||||
| Grad Supervision |
||||||
| Papers |
|
|||||
| Semantic Anchoring |
||||||
| Annotation Effort |
||||||
| Dynamic Server |
||||||
| Metamath/Foundations | ||||||
| Foundations of Logical Libraries |
Sentinels |
Certificates |
||||
| Technical Meetings | ||||||
| PVS Acquisition |
||||||
| Larch Acquisition |
||||||
| Search Methods |
||||||
|
Rich Eaton |
PVS Posting |
|||||
|
|
Collecting Metadata |
|||||
| Other Presentations | ||||||
| Server Support |
Dynamic Server |
|||||
| System Support |
||||||
| Search Methods |
||||||
| PVS Acquisition |
||||||
| Larch Acquisition |
||||||
| Sentinels |
||||||
| LoE Environment |
||||||
| Peer-to-Peer | ||||||
| Technical Meetings | ||||||
| PVS Automation |
||||||
| Larch Automation |
||||||
|
Alexei Kopylov | Content Creation |
|||||
|
| Semantic Annotation |
|||||
|
| LoE Environment |
|||||
|
Lori Lorigo (grad) |
||||||
| Eli Barzilay (grad) | ||||||
|
CAL TECH |
||||||
| Jason Hickey | Grad Supervision |
|||||
| Formal Symbolic Algebra |
||||||
| Semantic Anchoring | ||||||
| Technical Meetings | ||||||
| Lectures and Papers |
||||||
|
Xin Yu (grad) |
||||||
| Other (grad) | ||||||
|
WYOMING |
||||||
| Jim Caldwell | Grad Supervision |
|||||
| ACL2 Proof Checker | ||||||
| Peer-to-Peer Architecture |
Dynamic Server |
|||||
| Graph Theory Content |
||||||
| Semantic Anchoring |
||||||
| LoE Environment |
||||||
| Sentinels |
||||||
| Search Methods |
||||||
|
Vitali Khaikine |
||||||
|
Chris Jechlitschek |
||||||
|