http://www.bartbogaerts.eu/jobs/overview.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/old/2003-WebDeveloper.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/old/1907-DataIntelligence.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/2201-ScholarshipFRESCO.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/2107-BAAP.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/2101-ExplainableCP.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/2101-AFT.php2025-12-01monthlyhttp://www.bartbogaerts.eu/jobs/2101-2PhDScholarships.php2025-12-01monthlyhttp://www.bartbogaerts.eu/talks/ijcai23-tutorial/ProofLoggingTutorial_IJCAI2023_final.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/aaai24-tutorial/AAAI-Tutorial.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2026-01_ProofLoggingMaxSAT.pdf2026-01-19yearlyhttp://www.bartbogaerts.eu/talks/2025_03_SymmetriesSAT.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2024_11_CertifiedMaxSAT_TAASP.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2023_Simons_CertifiedStaticAndDynamicSymmetryBreaking.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2022_Dagstuhl_SymmetryProofs.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2022-MIAO-CertifiedSolvingTutorial.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2022-CP-CertifiedSolvingTutorial.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2021-MODREF-IDP.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2021-BeyondSAT.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2020-PTHG.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/2019-01_AFT-Leipzig.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/veripb-tutorial-series/index.html2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/veripb-tutorial-series/fonts/icomoon/icomoon/demo.html2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/ijcai23-tutorial/index.html2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/ijcai23-tutorial/fonts/icomoon/icomoon/demo.html2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/aaai24-tutorial/index.html2025-12-01yearlyhttp://www.bartbogaerts.eu/talks/aaai24-tutorial/fonts/icomoon/icomoon/demo.html2025-12-01yearlyhttp://www.bartbogaerts.eu/students/2025-Linde/LindePhD.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/students/2024-Maxime/Maxime.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/students/2024-Emilio/Emilio.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/students/2022-Simon/Simon.pdf2025-12-01yearlyhttp://www.bartbogaerts.eu/2026-02-05monthlyhttp://www.bartbogaerts.eu/index.php2026-02-05monthlyhttp://www.bartbogaerts.eu/CV_en.pdf2025-12-01monthlyhttp://www.bartbogaerts.eu/publications.php2025-12-01monthly