|
|||
|
|||
Project Meetings -- Summer 2002
| We met with Michael Kohlhase of CMU and Saarbrucken on the details of technical collaboration between the FDL and OMDoc. Michael delivered a CS Department Colloquium and met with the PRL group. We established detailed plans for supporting the FDL in OMDoc. | |
|
|