Back to the CFP

"Representation of mathematical knowledge"

Chief-organizer:

Co-organizers: