European Summer Meeting of the Association for Symbolic Logic Conference uri icon