Program

Conference Program (Monday June 10th - Friday June 14th)

(The pdf is here)

Monday

18:30-20:00 Opening aperitif and early registration (Caffè Letterario Voltapagina, Via San Martino 71-73)

Tuesday

09:30-10:00 Registration

10:00-10:50 Conlon - Off-diagonal Ramsey numbers

10:50-11:20 Coffee break

11:20-12:10 Talebanfard - Local Enumeration and Majority Lower Bounds

12:10-13:00 Schnoebelen - Reasoning about subwords and subsequences

13-14:30 Lunch Break

14:30-15:20 De Rancourt - On amalgamation-elementary functors

15:20-16:10 Martin-Pizarro - On three arithmetic progressions for definable sets

16:10-16:40 Coffee break

16:40-17:30 Beyersdorff - Proofs and circuits for quantified polynomials

17:30-18:20 Pudlák - Colorings of k-sets with low discrepancy

Wednesday

09:00-09:50 Buss - Propositional Proof Complexity of the Kneser-Lovàsz Theorem

09:50-10:40 Sokolov - Random log(n)-CNF are Hard for Cutting Planes (Again)

10:40-11:10 Coffee break

11:10-12:00 Dobrinen - Big Ramsey degrees: forcing, non-forcing, and computability-theoretic aspects

12:00-12:50 Džamonja - Properties preserved by Chu transforms

Afternoon is free

Thursday

09:00-09:50 Hirst - Pigeonhole: Old and preliminary results

09:50-10:40 Dzhafarov - The Ginsburg-Sands theorem and computability

10:40-11:10 Coffee Break

11:10-12:00 Alweiss - Monochromatic Sums and Products over Q

12:00-12:50 Leader - Sparse Partition Regularity

12:50-14:30 Lunch break

14:30-15:20 Ivan - Euclidean Ramsey sets and the block sets conjecture

15:20-16:10 Marcone - The barrier Ramsey theorem

16:10-16:40 Coffee Break

16:40-17:10 Levy Patey - Partial conservation of Ramsey's theorem for pairs

At around 20:00 we plan to have a Conference Dinner somewhere; we will let you know more about this as soon as possible.

Friday

09:00-09:50 D'Adderio - q,t-combinatorics and sandpiles

09:50-10:40 Fernández Bretón - Owings-like theorems for infinitely many colours or finite monochromatic sets

10:40-11:10 Coffee Break

11:10-12:00 Ragosta - Central sets and infinite monochromatic exponential patterns

12:00-12:50 Scamperti - Injective continuous quasi-order

12:50-14:30 Lunch Break

14:30-15:20 Mennuni - Ultrafilters, congruences, and profinite groups

15:20-16:10  Nešetřil - Structural Ramsey theory

Closing coffee break (probably some wine and cheese)