Educational resource featuring courses on mathematical logic, toposes, and computability theory. Video recordings and learning materials for students and…

LogicPalet is a free desktop application helping students learn symbolic logic through formula editing, proof building, and model construction with…

FOLL-E teaches logical reasoning and critical thinking through a tactile, blocks-based notation. Designed for learners who want to master logic without…

International conference on graph theory, structure and algorithms. Taking place July 9-11, 2025 in Brussels, Belgium.

Academic profile of Johann Bauer, PhD in Mathematics. Research on learning in agent networks, evolutionary game theory, and neural plasticity foundations.

Personal website of Alexander Van Werde, postdoctoral researcher at Mathematics Münster. Research in random matrix theory, spectral graph theory, and…

Free learning materials and 1400+ practice questions for Category B theory test. Pay from €2.99 to access unlimited practice tests and track your progress.

Academic research hub offering books, scheduling tools, podcasts and resources on operations research and project management built over 25 years.