https://jckassing.com/orga/2023-06-28 2023-06-28T00:00:00+00:00 https://jckassing.com/orga/2023-11-16 2023-11-16T00:00:00+00:00 https://jckassing.com/orga/2026-05-27 2026-05-27T00:00:00+00:00 https://jckassing.com/pc/2026_WPTE/ https://jckassing.com/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://jckassing.com/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://jckassing.com/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://jckassing.com/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://jckassing.com/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://jckassing.com/publication/2023-07 https://jckassing.com/publication/2023-08 https://jckassing.com/publication/2024-04 https://jckassing.com/publication/2024-05 https://jckassing.com/publication/2024-07 https://jckassing.com/publication/2024-11 https://jckassing.com/publication/2025-07 https://jckassing.com/publication/2025-09-01 https://jckassing.com/publication/2025-09-02 https://jckassing.com/publication/2025-09-03 https://jckassing.com/publication/2025-09-04 https://jckassing.com/publication/2025-09-05 https://jckassing.com/publication/2024-12-01 https://jckassing.com/publication/2025-12-02 https://jckassing.com/review/AJ-2024-JLAMP/ https://jckassing.com/review/AJ-2025-JLAMP/ https://jckassing.com/review/C-2023-Frocos/ https://jckassing.com/review/C-2024-IJCAR/ https://jckassing.com/review/C-2024-JPK/ https://jckassing.com/review/C-2024-Lpar/ https://jckassing.com/review/C-2025-Cade/ https://jckassing.com/review/C-2025-Frocos/ https://jckassing.com/review/C-2026-TACAS/ https://jckassing.com/talks/2023-06-28 2023-06-28T00:00:00+00:00 https://jckassing.com/talks/2023-07-01 2023-07-01T00:00:00+00:00 https://jckassing.com/talks/2023-08-25 2023-08-25T00:00:00+00:00 https://jckassing.com/talks/2023-09-28 2023-09-28T00:00:00+00:00 https://jckassing.com/talks/2024-04-11 2024-04-11T00:00:00+00:00 https://jckassing.com/talks/2024-05-15 2024-05-15T00:00:00+00:00 https://jckassing.com/talks/2024-06-25 2024-06-25T00:00:00+00:00 https://jckassing.com/talks/2024-07-03 2024-07-03T00:00:00+00:00 https://jckassing.com/talks/2024-11-13 2024-11-13T00:00:00+00:00 https://jckassing.com/talks/2025-08-01 2025-08-01T00:00:00+00:00 https://jckassing.com/talks/2025-09-04-1 2025-09-04T00:00:00+00:00 https://jckassing.com/talks/2025-09-04-2 2025-09-04T00:00:00+00:00 https://jckassing.com/talks/2025-09-11 2025-09-11T00:00:00+00:00 https://jckassing.com/talks/2026-03-05 2026-03-05T00:00:00+00:00 https://jckassing.com/teaching/L18_Fosap/ https://jckassing.com/teaching/L19_Dsal/ https://jckassing.com/teaching/L21_Malo/ https://jckassing.com/teaching/L22_Comp/ https://jckassing.com/teaching/L24_FP/ https://jckassing.com/teaching/L25_LP/ https://jckassing.com/teaching/L25_Progra/ https://jckassing.com/teaching/S24_VF/ https://jckassing.com/teaching/S25_AP/ https://jckassing.com/teaching/S25_SC/ https://jckassing.com/teaching/T01_Grigory/ https://jckassing.com/teaching/T02_Jiaqian/ https://jckassing.com/teaching/T03_Jonas/ https://jckassing.com/teaching/T04_Leon/ https://jckassing.com/teaching/T05_Fabian/ https://jckassing.com/teaching/T06_David/ https://jckassing.com/teaching/T07_Henri/ https://jckassing.com/teaching/T08_Olek/ https://jckassing.com/teaching/T09_Ivan/ https://jckassing.com/teaching/T10_Arion/ https://jckassing.com/teaching/T11_Tobias/ https://jckassing.com/teaching/T12_Kiran/ https://jckassing.com/ https://jckassing.com/archive-layout-with-content/ https://jckassing.com/categories/ https://jckassing.com/collection-archive/ https://jckassing.com/markdown/ https://jckassing.com/non-menu-page/ https://jckassing.com/orga/ https://jckassing.com/page-archive/ https://jckassing.com/portfolio/ https://jckassing.com/publications/ https://jckassing.com/sitemap/ https://jckassing.com/tags/ https://jckassing.com/talkmap.html https://jckassing.com/talks/ https://jckassing.com/teaching/ https://jckassing.com/terms/ https://jckassing.com/year-archive/ https://jckassing.com/Resume/ https://jckassing.com/markdown_generator/ https://jckassing.com/Resume/resume.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/BA_Kassing.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/MA_Kassing.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/paper/AProVE_CoCo25.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/paper/AProVE_WST25.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/paper/ProbModularity_WST25.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/paper/RelativeADP_WST25.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/resume_Kassing.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/CADE23.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/Deduktionstreffen25.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/FLOPS24.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/FoSSaCS24.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/GroundAST.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/HPI.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/IJCAR24.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/Innermost.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/Modularity.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/PPDP25.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/ROCKS23.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/Relative.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/TeReSe23.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/TeReSe24.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/WST23.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/WST25_AProVE.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/files/slides/WST25_Modularity.pdf 2026-03-20T10:05:02+00:00 https://jckassing.com/talkmap/map.html 2026-03-20T10:05:02+00:00