https://froleyks.github.io/news/cav25/ 2025-07-23T13:00:00+00:00 https://froleyks.github.io/news/phd/ 2025-09-27T19:59:00+00:00 https://froleyks.github.io/news/leuven/ 2025-10-01T12:00:00+00:00 https://froleyks.github.io/news/floc26/ 2026-07-13T07:00:00+00:00 https://froleyks.github.io/news/cav26/ 2026-07-16T07:00:00+00:00 https://froleyks.github.io/projects/1_certifaiger/ 2026-10-03T09:20:20+00:00 https://froleyks.github.io/projects/2_cadical/ 2026-10-03T09:20:20+00:00 https://froleyks.github.io/projects/3_cadiback/ 2026-10-03T09:20:20+00:00 https://froleyks.github.io/projects/3_cerbtora/ 2026-10-03T09:20:20+00:00 https://froleyks.github.io/projects/4_voiraig/ 2026-10-03T09:20:20+00:00 https://froleyks.github.io/ https://froleyks.github.io/cv/ https://froleyks.github.io/news/ https://froleyks.github.io/projects/ https://froleyks.github.io/publications/ https://froleyks.github.io/talks/ https://froleyks.github.io/teaching/