Mereology is the study of "parts" and "wholes", and is related to philosophy and conceptual modeling. Mereology has been studied in formal settings starting with Lesniewski's Foundations of a General Theory of Manifolds (1916, in Polish), and has even been suggested as an alternative foundation of mathematics. The course will emphasize issues related to modal-like logics. The course will begin with a gentle introduction.