https://ai4pr.github.io/news/2025-innovfest-talk 2025-10-15T00:00:00+00:00 https://ai4pr.github.io/news/2026-hiring 2026-02-27T00:00:00+00:00 https://ai4pr.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://ai4pr.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://ai4pr.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://ai4pr.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://ai4pr.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://ai4pr.github.io/projects/concollmic/ https://ai4pr.github.io/projects/verification/ https://ai4pr.github.io/publication/2026-concollmic 2026-05-18T00:00:00+00:00 https://ai4pr.github.io/publication/2026-autorocq 2026-07-05T00:00:00+00:00 https://ai4pr.github.io/talks/2025-agentic-ai-for-software 2025-10-15T00:00:00+00:00 https://ai4pr.github.io/vacancies/2026-phds 2026-03-01T00:00:00+00:00 https://ai4pr.github.io/vacancies/2026-postdocs 2026-03-01T00:00:00+00:00 https://ai4pr.github.io/vacancies/2026-pm 2026-03-01T00:00:00+00:00 https://ai4pr.github.io/vacancies/2026-phds 2026-03-01T00:00:00+00:00 https://ai4pr.github.io/ https://ai4pr.github.io/archive-layout-with-content/ https://ai4pr.github.io/categories/ https://ai4pr.github.io/collection-archive/ https://ai4pr.github.io/cv-json/ https://ai4pr.github.io/cv/ https://ai4pr.github.io/markdown/ https://ai4pr.github.io/news/ https://ai4pr.github.io/non-menu-page/ https://ai4pr.github.io/page-archive/ https://ai4pr.github.io/projects/ https://ai4pr.github.io/publications/ https://ai4pr.github.io/sitemap/ https://ai4pr.github.io/tags/ https://ai4pr.github.io/talkmap.html https://ai4pr.github.io/talks/ https://ai4pr.github.io/team/ https://ai4pr.github.io/terms/ https://ai4pr.github.io/vacancies/ https://ai4pr.github.io/year-archive/ https://ai4pr.github.io/DOC/ https://ai4pr.github.io/markdown_generator/ https://ai4pr.github.io/files/paper1.pdf 2026-03-25T09:49:35+00:00 https://ai4pr.github.io/files/paper2.pdf 2026-03-25T09:49:35+00:00 https://ai4pr.github.io/files/paper3.pdf 2026-03-25T09:49:35+00:00 https://ai4pr.github.io/files/slides1.pdf 2026-03-25T09:49:35+00:00 https://ai4pr.github.io/files/slides2.pdf 2026-03-25T09:49:35+00:00 https://ai4pr.github.io/files/slides3.pdf 2026-03-25T09:49:35+00:00 https://ai4pr.github.io/talkmap/map.html 2026-03-25T09:49:35+00:00