Costacurta, Ana, 		Kagami, Ricardo, 		Floriano, Alan, AND 		Cabanas, Ana.
" Unplugged Gamification for Propositional Logic: connections Between Computing and Education in High School" <em>Proceedings of the National Computing Meeting of Federal Institutes (ENCompIF)</em> [Online], (20 July 2025)