HoTT-2019 icon indicating copy to clipboard operation
HoTT-2019 copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

call for papers information to post

Open mikeshulman opened this issue 6 years ago • 0 comments
trafficstars

TODO insert call for papers

TODO cover these topics: scope, submission format, selection procedure, notification, possibly also post-publication

TODO submission information

mikeshulman avatar Dec 18 '18 17:12 mikeshulman