TheOREM teleconference 2008-10-30
Agenda:
- Introductions
- What we've been doing at USQ
- First steps in ICE+ORE (OL) see SWORD_ORE
- First steps with understanding OSCAR (RW)
- Converting theses to ICE (DdB) watch this space
- What Cambridge would like us to do (JD)
See the TheOremIceScope for an overall summary of progress.
See the tickets
