## Program

TBA.### Provisional list of speakers (as of 05/05/18):

Vasco Brattka (Universität der Bundeswehr München): Ramsey's Theorem in the Weihrauch Lattice,

Ilario Bonacina (Universitat Politècnica de Catalunya, Barcelona): Clique Is Hard on Average for Regular Resolution,

Peter Cholak (University of Notre Dame),

David Conlon (University of Oxford): Ramsey complete sequences,

Natasha Dobrinen (University of Denver),

Pandelis Dodos (National and Kapodistrian University of Athens): An inverse theorem for stochastic processes indexed by the discrete
hypercube,

Damir Dzhafarov (University of Connecticut): Calling a few good combinatorialists,

William Gasarch (University of Maryland),

Neil Hindman (Howard University, Washington DC): Combining extensions of the Hales-Jewett Theorem with Ramsey Theory in other structures,

Jeff Hirst (Appalachian State University): Hindman’s theorem and ultrafilters,

Jan Hubicka (Charles University, Prague): On existence of Ramsey expansions,

Carl Jockusch (University of Illinois at Urbana-Champaign): The strength and effective content of some restricted forms of Hindman's Theorem,

Vladimir Kanovei (University of Moscow): Canonization on product and iterated perfect and large perfect sets,

Leszek Aleksander Kolodziejczyk (University of Warsaw): Ramsey for pairs and proof size,

Lorenzo Luperi Baglini (University of Vienna): Partition regularity of nonlinear Diophantine equations,

Jaroslav Nesetril (Charles University, Prague),

Lionel Nguyen Van Thé (Université d'Aix-Marseille): Revisiting the Erdös-Rado canonical partition theorem,

Aaron Roberston (Colgate University): Objects and Delaporte,

Marcin Sabok (McGill University): The Hrushovski property for hypertournaments and profinite topologies,

Richard Shore (Cornell University): Producing Elementary Proofs from Ultrafilter Proofs of Combinatorial
Theorems: The View from Combinatorics

Jozef Skokan (London School of Economics): The k-colour Ramsey number of odd cycles via non-linear optimisation,

Slawomir Solecki (Cornell University): Ramsey theory in algebraic topological language,

Henry Towsner (University of Pennsylvania),

Timothy Trujillo (Sam Houston State University): Hypernatural numbers in ultra-Ramsey theory,

Anush Tserunyan (University of Illinois): Independent sets in finite and algebraic hypergraphs,

Iddo Tzameret (University of Pennsylvania): Linear algebra in weak formal theories of arithmetic.

Douglas Ulrich (University of Maryland): Distinct Volume Subsets: The Uncountable Case.