Investigate the theoretical and computational aspects of formal sciences that drive advances in logic, mathematics, and information theory. This category invites you to explore the intersection of theory and computation in fields such as experimental mathematics, computational logic, algorithmic information theory, game theory, number theory, and linguistics. Engage in thought-provoking discussions and collaborate to develop new theories and applications that can revolutionize both science and technology.