## High and low forcing

organized by

Itay Neeman and Dima Sinapova

This workshop, sponsored by AIM and the NSF, is devoted to new methods of forcing, in infinitary combinatorics, and in connection with axioms about the real line. There were exciting recent developments in each of the two areas, involving Prikry type forcing and principles related to the tree property for the former, and finite support iterations with side conditions for the latter. The goal of the workshop is to foster interaction between people working in these two areas, and initiate collaborations on the many problems that remain open.

The topics of the workshop are:

- Infinitary combinatorics.
- Forcing with side conditions in connections to axioms about the real line.

The workshop will differ from typical conferences in some regards. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. These include specific problems on which there is hope of making some progress during the workshop, as well as more ambitious problems which may influence the future activity of the field. Lectures at the workshop will be focused on familiarizing the participants with the background material leading up to specific problems, and the schedule will include discussion and parallel working sessions.

For more information email *workshops@aimath.org*