https://sebasti.a.nullri.ch/portfolio/portfolio-1/ https://sebasti.a.nullri.ch/portfolio/portfolio-2/ https://sebasti.a.nullri.ch/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+02:00 https://sebasti.a.nullri.ch/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+02:00 https://sebasti.a.nullri.ch/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+02:00 https://sebasti.a.nullri.ch/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+02:00 https://sebasti.a.nullri.ch/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2016-01-01-Verified-construction-of-static-single-assignment-form 2016-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2017-01-01-A-metaprogramming-framework-for-formal-verification 2017-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2019-01-01-Counting-immutable-beans-reference-counting-optimized-for-purely-functional-programming 2019-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2021-01-01-The-Lean-4-Theorem-Prover-and-Programming-Language 2021-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2022-01-01-Beyond-Notations-Hygienic-Macro-Expansion-for-Theorem-Proving-Languages 2022-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2022-01-01-do-unchained-embracing-local-imperativity-in-a-purely-functional-language-functional-pearl 2022-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/publication/2024-01-01-Lean-Past-Present-and-Future-Invited-Talk 2024-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2016-03-17-cc 2016-03-17T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2017-09-06-icfp 2017-09-06T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2018-10-12-msr 2018-10-12T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2018-12-12-eth 2018-12-12T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2019-01-07-lt 2019-01-07T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2020-01-09-lt 2020-01-09T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2020-07-01-ijcar 2020-07-01T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2021-01-06-lt 2021-01-06T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2022-01-22 2022-01-22T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2022-05-24-nfm 2022-05-24T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2022-09-14-icfp 2022-09-14T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2022-10-29-racketcon 2022-10-29T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2023-06-21-edinburgh 2023-06-21T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2023-08-28-wits 2023-08-28T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2024-01-09-lt 2024-01-09T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2024-06-06-lmu 2024-06-06T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2024-07-13-fscd 2024-07-13T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2025-01-30 2025-01-30T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2025-07-08 2025-07-08T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2025-07-11 2025-07-11T00:00:00+02:00 https://sebasti.a.nullri.ch/talks/2025-11-17 2025-11-17T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2026-01-20 2026-01-20T00:00:00+01:00 https://sebasti.a.nullri.ch/talks/2026-01-27 2026-01-27T00:00:00+01:00 https://sebasti.a.nullri.ch/teaching/2014-spring-teaching-1 2014-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+01:00 https://sebasti.a.nullri.ch/ https://sebasti.a.nullri.ch/archive-layout-with-content/ https://sebasti.a.nullri.ch/categories/ https://sebasti.a.nullri.ch/collection-archive/ https://sebasti.a.nullri.ch/cv/ https://sebasti.a.nullri.ch/markdown/ https://sebasti.a.nullri.ch/non-menu-page/ https://sebasti.a.nullri.ch/page-archive/ https://sebasti.a.nullri.ch/portfolio/ https://sebasti.a.nullri.ch/publications/ https://sebasti.a.nullri.ch/sitemap/ https://sebasti.a.nullri.ch/tags/ https://sebasti.a.nullri.ch/talkmap.html https://sebasti.a.nullri.ch/talks/ https://sebasti.a.nullri.ch/teaching/ https://sebasti.a.nullri.ch/terms/ https://sebasti.a.nullri.ch/year-archive/ https://sebasti.a.nullri.ch/markdown_generator/ https://sebasti.a.nullri.ch/files/ai4x2025.pdf 2026-02-20T16:10:32+01:00 https://sebasti.a.nullri.ch/files/lean-together2026.pdf 2026-02-20T16:10:32+01:00 https://sebasti.a.nullri.ch/files/nus2025.pdf 2026-02-20T16:10:32+01:00 https://sebasti.a.nullri.ch/files/nvidia2025.pdf 2026-02-20T16:10:32+01:00 https://sebasti.a.nullri.ch/files/regensburg2025.pdf 2026-02-20T16:10:32+01:00 https://sebasti.a.nullri.ch/files/regensburg2026.pdf 2026-02-20T16:10:32+01:00 https://sebasti.a.nullri.ch/talkmap/map.html 2026-02-20T16:10:32+01:00