https://jhostert.de/news/ann_01_new_blog/ 2024-07-12T00:00:00+02:00 https://jhostert.de/news/ann_02_aptitude_colloquium/ 2024-09-17T12:00:00+02:00 https://jhostert.de/news/ann_03_tree_borrows_submitted/ 2024-11-21T23:01:00+01:00 https://jhostert.de/news/ann_04_tree_borrows_accepted/ 2025-04-11T00:01:00+02:00 https://jhostert.de/news/ann_05_oplss/ 2025-04-11T00:02:00+02:00 https://jhostert.de/news/ann_06_tb_distinguished/ 2025-06-19T12:00:00+02:00 https://jhostert.de/news/ann_07_popl_2026/ 2025-11-18T23:00:00+01:00 https://jhostert.de/news/ann_08_icfp_submission/ 2026-02-23T19:30:00+01:00 https://jhostert.de/blog/2025/oplss/ 2025-07-15T02:00:00+02:00 https://jhostert.de/blog/2025/noalias/ 2025-11-18T01:00:00+01:00 https://jhostert.de/projects/coq_fol/ 2026-04-03T16:22:50+02:00 https://jhostert.de/projects/tree_borrows/ 2026-04-03T16:22:50+02:00 https://jhostert.de/ https://jhostert.de/cv/ https://jhostert.de/imprint https://jhostert.de/news/ https://jhostert.de/projects/ https://jhostert.de/publications/ https://jhostert.de/blog/2025/ https://jhostert.de/blog/tag/oplss/ https://jhostert.de/blog/tag/travel/ https://jhostert.de/blog/tag/tree-borrows/ https://jhostert.de/blog/tag/noalias/ https://jhostert.de/blog/tag/llvm/ https://jhostert.de/blog/