It’s great that you’re doing this, but I have a nitpick: since the event isn’t affiliated with MIRI, it might be better to title it a “Mini-FAI Workshop” or something like that, instead of “Mini-MIRI Workshop”.
Changed. Thanks!
It’s great that you’re doing this, but I have a nitpick: since the event isn’t affiliated with MIRI, it might be better to title it a “Mini-FAI Workshop” or something like that, instead of “Mini-MIRI Workshop”.
Changed. Thanks!