Practical and Structural Model Theory
from Monday, 27 July 2020 (09:00) to Thursday, 30 July 2020 (17:00)