This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
What to give up to teach it
A subject the papers are about. The loosest grouping, and the one to reach for last.
Arguments about fitting a hard subject into a curriculum, each naming what it gives up to do so. Collects the teaching positions -- which course, which logic, which half of the field is dropped -- rather than the material being taught. Membership requires the work to state the sacrifice, not merely to describe a syllabus.
5 references
Models of Computation based on Automata: Formal Languages and Communicating Processes
Jos Baeten (2026) · Centrum Wiskunde & Informatica
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering --- A White Paper ---
Antonio Cerone and others (2021) · Formal Methods -- Fun for Everybody · Springer International Publishing
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
A Simplified Arm Processor for VLSI Education
Noah Boorstin and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Dynamic Separation Logic and its Use in Education
Evgeny M. Makarov (2020) · Современные информационные технологии и ИТ-образование