2013 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '13 Evora, Portugal July 22–27, 2013. Issue 2 (26th June 2014) - Unknown