Systems and Formalisms Lab (SYSTEMF)