Program

Monday 25th

Mission statement

State of the art

The idea here is that we efficiently collect and share information about knowledge representation in the various systems. NOT to present the systems in general. Therefore we will only ask presenters to structure their (half-hour) presentation according to this survey.

Tutorial

The idea for this session is to see how knowledge representation in MMT could serve as a generic knowledge backbone for integrating the various systems.

See here to browse the mentioned MMT theories

and here to browse the ODK instance of MathHub

Tuesday 26th

Oxford partner presentation (catch up on the kick-off meeting)

Steering committee meeting (10:30 local time)

Brainstorms and coding sprints

Wednesday 27th

Preparation for the workshop