Modal Fixpoint Logics: March
	25-27, 2008