The Institute for the Theory of Computing is a leading center for research, teaching, and training in the foundational and mathematical areas of computer science, with a focus on deepening the understanding of computational principles. Faculty expertise spans algorithms, cryptography and coding theory, quantum computing, distributed and parallel computing, computational logic, automata and formal languages, learning theory, algorithmic game theory and fairness, complexity theory, randomness, computational geometry, combinatorics, and graph theory. These areas form the theoretical backbone of modern computer science and drive technological innovation. The institute brings together researchers, students, and scholars in a vibrant scientific community, promotes international collaboration, and is committed to developing the next generation of theoretical computer scientists. Through its activities, it aims to strengthen both global scientific progress and Ben-Gurion University’s position as a leader in the field.