Logical methods in Ramsey theory and related topics
from Monday, July 10, 2023 (12:10 AM) to Tuesday, July 11, 2023 (11:00 PM)