Opening Ceremony

Plenary lecture: Wilfrid Hodges, DLMPS—Tarski’s vision and ours