2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017

Abstract

The conferences centered on the classical subjects of mathematical and philosophical logic, as well as on many connections between these subjects and computer science. A distinctive feature of the conference was a special LC2017-CSL2017 highlight session organized on the morning of August 20th, at which each of the two conferences invited two highlight speakers to present highlights of their subject intended for the broader community represented by the two conferences. The speakers at this session were as follows: Verónica Becher (University of Buenos Aires), Normal numbers, logic and automata.