Cairo Logic Summer School

May 24-26, 2026

10:00 a.m. - 6:00 p.m. CAT

American University in Cairo

Organizing university

American University in Cairo

Event description

A three-day school on model theory, Fraïssé theory, ω-categorical groups, and structural Ramsey theory.

The Cairo Logic Summer School 2026 brings together students and researchers in mathematical logic for three days of lectures and discussions at the American University in Cairo.

The school is open to advanced undergraduates, graduate students, and early-career researchers. It begins with introductory mini-courses on model theory and Fraïssé theory, then moves on to current research themes: ω-categorical groups and structural Ramsey theory. No prior background in model theory is assumed — a basic familiarity with first-order logic and abstract algebra is sufficient.

Beyond pure logic, the themes of the school have surprisingly deep ties to theoretical computer science and data science. The central insight of Ramsey theory — that sufficiently large systems must contain ordered substructure — underpins classical lower bounds in communication complexity, the construction of pseudorandom objects, and tools from extremal combinatorics used in coding theory and cryptography. Closely related regularity phenomena drive algorithms for network analysis, clustering, and community detection on large graphs. Model-theoretic notions of stability and dimension, in turn, connect directly to statistical learning theory, most famously through the equivalence of NIP and finite VC dimension.

Participants

Only open to the host institution members

Learn more for Cairo Logic Summer School

Upcoming Events