TY - CPAPER AU - Vado Virseda, Rafael Del PY - 2026 DO - 10.1145/3803400.3809304 UR - https://hdl.handle.net/20.500.14352/134998 AB - Theoretical Computer Science is a challenging subject to motivate and teach, particularly for students at the beginning of their Computer Science education. Introducing this topic at the high school level within the framework of STEM K-12 curricula... LA - eng TI - Teaching Theory of Computation in the STEM K-12 Curricula Through Impossibility and Undecidability Problems TY - conference paper ER -