Logic Seminar, MIT Conference uri icon