Miniconfs are miniature conferences.