Was the talk by the MIRI people today in San Antonio announced here somewhere? I realized they had a session 30 minutes after it was over :(
Was the talk by the MIRI people today in San Antonio announced here somewhere? I realized they had a session 30 minutes after it was over :(