HOMeWork 9, the ninth iteration of the Higher-Order Metaphysics Workshop, will take place September 25--26 at Johns Hopkins University in Baltimore. Registration and further information will be available soon.

	Fri Sep 25	Sat Sep 26
9:30AM– 10:00AM	Coffee & breakfast
10:00AM– 11:30AM	Chair: TBA "On Gödel on Cantor on Size" Alexander Roberts (UW–Madison)	Chair: TBA “A Logicist Account of Metaphysical Definability” Hao Yang (NYU)
11:40AM– 1:10PM	Chair: TBA "Grounding and Granularity" Jin Zeng (USC)	Chair: TBA “Nominalism and Dissolution Arguments in Higher-Order Metaphysics” Jacob Lettie (JHU)
1:10PM– 2:30PM	Lunch
2:30PM– 4:00PM	Chair: TBA "Possibility in Intuitionistic Higher-Order Logic" Zachary Goodsell (NUS)	Chair: TBA "Higher-Order Senses" Michael Caie (Toronto)
4:20PM– 5:50PM	Speakers: TBA ROUNDTABLE AI for Higher-Order Metaphysics (Please email the organizers if you are interested in presenting.)	Speakers: TBA LIGHTNING TALKS Progress Reports in Open Questions (Please email the organizers if you are interested in presenting.)