HOMeWork 9, the ninth iteration of the Higher-Order Metaphysics Workshop, will take place September 25--26 in Room 304, Scott-Bates Commons, at Johns Hopkins University in Baltimore. If you would like to attend, please register here by the end of Wednesday, September 23.

	Fri Sep 25	Sat Sep 26
9:30AM– 10:00AM	Coffee
10:00AM– 11:30AM	Chair: Ethan Russo (Princeton) "On Gödel on Cantor on Size" Alexander Roberts (UW–Madison)	Chair: Jeremy Goodman (JHU) “A Logicist Account of Metaphysical Definability” Hao Yang (NYU)
11:40AM– 1:10PM	Chair: Jeremy Goodman (JHU) "Grounding and Granularity" Jin Zeng (USC)	Chair: Andrew Bacon (USC) “Nominalism and Dissolution Arguments in Higher-Order Metaphysics” Jacob Lettie (JHU)
1:10PM– 2:30PM	Lunch
2:30PM– 4:00PM	Chair: Christopher Sun (NYU) "Higher-Order Senses" Michael Caie (Toronto)	Chair: Cian Dorr (NYU) "Possibility in Intuitionistic Higher-Order Logic" Zachary Goodsell (NUS)
4:20PM– 5:50PM	Speakers: Branden Fitelson (Northeastern), Zachary Goodsell (NUS), Cian Dorr (NYU), and open discussion ROUNDTABLE AI for Higher-Order Metaphysics	Speakers: Cian Dorr (NYU), Andrew Bacon (USC), Jeremy Goodman (JHU), Christopher Sun (NYU), Ethan Russo (Princeton) LIGHTNING TALKS Progress Reports in Open Questions